1
Model-Based Engineering of Embedded Real-Time Systems [E-Book] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Advanced Lectures on Software Engineering [E-Book] : LASER Summer School 2007/2008 /

Full text 
Favorites
Saved in:
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 /

Full text 
Favorites
Saved in:
4
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 /

Full text 
Favorites
Saved in:
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 /

Full text 
Favorites
Saved in:
6
Foundations of Security Analysis and Design V [E-Book] : FOSAD 2007/2008/2009 Tutorial Lectures /

Full text 
Favorites
Saved in:
7
Hardware and Software: Verification and Testing [E-Book] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /

Full text 
Favorites
Saved in:
8
Logic-Based Program Synthesis and Transformation [E-Book] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /

Full text 
Favorites
Saved in:
9
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 /

Full text 
Favorites
Saved in:
10
Declarative Agent Languages and Technologies V [E-Book] : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
11
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 /

Full text 
Favorites
Saved in:
12
Object-Oriented Technology. ECOOP 2007 Workshop Reader [E-Book] : ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports /

Full text 
Favorites
Saved in:
13
Finite Model Theory and Its Applications [E-Book] /

Full text 
Favorites
Saved in:
14
Formal Methods for Performance Evaluation [E-Book] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures /

Full text 
Favorites
Saved in:
15
Distributed Applications and Interoperable Systems [E-Book] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings

Full text 
Favorites
Saved in:
16
Job Scheduling Strategies for Parallel Processing [E-Book] : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers /

Full text 
Favorites
Saved in:
17
Transactions on High-Performance Embedded Architectures and Compilers I [E-Book] /

Full text 
Favorites
Saved in:
18
Programming Multi-Agent Systems [E-Book] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /

Full text 
Favorites
Saved in:
19
Semantics with Applications: An Appetizer [E-Book] /

Full text 
Favorites
Saved in:
20
Component-Based Software Engineering [E-Book] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results