Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings Q Science
Machines, Computations, and Universality : third international conference, MCU 2001 : Chişinǎu, Moldova, May 23-27 2001 : proceedings Q Science
Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001 : proceedings Q Science
Combinatorial pattern matching : 11th annual symposium, CPM 2000, Montreal, Canada, June 21-23, 2000 ; proceedings Q Science
Parsing schemata [electronic resource] : a framework for specification and analysis of parsing algorithms Q Science
Foundations of computational mathematics : selected papers of a conference held at Rio de Janeiro, January 1997 Q Science
Information assurance in computer networks : methods, models, and architectures for network security : international workshop MMM-ACNS 2001, St. Petersburg, Russia, May 21-23, 2001 Q Science
Distributed communities on the Web : third international workshop, DCW 2000, Quebec City, Quebec, Canada, June 19-21, 2000 : proceedings / Peter Kropf [and others] (eds.). Lecture notes in computer science ; 1830 Q Science
Applications of graph transformations with industrial relevance : international workshop, AGTIVE’99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings Q Science
Intelligent problem solving : methodologies and approaches : 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Lousiana, USA, June 19-22, 2000 : proceedings Q Science
