Juris Hartmanis
Juris Hartmanis
1928–2022
Latvian computer scientist
5 ספרים במאגר
ספרים
Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)Juris Hartmanis

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)
Juris Hartmanis · 1987
Computing the futureJuris Hartmanis
Computing the future
Juris Hartmanis · 1992
The Programming Language Ada Reference ManualJuris Hartmanis

The Programming Language Ada Reference Manual
Juris Hartmanis · 1983
Analytical Chemistry Lab ManualJuris Hartmanis
Analytical Chemistry Lab Manual
Juris Hartmanis · 1993
Complexity theory retrospectiveJuris Hartmanis
Complexity theory retrospective
Juris Hartmanis · 1990
ספרים משותפים ואוספים
ספרים שבהם Juris Hartmanis מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Algebraic methodology and software technologyGerhard Goos

Algebraic methodology and software technology
Gerhard Goos · 2003
Graph drawingSue H. Whitesides

Graph drawing
Sue H. Whitesides · 2003
Concurrent object-oriented programming and Petri netsGul A. Agha

Concurrent object-oriented programming and Petri nets
Gul A. Agha · 2001
Programs as data objectsOlivier Danvy

Programs as data objects
Olivier Danvy · 2001
Implementation of functional languagesPieter Koopman

Implementation of functional languages
Pieter Koopman · 2001
Articulated motion and deformable objectsHans-Hellmut Nagel

Articulated motion and deformable objects
Hans-Hellmut Nagel · 2000
Algebraic Frames for the Perception-Action CycleGerald Sommer

Algebraic Frames for the Perception-Action Cycle
Gerald Sommer · 2000
Mathematical foundations of computer science 2000Mogens Nielsen

Mathematical foundations of computer science 2000
Mogens Nielsen · 2000
Foundations of information and knowledge systemsKlaus-Dieter Schewe

Foundations of information and knowledge systems
Klaus-Dieter Schewe · 2000
Smart card research and applicationsJean-Jacques Quisquater

Smart card research and applications
Jean-Jacques Quisquater · 2000
Recent trends in algebraic development techniquesChristine Choppy

Recent trends in algebraic development techniques
Christine Choppy · 2000
Languages and compilers for parallel computingLarry E. Carter

Languages and compilers for parallel computing
Larry E. Carter · 2000