Objects and databases : international symposium, Sophia Antipolis, France, June 13, 2000 : revised papers Q Science
Algorithms-ESA 2001 : 9th annual European symposium, Åarhus, Denmark, August 28-31, 2001 : proceedings Q Science
Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers Q Science
Advances in cryptology – CRYPTO 2001 : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 2001, proceedings / Joe Kilian (ed.). Lecture notes in computer science ; 2139 Q Science
Advances in learning classifier systems : third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers Q Science
Intelligent agents : specification, modeling, and application : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 2001 : proceedings Q Science
Intelligent agents VII : agent theories architectures and languages : 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000 : proceedings / Cristiano Casterfranchi, Yves Lespe虂rance (eds.) Lecture notes in computer science ; 1986. Lecture notes in artificial intelligence Q Science
Computer science logic : 14th International Workshop, CSL 2000, 9th Annual Conference of the EACSL, Fischbachau, Germany, August 2000 : proceedings / Peter Clote, Helmut Schwichtenberg (eds.). Lecture notes in computer science ; 1862 Q Science
