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

搜索选项：

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

	Theoretical Aspects of Computing-ICTAC 2010 [electronic resource] : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings 0 索取号：作者：Cavalcanti、 Ana.、Deharbe、 David.、Gaudel、 Marie-Claude.、Woodcock、 Jim.、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.
	Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings 0 索取号：作者：Breitman、 Karin.、Cavalcanti、 Ana.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		FM 2009: Formal Methods [electronic resource] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 0 索取号：作者：Cavalcanti、 Ana.、Dams、 Dennis R.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Theoretical Aspects of Computing - ICTAC 2006 [electronic resource] : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings 0 索取号：作者：Barkaoui、 Kamel.、Cavalcanti、 Ana.、Cerone、 Antonio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures 0 索取号：作者：Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Optimizing Wireless Communication Systems [electronic resource] 0 索取号：作者：Cavalcanti、 Francisco Rodrigo Porto.、Andersson、 S枚ren.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2009.

最近添加的分类

粤公网安备 44030602003680号