61
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:
62
Unifying Theories of Programming [E-Book] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /

Full text 
Favorites
Saved in:
63
Algebraic Methodology and Software Technology [E-Book] / 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Full text 
Favorites
Saved in:
64
Agent Computing and Multi-Agent Systems [E-Book] / 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings

Full text 
Favorites
Saved in:
65
Automated Reasoning [E-Book] / Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Full text 
Favorites
Saved in:
66
Computer Aided Verification (vol. # 4144) [E-Book] / 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Full text 
Favorites
Saved in:
67
Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /

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

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

Full text 
Favorites
Saved in:
70
Computer Aided Verification [E-Book] : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /

Full text 
Favorites
Saved in:
71
Theorem Proving in Higher Order Logics [E-Book] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /

Full text 
Favorites
Saved in:
72
Formal Approaches to Agent-Based Systems [E-Book] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /

Full text 
Favorites
Saved in:
73
Agent-Oriented Software Engineering [E-Book] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers /

Full text 
Favorites
Saved in:
74
Self-Adaptive Software [E-Book] : First International Workshop, IWSAS 2000 Oxford, UK, April 17–19, 2000 Revised Papers /

Full text 
Favorites
Saved in:
75
Practical Aspects of Declarative Languages [E-Book] : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings /

Full text 
Favorites
Saved in:
76
Compiler Construction [E-Book] : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings /

Full text 
Favorites
Saved in:
77
Automated Reasoning [E-Book] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings /

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

Full text 
Favorites
Saved in:
79
Computer Aided Verification [E-Book] : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings /

Full text 
Favorites
Saved in:
80
Intelligent Agents VII Agent Theories Architectures and Languages [E-Book] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results