1
Approaches and Applications of Inductive Programming [E-Book] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /

Full text 
Favorites
Saved in:
2
Innovative Internet Computing Systems [E-Book] : Second International Workshop, IICS 2002 Kühlungsborn, Germany, June 20–22, 2002 Proceedings /

Full text 
Favorites
Saved in:
3
CONCUR 2010 - Concurrency Theory [E-Book] : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings /

Full text 
Favorites
Saved in:
4
Web Reasoning and Rule Systems [E-Book] / First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings

Full text 
Favorites
Saved in:
5
Innovative Internet Computing Systems [E-Book] : International Workshop IICS 2001 Ilmenau, Germany, June 21–22, 2001 Proceedings /

Full text 
Favorites
Saved in:
6
Verification, Induction, Termination Analysis [E-Book] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
7
Computational Logic in Multi-Agent Systems [E-Book] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
8
Service Research Challenges and Solutions for the Future Internet [E-Book] : S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems /

Full text 
Favorites
Saved in:
9
Distributed, Parallel and Biologically Inspired Systems [E-Book] : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /

Full text 
Favorites
Saved in:
10
CONCUR 2011 – Concurrency Theory [E-Book] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results