1
Active and Programmable Networks [E-Book] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers /
2
Ada for Software Engineers (Second Edition with Ada 2005) [E-Book] /
3
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [E-Book] : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /
4
High-Performance Computing [E-Book] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers /
5
Verified Software: Theories, Tools, Experiments [E-Book] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
6
OpenMP Shared Memory Parallel Programming [E-Book] : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings /
7
Reliable Systems on Unreliable Networked Platforms [E-Book] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /
8
Databases, Information Systems, and Peer-to-Peer Computing [E-Book] : International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers /
9
Cooperative Bug Isolation [E-Book] : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition /
10
Innovative Concepts for Autonomic and Agent-Based Systems [E-Book] / Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers
11
Software Engineering Education in the Modern Age [E-Book] / Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures
12
Central European Functional Programming School [E-Book] / First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
13
Formal Methods for Components and Objects (vol. # 4111) [E-Book] / 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
14
Generative and Transformational Techniques in Software Engineering [E-Book] / International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
15
Ada 2005 Reference Manual. Language and Standard Libraries [E-Book] : International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 /
16
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [E-Book] / AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Mul
17
RoboCup 2005: Robot Soccer World Cup IX [E-Book] /
18
Computer Music Modeling and Retrieval (vol. # 3902) [E-Book] / Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005, Revised Papers
19
Rapid Integration of Software Engineering Techniques (vol. # 3943) [E-Book] / Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers
20
Agent-Oriented Software Engineering VI [E-Book] / 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers