大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 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.