Ernst W. Mayr

STACS 94

1994

Lectures on proof verification and approximation algorithms

Graph-theoretic concepts in computer science

Computer Science -- Theory and Applications

Computer Algebra in Scientific Computing

Graph-Theoretic Concepts in Computer Science: 18th International Workshop, Wg '92, Wiesbaden-Naurod, Germany, June 18-20, 1992

Exploring New Frontiers of Theoretical Informatics

Ein Algoritmus für das allgemeine Erreichbarkeits-problem bei Petrinetzen udn damit zusammenhüangende probleme

Edv­Abkuerzungen