121
Intelligent Agents: Specification, Modeling, and Applications [E-Book] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings /

Full text 
Favorites
Saved in:
122
Correct Hardware Design and Verification Methods [E-Book] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings /

Full text 
Favorites
Saved in:
123
Proof Theory in Computer Science [E-Book] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings /

Full text 
Favorites
Saved in:
124
Foundations of Information and Knowledge Systems [E-Book] : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings /

Full text 
Favorites
Saved in:
125
Compiler Construction [E-Book] : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

Full text 
Favorites
Saved in:
126
Algebraic Methodology and Software Technology [E-Book] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings /

Full text 
Favorites
Saved in:
127
Compositionality: The Significant Difference [E-Book] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures /

Full text 
Favorites
Saved in:
128
Practical Aspects of Declarative Languages [E-Book] : First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings /

Full text 
Favorites
Saved in:
129
Intelligent Agents V. Agents Theories, Architectures, and Languages [E-Book] : 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings /

Full text 
Favorites
Saved in:
130
Compiler Construction [E-Book] : 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /

Full text 
Favorites
Saved in:
131
Formal Models of Agents [E-Book] : ESPRIT Project ModelAge Final Workshop Selected Papers /

Full text 
Favorites
Saved in:
132
Foundations of Information and Knowledge Systems [E-Book] : First International Symposium, FoIKS 2000 Burg, Germany, February 14–17, 2000 Proceedings /

Full text 
Favorites
Saved in:
133
Perspectives of System Informatics [E-Book] : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings /

Full text 
Favorites
Saved in:
134
Intelligent Agents VI. Agent Theories, Architectures, and Languages [E-Book] : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings /

Full text 
Favorites
Saved in:
135
Agent-Oriented Software Engineering XI [E-Book] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /

Full text  Full text 
Favorites
Saved in:
136
Automated Deduction – CADE-23 [E-Book] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
137
Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /

Full text 
Favorites
Saved in:
138
Interactive Theorem Proving [E-Book] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /

Full text 
Favorites
Saved in:
139
Languages, Methodologies, and Development Tools for Multi-Agent Systems [E-Book] : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
140
Developments in Language Theory [E-Book] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:

Narrow Search Results