搜索包含 Programming (Numerical Software) 的图书 - 暨南大学图书馆

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

	Reliable Software Technologies-Ada-Europe 2009 [electronic resource] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings 0 索取号：作者：Kordon、 Fabrice.、Kermarrec、 Yvon.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Padovani、 Luca.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers 0 索取号：作者：Berkling、 Kay.、Joseph、 Mathai.、Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings 0 索取号：作者：Abrahamsson、 Pekka.、Marchesi、 Michele.、Maurer、 Frank.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Hardware and Software: Verification and Testing [electronic resource] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings 0 索取号：作者：Chockler、 Hana.、Hu、 Alan J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Trustworthy Software Development Processes [electronic resource] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings 0 索取号：作者：Wang、 Qing.、Garousi、 Vahid.、Madachy、 Raymond.、Pfahl、 Dietmar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers 0 索取号：作者：Chaudron、 Michel R. V.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Numerical Validation in Current Hardware Architectures [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers 0 索取号：作者：Cuyt、 Annie.、Kr盲mer、 Walter.、Luther、 Wolfram.、Markstein、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Agent-Oriented Software Engineering IX [electronic resource] : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers 0 索取号：作者：Luck、 Michael.、Gomez-Sanz、 Jorge J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing [electronic resource] 0 索取号：作者：Lee、 Roger.、Ishii、 Naohiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Genetic Programming [electronic resource] : 12th European Conference, EuroGP 2009 T眉bingen, Germany, April 15-17, 2009 Proceedings 0 索取号：作者：Vanneschi、 Leonardo.、Gustafson、 Steven.、Moraglio、 Alberto.、Falco、 Ivanoe.、Ebner、 Marc.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Elements of Numerical Relativity and Relativistic Hydrodynamics [electronic resource] : From Einstein' s Equations to Astrophysical Simulations 0 索取号：作者：Bona、 Carles.、Palenzuela-Luque、 Carlos.、Bona-Casas、 Carles.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Numerics of Unilateral Contacts and Friction [electronic resource] : Modeling and Numerical Time Integration in Non-Smooth Dynamics 0 索取号：作者：Studer、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Higher-Order Components for Grid Programming [electronic resource] : Making Grids More Usable 0 索取号：作者：D眉nnweber、 Jan.、Gorlatch、 Sergei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Ocean Modelling for Beginners [electronic resource] : Using Open-Source Software 0 索取号：作者：K盲mpf、 Jochen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings 0 索取号：作者：Kowalewski、 Stefan.、Philippou、 Anna.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

	Reliable Software Technologies-Ada-Europe 2009 [electronic resource] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings 0 索取号：作者：Kordon、 Fabrice.、Kermarrec、 Yvon.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Padovani、 Luca.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers 0 索取号：作者：Berkling、 Kay.、Joseph、 Mathai.、Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings 0 索取号：作者：Abrahamsson、 Pekka.、Marchesi、 Michele.、Maurer、 Frank.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Hardware and Software: Verification and Testing [electronic resource] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings 0 索取号：作者：Chockler、 Hana.、Hu、 Alan J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Trustworthy Software Development Processes [electronic resource] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings 0 索取号：作者：Wang、 Qing.、Garousi、 Vahid.、Madachy、 Raymond.、Pfahl、 Dietmar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers 0 索取号：作者：Chaudron、 Michel R. V.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Numerical Validation in Current Hardware Architectures [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers 0 索取号：作者：Cuyt、 Annie.、Kr盲mer、 Walter.、Luther、 Wolfram.、Markstein、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Agent-Oriented Software Engineering IX [electronic resource] : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers 0 索取号：作者：Luck、 Michael.、Gomez-Sanz、 Jorge J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing [electronic resource] 0 索取号：作者：Lee、 Roger.、Ishii、 Naohiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Genetic Programming [electronic resource] : 12th European Conference, EuroGP 2009 T眉bingen, Germany, April 15-17, 2009 Proceedings 0 索取号：作者：Vanneschi、 Leonardo.、Gustafson、 Steven.、Moraglio、 Alberto.、Falco、 Ivanoe.、Ebner、 Marc.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Elements of Numerical Relativity and Relativistic Hydrodynamics [electronic resource] : From Einstein' s Equations to Astrophysical Simulations 0 索取号：作者：Bona、 Carles.、Palenzuela-Luque、 Carlos.、Bona-Casas、 Carles.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Numerics of Unilateral Contacts and Friction [electronic resource] : Modeling and Numerical Time Integration in Non-Smooth Dynamics 0 索取号：作者：Studer、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Higher-Order Components for Grid Programming [electronic resource] : Making Grids More Usable 0 索取号：作者：D眉nnweber、 Jan.、Gorlatch、 Sergei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Ocean Modelling for Beginners [electronic resource] : Using Open-Source Software 0 索取号：作者：K盲mpf、 Jochen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings 0 索取号：作者：Kowalewski、 Stefan.、Philippou、 Anna.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.