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

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

	Numerical Methods and Applications [electronic resource] : 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers 0 索取号：作者：Dimov、 Ivan.、Dimova、 Stefka.、Kolkovska、 Natalia.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		A Primer on Scientific Programming with Python [electronic resource] 0 索取号：作者：Langtangen、 Hans Petter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	DNA Computing and Molecular Programming [electronic resource] : 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers 0 索取号：作者：Sakakibara、 Yasubumi.、Mi、 Yongli.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers 0 索取号：作者：Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers 0 索取号：作者：Fernandes、 Jo茫o M.、L盲mmel、 Ralf.、Visser、 Joost.、Saraiva、 Jo茫o.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers 0 索取号：作者：Johnson、 Michael.、Pavlovic、 Dusko.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Kom谩rno, Slovakia, May 25-30, 2009, Revised Selected Lectures 0 索取号：作者：Horv谩th、 Zolt谩n.、Plasmeijer、 Rinus.、Zs贸k、 Vikt贸ria.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Advances in Software Engineering [electronic resource] : International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings 0 索取号：作者：Kim、 Tai-hoon.、Kim、 Haeng-Kon.、Khan、 Muhammad Khurram.、Kiumi、 Akingbehin.、Fang、 Wai-chi.、艢l臋zak、 Dominik.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25鈥揗ay 1, 2010, Revised Selected Papers 0 索取号：作者：Clarke、 Edmund M.、Voronkov、 Andrei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Self-organising Software [electronic resource] : From Natural to Artificial Adaptation 0 索取号：作者：Di Marzo Serugendo、 Giovanna.、Gleizes、 Marie-Pierre.、Karageorgos、 Anthony.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Foundations of Algebraic Specification and Formal Software Development [electronic resource] 0 索取号：作者：Sannella、 Donald.、Tarlecki、 Andrzej.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Multiparadigm Constraint Programming Languages [electronic resource] 0 索取号：作者：Hofstedt、 Petra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings 0 索取号：作者：Ando、 Noriaki.、Balakirsky、 Stephen.、Hemker、 Thomas.、Reggiani、 Monica.、Stryk、 Oskar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Cartesian Genetic Programming [electronic resource] 0 索取号：作者：Miller、 Julian F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings 0 索取号：作者：Ueda、 Kazunori.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Formal Methods and Software Engineering [electronic resource] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings 0 索取号：作者：Dong、 Jin Song.、Zhu、 Huibiao.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

	Numerical Methods and Applications [electronic resource] : 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers 0 索取号：作者：Dimov、 Ivan.、Dimova、 Stefka.、Kolkovska、 Natalia.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		A Primer on Scientific Programming with Python [electronic resource] 0 索取号：作者：Langtangen、 Hans Petter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	DNA Computing and Molecular Programming [electronic resource] : 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers 0 索取号：作者：Sakakibara、 Yasubumi.、Mi、 Yongli.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers 0 索取号：作者：Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers 0 索取号：作者：Fernandes、 Jo茫o M.、L盲mmel、 Ralf.、Visser、 Joost.、Saraiva、 Jo茫o.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers 0 索取号：作者：Johnson、 Michael.、Pavlovic、 Dusko.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Kom谩rno, Slovakia, May 25-30, 2009, Revised Selected Lectures 0 索取号：作者：Horv谩th、 Zolt谩n.、Plasmeijer、 Rinus.、Zs贸k、 Vikt贸ria.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Advances in Software Engineering [electronic resource] : International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings 0 索取号：作者：Kim、 Tai-hoon.、Kim、 Haeng-Kon.、Khan、 Muhammad Khurram.、Kiumi、 Akingbehin.、Fang、 Wai-chi.、艢l臋zak、 Dominik.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25鈥揗ay 1, 2010, Revised Selected Papers 0 索取号：作者：Clarke、 Edmund M.、Voronkov、 Andrei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Self-organising Software [electronic resource] : From Natural to Artificial Adaptation 0 索取号：作者：Di Marzo Serugendo、 Giovanna.、Gleizes、 Marie-Pierre.、Karageorgos、 Anthony.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Foundations of Algebraic Specification and Formal Software Development [electronic resource] 0 索取号：作者：Sannella、 Donald.、Tarlecki、 Andrzej.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Multiparadigm Constraint Programming Languages [electronic resource] 0 索取号：作者：Hofstedt、 Petra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings 0 索取号：作者：Ando、 Noriaki.、Balakirsky、 Stephen.、Hemker、 Thomas.、Reggiani、 Monica.、Stryk、 Oskar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Cartesian Genetic Programming [electronic resource] 0 索取号：作者：Miller、 Julian F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings 0 索取号：作者：Ueda、 Kazunori.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Formal Methods and Software Engineering [electronic resource] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings 0 索取号：作者：Dong、 Jin Song.、Zhu、 Huibiao.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.