搜索包含 Wirsing 的图书 - 暨南大学图书馆 - page 1

搜索选项：

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Wirsing 的图书(共7本)

	Rigorous Software Engineering for Service-Oriented Systems [electronic resource] : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing 0 索取号：作者：Wirsing、 Martin.、H枚lzl、 Matthias.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Trustworthly Global Computing [electronic resource] : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers 0 索取号：作者：Wirsing、 Martin.、Hofmann、 Martin.、Rauschmayer、 Axel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Fundamental Approaches to Software Engineering [electronic resource] : 12th International Conference, FASE 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 索取号：作者：Chechik、 Marsha.、Wirsing、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Software-Intensive Systems and New Computing Paradigms [electronic resource] : Challenges and Visions 0 索取号：作者：Wirsing、 Martin.、Ban芒tre、 Jean-Pierre.、H枚lzl、 Matthias.、Rauschmayer、 Axel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Theoretical Aspects of Computing-ICTAC 2005 [electronic resource] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings 0 索取号：作者：Hung、 Dang.、Wirsing、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol 0 索取号：作者：Poernomo、 Iman Hafiz.、Wirsing、 Martin.、Crossley、 John Newsome.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2005.
	Number theory : proceedings of the Journâees arithmâetiques, held in Ulm, FRG, September 14-18, 1987 0 索取号：O132-51/E90104 作者：Journâees arithmâetiques (15th : 1987 : Ulm、 Germany)、Schlickewei、 H. P.、 1947-、Wirsing、 E.、出版社：New York : Springer-Verlag, c1989.

最近添加的分类

粤公网安备 44030602003680号