81
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:
82
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:
83
Computer Aided Verification [E-Book] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings /

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

Full text 
Favorites
Saved in:
85
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:
86
Computer Aided Verification [E-Book] : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /

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

Full text 
Favorites
Saved in:
88
Logic and Its Applications [E-Book] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings /

Full text 
Favorites
Saved in:
89
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
90
Programming Multi-Agent Systems (vol. # 3862) [E-Book] / Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

Full text 
Favorites
Saved in:
91
Defence Applications of Multi-Agent Systems [E-Book] / International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

Full text 
Favorites
Saved in:
92
Compiler Construction (vol. # 3923) [E-Book] / 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings

Full text 
Favorites
Saved in:
93
Declarative Agent Languages and Technologies III [E-Book] / Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

Full text 
Favorites
Saved in:
94
Relational Methods in Computer Science [E-Book] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin

Full text 
Favorites
Saved in:
95
Agent-Oriented Software Engineering VI [E-Book] / 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

Full text 
Favorites
Saved in:
96
Recent Advances in Constraints (vol. # 3978) [E-Book] / Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invite

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

Full text 
Favorites
Saved in:
98
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:
99
The Semantic Web - ISWC 2006 [E-Book] / 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings

Full text 
Favorites
Saved in:
100
Model Checking and Artificial Intelligence [E-Book] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:

Narrow Search Results