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
Knowledge Processing and Data Analysis [E-Book] : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers /
3
Algorithm-Architecture Matching for Signal and Image Processing [E-Book] : Best papers from Design and Architectures for Signal and Image Processing 2007 & 2008 & 2009 /
4
Agents and Peer-to-Peer Computing [E-Book] : 6th International Workshop, AP2PC 2007, Honululu, Hawaii, USA, May 14-18, 2007, Revised and Selected Papers /
5
The Mathematics of Language [E-Book] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers /
6
Testing Techniques in Software Engineering [E-Book] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
7
Security Protocols [E-Book] : 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers /
8
Advanced Lectures on Software Engineering [E-Book] : LASER Summer School 2007/2008 /
9
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 /
10
Natural Computing [E-Book] : 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings  /
11
Design Requirements Engineering: A Ten-Year Perspective [E-Book] : Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers /
12
Mathematics and Computation in Music [E-Book] : First International Conference, MCM 2007 Berlin, Germany, May 18–20, 2007 Revised Selected Papers /
13
IUTAM Symposium on Unsteady Separated Flows and their Control [E-Book] : Proceedings of the IUTAM Symposium “Unsteady Separated Flows and their Control“, Corfu, Greece, 18–22 June 2007 /
14
Sanskrit Computational Linguistics [E-Book] : First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers /
15
Service-Oriented Computing - ICSOC 2007 Workshops [E-Book] : ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers /
16
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 /
17
Human Language Technology. Challenges of the Information Society [E-Book] : Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers /
18
Information Theoretic Security [E-Book] : Second International Conference, ICITS 2007, Madrid, Spain, May 25-29, 2007, Revised Selected Papers /
19
Logic, Language, and Computation [E-Book] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers /
20
Applications of Declarative Programming and Knowledge Management [E-Book] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers /