Juris Hartmanis
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
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
