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

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

	Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Numerical Mathematics and Advanced Applications [electronic resource] : Proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications Santiago de Compostela, Spain, July 2005 0 索取号：作者：de Castro、 Alfredo Berm煤dez.、G贸mez、 Dolores.、Quintela、 Peregrina.、Salgado、 Pilar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers 0 索取号：作者：Hnich、 Brahim.、Carlsson、 Mats.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Process Change [electronic resource] : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings 0 索取号：作者：Wang、 Qing.、Pfahl、 Dietmar.、Raffo、 David M.、Wernick、 Paul.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Agent-Oriented Software Engineering VI [electronic resource] : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers 0 索取号：作者：M眉ller、 J枚rg P.、Zambonelli、 Franco.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Rapid Integration of Software Engineering Techniques [electronic resource] : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers 0 索取号：作者：Guelfi、 Nicolas.、Savidis、 Anthony.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Software Engineering 3 [electronic resource] : Domains, Requirements, and Software Design 0 索取号：作者：Bj酶ner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications 0 索取号：作者：Garcia、 Alessandro.、Choren、 Ricardo.、Lucena、 Carlos.、Giorgini、 Paolo.、Holvoet、 Tom.、Romanovsky、 Alexander.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Interfacing with C++ [electronic resource] : Programming Real-World Applications 0 索取号：作者：Katupitiya、 Jayantha.、Bentley、 Kim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Analytical and Numerical Approaches to Mathematical Relativity [electronic resource] 0 索取号：作者：Frauendiener、 J枚rg.、Giulini、 Domenico J.W.、Perlick、 Volker.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Parallel and Distributed Logic Programming [electronic resource] : Towards the Design of a Framework for the Next Generation Database Machines 0 索取号：作者：Bhattacharya、 Alakananda.、Konar、 Amit.、Mandal、 Ajit K.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings 0 索取号：作者：Hagiya、 Masami.、Wadler、 Philip.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Adaptive Atmospheric Modeling [electronic resource] : Key Techniques in Grid Generation, Data Structures, and Numerical Operations with Applications 0 索取号：作者：Behrens、 J枚rn.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		New Results in Numerical and Experimental Fluid Mechanics V [electronic resource] : Contributions to the 14th STAB/DGLR Symposium Bremen, Germany 2004 0 索取号：作者：Rath、 Hans-Josef.、Holze、 Carsten.、Heinemann、 Hans-Joachim.、Henke、 Rolf.、H枚nlinger、 Heinz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Software Product Lines [electronic resource] 0 索取号：作者：K盲k枚la、 Timo.、Duenas、 Juan Carlos.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering 2 [electronic resource] : Specification of Systems and Languages 0 索取号：作者：Bj酶rner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

	Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Numerical Mathematics and Advanced Applications [electronic resource] : Proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications Santiago de Compostela, Spain, July 2005 0 索取号：作者：de Castro、 Alfredo Berm煤dez.、G贸mez、 Dolores.、Quintela、 Peregrina.、Salgado、 Pilar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers 0 索取号：作者：Hnich、 Brahim.、Carlsson、 Mats.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Process Change [electronic resource] : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings 0 索取号：作者：Wang、 Qing.、Pfahl、 Dietmar.、Raffo、 David M.、Wernick、 Paul.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Agent-Oriented Software Engineering VI [electronic resource] : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers 0 索取号：作者：M眉ller、 J枚rg P.、Zambonelli、 Franco.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Rapid Integration of Software Engineering Techniques [electronic resource] : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers 0 索取号：作者：Guelfi、 Nicolas.、Savidis、 Anthony.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Software Engineering 3 [electronic resource] : Domains, Requirements, and Software Design 0 索取号：作者：Bj酶ner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications 0 索取号：作者：Garcia、 Alessandro.、Choren、 Ricardo.、Lucena、 Carlos.、Giorgini、 Paolo.、Holvoet、 Tom.、Romanovsky、 Alexander.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Interfacing with C++ [electronic resource] : Programming Real-World Applications 0 索取号：作者：Katupitiya、 Jayantha.、Bentley、 Kim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Analytical and Numerical Approaches to Mathematical Relativity [electronic resource] 0 索取号：作者：Frauendiener、 J枚rg.、Giulini、 Domenico J.W.、Perlick、 Volker.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Parallel and Distributed Logic Programming [electronic resource] : Towards the Design of a Framework for the Next Generation Database Machines 0 索取号：作者：Bhattacharya、 Alakananda.、Konar、 Amit.、Mandal、 Ajit K.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings 0 索取号：作者：Hagiya、 Masami.、Wadler、 Philip.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Adaptive Atmospheric Modeling [electronic resource] : Key Techniques in Grid Generation, Data Structures, and Numerical Operations with Applications 0 索取号：作者：Behrens、 J枚rn.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		New Results in Numerical and Experimental Fluid Mechanics V [electronic resource] : Contributions to the 14th STAB/DGLR Symposium Bremen, Germany 2004 0 索取号：作者：Rath、 Hans-Josef.、Holze、 Carsten.、Heinemann、 Hans-Joachim.、Henke、 Rolf.、H枚nlinger、 Heinz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Software Product Lines [electronic resource] 0 索取号：作者：K盲k枚la、 Timo.、Duenas、 Juan Carlos.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering 2 [electronic resource] : Specification of Systems and Languages 0 索取号：作者：Bj酶rner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.