1
Abstract Compositional Analysis of Iterated Relations [E-Book] : A Structural Approach to Complex State Transition Systems /

Full text 
Favorites
Saved in:
2
Abstract State Machines 2003 [E-Book] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings /

Full text 
Favorites
Saved in:
3
Abstract State Machines 2004. Advances in Theory and Practice [E-Book] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /

Full text 
Favorites
Saved in:
4
Abstract State Machines - Theory and Applications [E-Book] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings /

Full text 
Favorites
Saved in:
5
Adapting Proofs-as-Programs [E-Book] : The Curry-Howard Protocol /

Full text 
Favorites
Saved in:
6
Adaptive Agents and Multi-Agent Systems [E-Book] : Adaptation and Multi-Agent Learning /

Full text 
Favorites
Saved in:
7
Adaptive Agents and Multi-Agent Systems II [E-Book] / Adaptation and Multi-Agent Learning

Full text 
Favorites
Saved in:
8
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:
9
Advanced Functional Programming [E-Book] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /

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

Full text 
Favorites
Saved in:
11
Advanced Symbolic Analysis for Compilers [E-Book] : New Techniques and Algorithms for Symbolic Program Analysis and Optimization /

Full text 
Favorites
Saved in:
12
Advances in Agent Communication [E-Book] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 /

Full text 
Favorites
Saved in:
13
Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation [E-Book] : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings /

Full text 
Favorites
Saved in:
14
Advances in Computing Science — ASIAN’99 [E-Book] : 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings /

Full text 
Favorites
Saved in:
15
Advances in Power Electronics and Instrumentation Engineering [E-Book] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings /

Full text 
Favorites
Saved in:
16
Advances in Rule Interchange and Applications [E-Book] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings /

Full text 
Favorites
Saved in:
17
Advances in Smalltalk [E-Book] : 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers /

Full text 
Favorites
Saved in:
18
Agent Communication II [E-Book] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers /

Full text 
Favorites
Saved in:
19
Agent Communication [E-Book] / International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004

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

Narrow Search Results