Automatentheorie

	DNA Computing. 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers (Lecture Notes in Computer Science Vol. 2054) von Anne Condon		Automata, Languages and Programming. 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings (Lecture Notes in Computer Science Vol. 2076) von Fernando Orejas
	Model Checking Software. von Matthew Dwyer		Mathematical Foundations of Computer Science 1990. Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings (Lecture Notes in Computer Science Vol. 452) von Branislav Rovan
	STACS 95. 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings (Lecture Notes in Computer Science Vol. 900) von Ernst W. Mayr		Machines, Computations and Universality. von M. Margenstern
	Mathematical Foundations of Computer Science 1991. 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings (Lecture Notes in Computer Science Vol. 520) von Andrzej Tarlecki		Fundamentals of Computation Theory. 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings (Lecture Notes in Computer Science Vol. 529) von Lothar Budach
	Results and Trends in Theoretical Computer Science. Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings (Lecture Notes in Computer Science Vol. 812) von Juliani Karhumäki		Turing Machines with Sublogarithmic Space (Lecture Notes in Computer Science Vol. 843) von Andrzej Szepietowski
	Combinatorics on Traces (Lecture Notes in Computer Science Vol. 454) von Volker Diekert		LATIN '95: Theoretical Informatics. Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings (Lecture Notes in Computer Science Vol. 911) von Ricardo Baeza-Yates
	Entwurf eines Verfahrens zur Zustandskodierung für den Selbsttest endlicher Automaten. Entwurf digitaler Schaltungen mit Selbsttest von Luis D. Martínez-Costa		Trees in Algebra and Programming - CAAP '96. 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings (Lecture Notes in Computer Science Vol. 1059) von Helene Kirchner
	Vorlesungen über Informatik, Bd.3, Berechenbarkeit, formale Sprachen, Spezifikationen von Gerhard Goos		STACS 96. 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings (Lecture Notes in Computer Science Vol. 1046) von Claude Puech
	Automata, Languages and Programming. 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings (Lecture Notes in Computer Science Vol. 944) von Zoltan Fülöp		Automata Implementation. First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers (Lecture Notes in Computer Science Vol. 1260) von Darrell Raymond
	Automata, Languages and Programming. 23rd International Colloquium, ICALP '96, Paderborn, Germany July 8-12, 1996. Proceedings (Lecture Notes in Computer Science Vol. 1099) von Friedhelm Meyer auf der Heide		Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. von John E. Hopcroft

• Informatik Forum