Informatik (15 757 Artikel)

This book constitutes the proceedings of the 14th International Conference on Principles and Practice in Multi-Agent Systems, PRIMA 2011, held in Wollongong, Australia, in November 2011. The 39 pap...

8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers

This book constitutes the refereed proceedings of the 6th International Workshop on Security, IWSEC 2011, held in Tokyo, Japan, in November 2011. The 14 revised full papers presented in this volume...

This book constitutes the refereed proceedings of the Second International Joint Conference on Ambient Intelligence, AmI 2011, held in Amsterdam, The Netherlands, in November 2011. The 58 revised f...

International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented...

The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriente...

This book constitutes the refereed proceedings of the 14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, held in La Laguna, Canary Islands, Spain, in November 2011...

The two-volume set LNAI 7094 and LNAI 7095 constitutes the refereed proceedings of the 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, held in Puebla, Mexico, in Novem...

The two-volume set LNAI 7094 and 7095 constitutes the refereed proceedings of the 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, held in Puebla, Mexico, in November/D...

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular pa...

This book constitutes the proceedings of the 17th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2011, held in Seoul, Korea, in December 20...

This book constitutes the refereed proceedings of the 4th International Workshop on Post-Quantum Cryptography, PQCrypto 2011, held in Taipei, Taiwan, in November/December 2011. The 18 revised full ...

4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part I

The two volume set LNAI 7101 and 7102 constitute the refereed proceedings of the 4th International Conference on Intelligent Robotics and Applications, ICIRA 2011, held in Aachen, Germany, in Novem...