Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /

por International Conference on Formal Engineering Methods, Breitman, K. K., Cavalcanti, Ana.
Publicado 2009.

Data management in a connected world essays dedicated to Hartmut Wedekind on the occasion of his 70th birthday /

por Härder, Theo., Lehner, Wolfgang.
Publicado c2005

Engineering societies in the agents world VIII 7th international workshop, ESAW 2006, Dublin, Ireland, September 6-8, 20026 : revised selected and invited papers /

por ESAW 2006, O’Hare, Gregory.
Publicado 2007.

Artificial intelligence and computational intelligence 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012, proceedings /

por International Conference on Artificial Intelligence and Computational Intelligence, Lei, Jingsheng.
Publicado 2012.

Advances in multimedia modeling 13th international multimedia modeling conference, MMM 2007, Singapore, January 9-12, 2007, proceedings, Part II /

por International Multimedia Modelling Conference, Cham, Tat-Jen.
Publicado 2007.

Theoretical aspects of computing - ICTAC 2006 third international colloquium, Tunis, Tunisia, November 20-24, 2006: proceedings /

por ICTAC 2006, Barkaoui, Kamel., Cavalcanti, Ana., Cerone, Antonio.
Publicado 2006.

FM 2005: Formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /

por International Symposium of Formal Methods Europe, Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej.
Publicado 2005.

Algorithms and architectures for parallel processing 11th International Conference, ICA3PP 2011, Workshops, Melbourne, Australia, October 24-26, 2011 : proceedings /

por ICA3PP 2011 (Conferência), Xiang, Yang.
Publicado 2011.

Transactions on rough sets VII commemorating the life and work of Zdzislaw Pawlak, part II /

por Marek, Victor W.
Publicado 2007.

Intelligent robotics and applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, proceedings, part I /

por ICIRA (Conferência), Su, Chun-Yi., Rakheja, Subhash., Liu, Honghai.
Publicado 2012.

Advances in intelligent data analysis VIII 8th International Symposium on Intelligent Data Analysis, IDA 2009, Lyon, France, August 31 - September 2, 2009 : proceedings /

por International Symposium on Intelligent Data Analysis, Adams, Niall M.
Publicado 2009.

Performability has its price 5th international workshop on internet charging and QoS technologies, ICQT 2006, St. Malo, France, June 27, 2006: proceedings /

por International Workshop on Internet Charging and QoS Technologies, Stiller, Burkhard., Reichl, Peter., Tuffin, Bruno.
Publicado 2006.

Recent advances in intrusion detection 10th international symposium, RAID 2007, Gold Coast [i.e. Coast], Australia, September 5-7, 2007 : proceedings /

por RAID 2007, Kruegel, Christopher., Lippmann, Richard., Clark, Andrew.
Publicado 2007.

Formal aspects in security and trust Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005: revised selected papers /

por FAST 2005, Dimitrakos, Theo.
Publicado 2006.

Modelling autonomic communications environments fourth IEEE international workshop, MACE 2009, Venice, Italy, October 26-27, 2009 : proceedings /

por MACE 2009, Strassner, John., Ghamri-Doudane, Yacine M.
Publicado 2009.

Advances in neuro-information processing 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers /

por ICONIP (Conference), Köppen, Mario., Kasabov, Nikola K., Coghill, George.
Publicado 2009.

Verification, model checking, and abstract interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008: proceedings /

por VMCAI 2008, Logozzo, Francesco., Peled, Doron A., Zuck, Lenore D.
Publicado c2008

Trustworthy global computing second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers /

por TGC 2006, Montanari, Ugo., Sannella, Donald., Bruni, Roberto.
Publicado 2007.

Computational science and its applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III /

por ICCSA 2006, Gavrilova, Marina L.
Publicado 2006.

Service-oriented computing agents, semantics, and engineering : AAMAS 2009 International Workshop, SOCASE 2009, Budapest, Hungary, may 11, 2009 : proceedigns /

por SOCASE 2009, Kowalczyk, Ryszard
Publicado 2009.