Biography
Latvian computer scientist
Books by Juris Hartmanis
Smart card research and applications
Concurrent object-oriented programming and Petri nets
Mathematical foundations of computer science 2000
Vector and parallel processing--VECPAR 2000
Application and theory of petri nets 1999
Interactive Multimedia Documents
Multimedia applications, services and techniques, ECMAST '99
Advances in cryptology, 1981-1997
Algorithm theory
Computer Aided Vertification
Mathematical Foundations of Computer Science, 1998
Formal hardware verification
Mathematical Foundations of Computer Science 1997
Computing the future
Complexity theory retrospective
Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)
Feasible computations and provable complexity properties
Lectures on automata theory
Lectures on automata theory
Algebraic structure theory of
Algebraic structure theory of sequential machines
Algebraic structure theory of
Algebraic structure theory of sequential machines [by] J. Hartmanis [and] R.E. Stearns