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

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

	Introduction to Reliable and Secure Distributed Programming [electronic resource] 0 索取号：作者：Cachin、 Christian.、Guerraoui、 Rachid.、Rodrigues、 Lu铆s.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		The Future of Software Engineering [electronic resource] 0 索取号：作者：Nanz、 Sebastian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Software Architecture [electronic resource] : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings 0 索取号：作者：Babar、 Muhammad Ali.、Gorton、 Ian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings 0 索取号：作者：Leavens、 Gary T.、O鈥橦earn、 Peter.、Rajamani、 Sriram K.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Programming Multi-Agent Systems [electronic resource] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers 0 索取号：作者：Braubach、 Lars.、Briot、 Jean-Pierre.、Thangarajah、 John.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers 0 索取号：作者：Hsu、 Ching-Hsien.、Malyshkin、 Victor.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Evaluation of Novel Approaches to Software Engineering [electronic resource] : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers 0 索取号：作者：Maciaszek、 Leszek A.、Gonz谩lez-P茅rez、 C茅sar.、Jablonski、 Stefan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers 0 索取号：作者：Butterfield、 Andrew.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Parallel Computational Fluid Dynamics 2008 [electronic resource] : Parallel Numerical Methods, Software Development and Applications 0 索取号：作者：Tromeur-Dervout、 Damien.、Brenner、 Gunther.、Emerson、 David R.、Erhel、 Jocelyne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		New Modeling Concepts for Today's Software Processes [electronic resource] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings 0 索取号：作者：M眉nch、 J眉rgen.、Yang、 Ye.、Sch盲fer、 Wilhelm.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures 0 索取号：作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP 0 索取号：作者：Dovier、 Agostino.、Pontelli、 Enrico.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	New Results in Numerical and Experimental Fluid Mechanics VII [electronic resource] : Contributions to the 16th STAB/DGLR Symposium Aachen, Germany 2008 0 索取号：作者：Dillmann、 Andreas.、Heller、 Gerd.、Klaas、 Michael.、Kreplin、 Hans-Peter.、Nitsche、 Wolfgang.、Schr枚der、 Wolfgang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30鈥揓uly 2, 2010. Proceedings 0 索取号：作者：Wieringa、 Roel.、Persson、 Anne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I 0 索取号：作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II 0 索取号：作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

	Introduction to Reliable and Secure Distributed Programming [electronic resource] 0 索取号：作者：Cachin、 Christian.、Guerraoui、 Rachid.、Rodrigues、 Lu铆s.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		The Future of Software Engineering [electronic resource] 0 索取号：作者：Nanz、 Sebastian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Software Architecture [electronic resource] : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings 0 索取号：作者：Babar、 Muhammad Ali.、Gorton、 Ian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings 0 索取号：作者：Leavens、 Gary T.、O鈥橦earn、 Peter.、Rajamani、 Sriram K.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Programming Multi-Agent Systems [electronic resource] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers 0 索取号：作者：Braubach、 Lars.、Briot、 Jean-Pierre.、Thangarajah、 John.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers 0 索取号：作者：Hsu、 Ching-Hsien.、Malyshkin、 Victor.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Evaluation of Novel Approaches to Software Engineering [electronic resource] : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers 0 索取号：作者：Maciaszek、 Leszek A.、Gonz谩lez-P茅rez、 C茅sar.、Jablonski、 Stefan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers 0 索取号：作者：Butterfield、 Andrew.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Parallel Computational Fluid Dynamics 2008 [electronic resource] : Parallel Numerical Methods, Software Development and Applications 0 索取号：作者：Tromeur-Dervout、 Damien.、Brenner、 Gunther.、Emerson、 David R.、Erhel、 Jocelyne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		New Modeling Concepts for Today's Software Processes [electronic resource] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings 0 索取号：作者：M眉nch、 J眉rgen.、Yang、 Ye.、Sch盲fer、 Wilhelm.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures 0 索取号：作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP 0 索取号：作者：Dovier、 Agostino.、Pontelli、 Enrico.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	New Results in Numerical and Experimental Fluid Mechanics VII [electronic resource] : Contributions to the 16th STAB/DGLR Symposium Aachen, Germany 2008 0 索取号：作者：Dillmann、 Andreas.、Heller、 Gerd.、Klaas、 Michael.、Kreplin、 Hans-Peter.、Nitsche、 Wolfgang.、Schr枚der、 Wolfgang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30鈥揓uly 2, 2010. Proceedings 0 索取号：作者：Wieringa、 Roel.、Persson、 Anne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I 0 索取号：作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II 0 索取号：作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.