Ernst W. Mayr
· 13 obras en el catálogo
Obras

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

Computer Algebra in Scientific Computing

Computer Algebra in Scientific Computing
Computer Science -- Theory and Applications
Exploring New Frontiers of Theoretical Informatics

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