141
Relational and Kleene-Algebraic Methods in Computer Science [E-Book] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 20 /

Full text 
Favorites
Saved in:
142
Programming Multi-Agent Systems [E-Book] : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers /

Full text 
Favorites
Saved in:
143
Computer Aided Verification [E-Book] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings /

Full text 
Favorites
Saved in:
144
Automated Reasoning [E-Book] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings /

Full text 
Favorites
Saved in:
145
Algebraic Methodology and Software Technology [E-Book] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /

Full text 
Favorites
Saved in:
146
Frontiers of Combining Systems [E-Book] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings /

Full text 
Favorites
Saved in:
147
Logic Programming and Nonmonotonic Reasoning [E-Book] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /

Full text 
Favorites
Saved in:
148
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:
149
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:
150
Intelligent Agents and Multi-Agent Systems [E-Book] : 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings /

Full text 
Favorites
Saved in:
151
Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
152
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
153
Declarative Agent Languages and Technologies VII [E-Book] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
154
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:
155
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:
156
Programming Languages and Systems [E-Book] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /

Full text 
Favorites
Saved in:
157
Correct System Design [E-Book] : Recent Insights and Advances /

Full text 
Favorites
Saved in:
158
Practical Aspects of Declarative Languages [E-Book] : Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings /

Full text 
Favorites
Saved in:
159
Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceeding [E-Book] /

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

Narrow Search Results