大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

Reliable Software Technologies-Ada-Europe 2008 [electronic resource] : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

0
索取号:
作者:Kordon、 Fabrice.、Vardanega、 Tullio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

0
索取号:
作者:Mueller、 Matthias S.、Chapman、 Barbara M.、Supinski、 Bronis R.、Malony、 Allen D.、Voss、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号:
作者:Suzuki、 Kenji.、Higashino、 Teruo.、Ulrich、 Andreas.、Hasegawa、 Toru.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

50 Years of Integer Programming 1958-2008 [electronic resource] : From the Early Years to the State-of-the-Art

0
索取号:
作者:J眉nger、 Michael.、Liebling、 Thomas M.、Naddef、 Denis.、Nemhauser、 George L.、Pulleyblank、 William R.、Reinelt、 Gerhard.、Rinaldi、 Giovanni.、Wolsey、 Laurence A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings

0
索取号:
作者:Abrahamsson、 Pekka.、Baskerville、 Richard.、Conboy、 Kieran.、Fitzgerald、 Brian.、Morgan、 Lorraine.、Wang、 Xiaofeng.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Engineering Education in the Modern Age [electronic resource] : Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures

0
索取号:
作者:Inverardi、 Paola.、Jazayeri、 Mehdi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

0
索取号:
作者:Perron、 Laurent.、Trick、 Michael A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Numerical Simulation in Molecular Dynamics [electronic resource] : Numerics, Algorithms, Parallelization, Applications

0
索取号:
作者:Griebel、 Michael.、Zumbusch、 Gerhard.、Knapek、 Stephan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

High Confidence Software Reuse in Large Systems [electronic resource] : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

0
索取号:
作者:Mei、 Hong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

0
索取号:
作者:Arun-Kumar、 S.、Garg、 Naveen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Riemann Solvers and Numerical Methods for Fluid Dynamics [electronic resource] : A Practical Introduction

0
索取号:
作者:Toro、 Eleuterio F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

0
索取号:
作者:Havelund、 Klaus.、N煤帽ez、 Manuel.、Ro艧u、 Grigore.、Wolff、 Burkhart.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

0
索取号:
作者:Kobayashi、 Naoki.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Transactions on Aspect-Oriented Software Development II [electronic resource]

0
索取号:
作者:Rashid、 Awais.、Aksit、 Mehmet.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Quality of Software Architectures [electronic resource] : Second International Conference on Quality of Software Architectures, QoSA 2006, V盲ster氓s, Sweden, June 27-29, 2006 Revised Papers

0
索取号:
作者:Hofmeister、 Christine.、Crnkovic、 Ivica.、Reussner、 Ralf.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

0
索取号:
作者:Hermann、 Miki.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类