Rigorous methods for software construction and analysis essays dedicated to Egon Börger on the occasion of his 60th birthday /

Autor Abrial, Jean-Raymond., Glässer, Uwe
Vydáno 2009.

Formal aspects of security and trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /

Autor FAST 2010 (Workshop), Degano, Pierpaolo, Etalle, Sandro., Guttman, Joshua.
Vydáno 2011.

Intelligent data engineering and automated learning - IDEAL 2009 10th International Conference, Burgos, Spain, September 23-26, 2009 : proceedings /

Autor IDEAL 2009, Corchado, Emilio., Yin, Hujun
Vydáno 2009.

Photogrammetric image analysis ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011 : proceedings /

Autor PIA 2011 (Conferência), Stilla, Uwe.
Vydáno 2011.

Principles of distributed systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings /

Autor OPODIS 2011 (Conferência), Anta, Antonio Fernández., Lipari, Giuseppe., Roy, Matthieu.
Vydáno 2011.

Model checking software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006: proceedings /

Autor International SPIN Workshop, Valmari, Antti.
Vydáno 2006.

MICAI 2006: advances in artificial intelligence 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006: proceedings /

Autor Mexican International Conference on Artificial Intelligence, Gelbukh, Alexander., Reyes-Garcia, Carlos Alberto.
Vydáno 2006.

Advances in applied artificial intelligence 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, Fr...

Autor International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Ali, Moonis.
Vydáno 2006.

Image analysis and processing -- ICIAP 2011 16th International Conference, Ravenna, Italy, September 14-16, 2011 : proceedings /

Autor ICIAP 2011 (Conferência), Maino, Giuseppe., Foresti, Gian Luca.
Vydáno 2011.

Wired/wireless internet communications 9th IFIP TC 6 International Conference, WWIC 2011, Vilanova i la Geltrú, Spain, June 15-17, 2011 : proceedings /

Autor WWIC 2011 (Conferência), Masip-Bruin, Xavier.
Vydáno 2011.

Secure Data Management 8th VLDB Workshop, SDM 2011, Seattle, WA, USA, September 2, 2011, Proceedings /

Autor SDM 2011 (Workshop), Jonker, Willem., Petkovic, Milan.
Vydáno 2011.

Transactions on edutainment II

Autor Pan, Zhigeng
Vydáno 2009.

Artificial immune systems 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009 : proceedings /

Autor ICARIS 2009, Andrews, Paul S.
Vydáno 2009.

Image analysis and recognition 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008 : proceedings /

Autor ICIAR 2008, Campilho, Aurélio., Kamel, Mohamed.
Vydáno c2008

VOCUS: a Visual attention system for object detection and goal-directed search

Autor Frintrop, Simone.
Vydáno 2006.

Innovative internet community systems 5th international workshop, IICS 2005, Paris, France, June 20-22, 2005: revised papers /

Autor IICS 2005, Bui, Alain.
Vydáno 2006.

Formal aspects in security and trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, revised selected papers /

Autor FAST 2008, Degano, Pierpaolo, Guttman, Joshua D., Martinelli, Fabio.
Vydáno 2009.

Haptic and audio interaction design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 : proceedings /

Autor HAID 2009, Altinsoy, M. Ercan., Jekosch, Ute., Brewster, Stephen.
Vydáno 2009.

SDL 2009 design for motes and mobiles : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 : proceedings /

Autor SDL Forum, Reed, Rick., Bilgic, Attila., Gotzhein, Reinhard.
Vydáno 2009.

Adaptive multimedia retrieval context, exploration and fusion : 8th International Workshop, AMR 2010, Linz, Austria, August 17-18, 2010 : revised selected papers /

Autor AMR 2010 (Workshop), Detyniecki, Marcin.
Vydáno 2011.