Juris Hartmanis | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Juris Hartmanis | lit.salon

Juris Hartmanis

Born: 1928

Died: 2022

Latvian computer scientist

Born: 1928

Died: 2022

Books by Juris Hartmanis (50 max)

Foundations of Information and Knowledge Systems: First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings (Lecture Notes in Computer Science)

2000

Klaus-Dieter Schewe, Bernhard Thalheim, Gerhard Goos, Juris Hartmanis

Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers (Lecture Notes in Computer Science)

2001

Pieter Koopman, Gerhard Goos, Juris Hartmanis

Algebraic structure theory of sequential machines

1966

Juris Hartmanis

Feasible computations and provable complexity properties

1978

Juris Hartmanis

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

1978

Juris Hartmanis

Computing the future: a broader agenda for computer science and engineering

1992

Juris Hartmanis, Herbert Lin

Higher order logic theorem proving and its applications: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

1995

Phillip J. Windley, James Alves-Foss, Gerhard Goos, Juris Hartmanis

Advances in cryptology, 1981-1997: electronic proceedings and index of the CRYPTO and EUROCRYPT conferences, 1981-1997

1998

Gerhard Goos, Juris Hartmanis

Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings (Lecture Notes in Computer Science)

1999

Susanna Donatelli, Jetty Kleijn, Gerhard Goos, Juris Hartmanis

Multimedia Applications, Services and Techniques - ECMAST'99: 4th European Conference, Madrid, Spain, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science)

1999

Helmut Leopold, Narciso Garcia, Gerhard Goos, Juris Hartmanis

Graph drawing: 6th International Symposium, GD'98, Montréal, Canada, August 13-15, 1998 : proceedings

1999

Sue H. Whitesides, Gerhard Goos, Juris Hartmanis

Algebraic methodology and software technology: 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings

1999

Gerhard Goos, Juris Hartmanis, Armando M. Haeberer

Adaptive Hypermedia and Adaptive Web-Based Systems: International Conference, AH 2000, Trento, Italy, August 28-30, 2000 Proceedings (Lecture Notes in Computer Science)

2000

Peter Brusilovsky, Oliviero Stock, Carlo Strapparava, Gerhard Goos, Juris Hartmanis

Articulated Motion and Deformable Objects: First International Workshop, AMDO 2000 Palma de Mallorca, Spain, September 7-9, 2000 Proceedings (Lecture Notes in Computer Science)

2000

Hans-Hellmut Nagel, Gerhard Goos, Juris Hartmanis

Languages and Compilers for Parallel Computing: 12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 Proceedings (Lecture Notes in Computer Science)

2000

Larry E. Carter, Jeanne Ferrante, Gerhard Goos, Juris Hartmanis

Smart Card. Research and Applications: Third International Conference, CARDIS'98 Louvain-la-Neuve, Belgium, September 14-16, 1998 Proceedings (Lecture Notes in Computer Science)

2000

Jean-Jacques Quisquater, Bruce Schneier, Gerhard Goos, Juris Hartmanis

Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)

2000

Mogens Nielsen, Branislav Rovan, Gerhard Goos, Juris Hartmanis

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers (Lecture Notes in Computer Science)

2000

Christine Choppy, Peter Mosses, Gerhard Goos, Juris Hartmanis

Algebraic Frames for the Perception-Action Cycle: Second International Workshop, AFPAC 2000, Kiel, Germany, September 10-11, 2000 Proceedings (Lecture Notes in Computer Science)

2000

Gerald Sommer, Gerhard Goos, Juris Hartmanis

Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)

2001

Gul A. Agha, Grzegorz Rozenberg, Gerhard Goos, Juris Hartmanis

Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science)

2001

Olivier Danvy, Gerhard Goos, Juris Hartmanis

Vector and Parallel Processing - VECPAR 2000: 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks (Lecture Notes in Computer Science)

2001

José M. L. M. Palma, Jack Dongarra, Vicente Hernández, Gerhard Goos, Juris Hartmanis

Algebraic structure theory of sequential machines [by] J. Hartmanis [and] R.E. Stearns.

1966

Juris Hartmanis

Lectures on automata theory

1968

Juris Hartmanis

Feasible computations and provable complexity properties

1978

Juris Hartmanis

The Programming Language Ada Reference Manual

1983

Juris Hartmanis

Computational complexity theory

1989

Juris Hartmanis

Complexity Theory Retrospective

1990

Juris Hartmanis

Analytical Chemistry Lab Manual

1993

Juris Hartmanis

Logic and computational complexity: international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers

1995

Daniel Leivant, Gerhard Goos, Juris Hartmanis

Theory and Practice of Parallel Programming: International Workshop Tppp '94, Sendai, Japan, November 7-9, 1994 : Proceedings (Lecture Notes in Computer Science)

1995

Takatoshi Ito, Akinori Yonezawa, Gerhard Goos, Juris Hartmanis

Languages and Compilers for Parallel Computing: 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings (Lecture Notes in Computer Science)

1997

Gerhard Goos, Juris Hartmanis, Alex Nicolau

Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings (Lecture Notes in Computer Science)

1997

S. Ramesh, G. Sivakumar, Gerhard Goos, Juris Hartmanis

Formal hardware verification: methods and systems in comparison

1997

Thomas Kropf, Gerhard Goos, Juris Hartmanis

Mathematical Foundations of Computer Science 1997: 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science)

1997

Gerhard Goos, Juris Hartmanis, Igor Privara, Peter Ruzicka

Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science)

1998

Kim G. Larsen, Sven Skyum, Glynn Winskel, Gerhard Goos, Juris Hartmanis

Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)

1998

Gerhard Goos, Juris Hartmanis

Interactive distributed multimedia systems and telecommunication services: 5th International Workshop, IDMS'98 : Oslo, Norway, September 8-11, 1998 : proceedings

1998

Gerhard Goos, Juris Hartmanis, Thomas Plagemann

Rewriting techniques and applications: 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

1998

Gerhard Goos, Juris Hartmanis

CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science)

1998

Davide Sangiorgi, Gerhard Goos, Juris Hartmanis

Algorithm Theory - SWAT'98: 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings (Lecture Notes in Computer Science)

1998

Gerhard Goos, Juris Hartmanis

Parallel and distributed processing: 10 IPPS/SPDP '98 workshops held in conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30-April 3, 1998 : proceedings

1998

José Rolim, Gerhard Goos, Juris Hartmanis

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, Mfcs'98 Brno, Czech Republic, August 24-28, 1998 Proceedings (Lecture Notes in Computer Science)

1998

Lubos Brim, Josef Gruska, Gerhard Goos, Juris Hartmanis

Advanced Information Systems Engineering: 11th International Conference, CAiSE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings (Lecture Notes in Computer Science)

1999

M. Jarke, Gerhard Goos, Juris Hartmanis

Visual Information and Information Systems: Third International Conference, VISUAL'99, Amsterdam, The Netherlands, June 2-4, 1999, Proceedings (Lecture Notes in Computer Science)

1999

Gerhard Goos, Juris Hartmanis

Interactive Multimedia Documents Modeling, Authoring, and Implementation Experiences

1999

Gerhard Goos, Juris Hartmanis, Jan Leeuwen

Medical Image Computing and Computer-Assisted Intervention - MICCAI'99: Second International Conference, Cambridge, UK, September 19-22, 1999, Proceedings (Lecture Notes in Computer Science)

1999

Gerhard Goos, Juris Hartmanis

Selected Areas in Cryptography: 5th Annual International Workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998, Proceedings (Lecture Notes in Computer Science)

1999

Henk Meijer, Gerhard Goos, Juris Hartmanis

Parallel and distributed processing: 11th [sic] IPPS/SPDP '99 workshops held in conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999 : proceedings

1999

José Rolim, Gerhard Goos, Juris Hartmanis

Document Analysis Systems: Theory and Practice: Third IAPR Workshop, DAS'98, Nagano, Japan, November 4-6, 1998, Selected Papers (Lecture Notes in Computer Science)

1999

Seong-Whan Lee, Gerhard Goos, Juris Hartmanis