Juris Hartmanis
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
47
Concurrency theory
Mathematical Foundations of Computer Science, 1998
Logic and computational complexity
Feasible computations and provable complexity properties
Algebraic structure theory of sequential machines
![Algebraic structure theory of sequential machines [by] J. Hartmanis [and] R.E. Stearns](https://images.lid.im/storage/books/covers/11818755.webp)
Algebraic structure theory of sequential machines [by] J. Hartmanis [and] R.E. Stearns
Programs as data objects
Mathematical foundations of computer science 2000
Application and theory of petri nets 1999
Higher order logic theorem proving and its applications
Graph drawing
Rewriting techniques and applications
Algorithm theory
Mathematical Foundations of Computer Science 1997
Multimedia applications, services and techniques, ECMAST '99
