1
Model-Based Engineering of Embedded Real-Time Systems [E-Book] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /
2
Advanced Lectures on Software Engineering [E-Book] : LASER Summer School 2007/2008 /
3
Testing Techniques in Software Engineering [E-Book] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
4
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis [E-Book] : AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers /
5
Agent Computing and Multi-Agent Systems [E-Book] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers /
6
Design Requirements Engineering: A Ten-Year Perspective [E-Book] : Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers /
7
VLSI-SoC: Advanced Topics on Systems on a Chip [E-Book] : A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA /
8
Software and Data Technologies [E-Book] : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers /
9
Mobilität und Echtzeit [E-Book] : Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time) Boppard, 6./7. Dezember 2007 /
10
Computer And Computing Technologies In Agriculture, Volume II [E-Book] : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 /
11
Computer And Computing Technologies In Agriculture, Volume I [E-Book] : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 /
12
Hardware and Software: Verification and Testing [E-Book] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
13
Enterprise Applications and Services in the Finance Industry [E-Book] : 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papers /
14
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 /
15
Declarative Agent Languages and Technologies V [E-Book] : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
16
Software Architectures, Components, and Applications [E-Book] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers /
17
Object-Oriented Technology. ECOOP 2007 Workshop Reader [E-Book] : ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports /
18
Computer Supported Cooperative Work in Design IV [E-Book] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers /
19
Information Security Applications [E-Book] : 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers /
20
C++ mit dem Borland C++Builder 2007 [E-Book] : Einführung in den C++-Standard und die objektorientierte Windows-Programmierung /