搜索包含 Mathematical Software Symposium 的图书 - 暨南大学图书馆

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

	Hardware and Software: Verification and Testing [electronic resource] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers 0 索取号：作者：Namjoshi、 Kedar.、Zeller、 Andreas.、Ziv、 Avi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Agent-Oriented Software Engineering X [electronic resource] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers 0 索取号：作者：Gleizes、 Marie-Pierre.、Gomez-Sanz、 Jorge J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Essential Software Architecture [electronic resource] 0 索取号：作者：Gorton、 Ian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Web and Wireless Geographical Information Systems [electronic resource] : 10th International Symposium, W2GIS 2011, Kyoto, Japan, March 3-4, 2011. Proceedings 0 索取号：作者：Tanaka、 Katsumi.、Fr枚hlich、 Peter.、Kim、 Kyoung-Sook.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Engineering Secure Software and Systems [electronic resource] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings 0 索取号：作者：Erlingsson、脷lfar.、Wieringa、 Roel.、Zannone、 Nicola.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		History of Cartography [electronic resource] : International Symposium of the ICA Commission, 2010 0 索取号：作者：Liebenberg、 Elri.、Demhardt、 Imre Josef.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Graph Drawing [electronic resource] : 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers 0 索取号：作者：Brandes、 Ulrik.、Cornelsen、 Sabine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Advanced Mathematical Methods for Finance [electronic resource] 0 索取号：作者：Di Nunno、 Giulia.、脴ksendal、 Bernt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings 0 索取号：作者：Rocha、 Ricardo.、Launchbury、 John.、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.		Fatou, Julia, Montel [electronic resource] : The Great Prize of Mathematical Sciences of 1918, and Beyond 0 索取号：作者：Audin、 Mich猫le.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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.		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.
	Sanskrit Computational Linguistics [electronic resource] : 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings 0 索取号：作者：Jha、 Girish Nath.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Algorithms and Computation [electronic resource] : 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I 0 索取号：作者：Cheong、 Otfried.、Chwa、 Kyung-Yong.、Park、 Kunsoo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

	Hardware and Software: Verification and Testing [electronic resource] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers 0 索取号：作者：Namjoshi、 Kedar.、Zeller、 Andreas.、Ziv、 Avi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Agent-Oriented Software Engineering X [electronic resource] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers 0 索取号：作者：Gleizes、 Marie-Pierre.、Gomez-Sanz、 Jorge J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Essential Software Architecture [electronic resource] 0 索取号：作者：Gorton、 Ian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Web and Wireless Geographical Information Systems [electronic resource] : 10th International Symposium, W2GIS 2011, Kyoto, Japan, March 3-4, 2011. Proceedings 0 索取号：作者：Tanaka、 Katsumi.、Fr枚hlich、 Peter.、Kim、 Kyoung-Sook.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Engineering Secure Software and Systems [electronic resource] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings 0 索取号：作者：Erlingsson、脷lfar.、Wieringa、 Roel.、Zannone、 Nicola.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		History of Cartography [electronic resource] : International Symposium of the ICA Commission, 2010 0 索取号：作者：Liebenberg、 Elri.、Demhardt、 Imre Josef.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Graph Drawing [electronic resource] : 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers 0 索取号：作者：Brandes、 Ulrik.、Cornelsen、 Sabine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Advanced Mathematical Methods for Finance [electronic resource] 0 索取号：作者：Di Nunno、 Giulia.、脴ksendal、 Bernt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings 0 索取号：作者：Rocha、 Ricardo.、Launchbury、 John.、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.		Fatou, Julia, Montel [electronic resource] : The Great Prize of Mathematical Sciences of 1918, and Beyond 0 索取号：作者：Audin、 Mich猫le.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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.		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.
	Sanskrit Computational Linguistics [electronic resource] : 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings 0 索取号：作者：Jha、 Girish Nath.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Algorithms and Computation [electronic resource] : 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I 0 索取号：作者：Cheong、 Otfried.、Chwa、 Kyung-Yong.、Park、 Kunsoo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.