Author books / Книги автора J. Hartmanis » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора J. Hartmanis

book Computing the Future : A Broader Agenda for Computer Science and Engineering

Computing the Future : A Broader Agenda for Computer Science and Engineering

pdf

Author: National Research Council, Computer Science and Telecommunications Board, Committee to Assess the Scope and Direction of Computer Science and Technology, National Academy of Sciences, J. Hartmanis, Herbert Lin
Language: English
Year: 1992

00

01.03.2024

0

0

book Computing and Combinatorics: 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings

Computing and Combinatorics: 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings

pdf

Author: Goos Gerhard, Hartmanis Juris, Van Leeuwen Jan
Language: English
Year: 2003

00

30.01.2024

0

0

book Group Theoretical Methods in Image Processing

Group Theoretical Methods in Image Processing

pdf

Author: Goos G. Hartmanis J.
Language: English

00

28.01.2024

0

0

book Algebraic Structure Theory of Sequential Machines

Algebraic Structure Theory of Sequential Machines

djvu

Author: Hartmanis J. Stearns R.E.
Language: English
Year: 1966

00

27.01.2024

0

0

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

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

djvu

Author: Juris Hartmanis
Language: English
Year: 1987

00

27.01.2024

0

0

book Computational Complexity Theory

Computational Complexity Theory

djvu

Author: Juris Hartmanis (ed.)
Language: English
Year: 1989

00

27.01.2024

0

0

book GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

pdf

Author: J. Hartmanis J. Simon (auth.) Prof. Dr. Dirk Siefkes (eds.)
Language: German
Year: 1975

00

27.01.2024

0

0

book Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

pdf

Author: Sten Agerholm (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Joakim von Wright Jim Grundy John Harrison (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Algorithms and Complexity: Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings

Algorithms and Complexity: Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings

pdf

Author: Juris Hartmanis Suresh Chari (auth.) M. Bonuccelli P. Crescenzi R. Petreschi (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0

book Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

pdf

Author: J. Hartmanis J. Simon (auth.) Prof. Dr. D. Siefkes (eds.)
Language: German-English
Year: 1975

00

27.01.2024

0

0