J. Hartmanis

发表

J. H. Rief, G. Goos, J. Hartmanis, 1988, Lecture Notes in Computer Science.

VDM '90 VDM and Z — Formal Methods in Software Development

Dines Bjørner, G. Goos, J. Hartmanis, 1990, Lecture Notes in Computer Science.

Computer Vision - ECCV, 1992: Second European Conference on Computer Vision, Santa Margherita Ligure, Italy, May 1992, Proceedings

G. Goos, J. Hartmanis, G. Sandini, 1992 .

Graph Drawing

J. van Leeuwen, G. Goos, J. Hartmanis, 2003, Lecture Notes in Computer Science.

Meta-Level Architectures and Reflection

J. van Leeuwen, J. Hartmanis, J. Hartmanis, 2001, Lecture Notes in Computer Science.

OBSERVATIONS ABOUT THE DEVELOPNENT OF THEORETICAL COl-lPUTER SCIENCE

J. Hartmanis, J. Hartmanis, 1979 .

Field Programmable Logic and Application: 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 Proceedings

J. van Leeuwen, G. Goos, J. Hartmanis, 2003, Lecture Notes in Computer Science.

Mobile Agents for Telecommunication Applications

J. van Leeuwen, J. Hartmanis, J. Hartmanis, 2002, Lecture Notes in Computer Science.

Computation Times of NP Sets of Different Densities

J. Hartmanis, Y. Yesha, 1984, Theor. Comput. Sci..

STACS 2003

J. Hartmanis, J. van, J. Hartmanis, 2003, Lecture Notes in Computer Science.

Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings

G. Goos, J. Hartmanis, J. P. Myers, 1992 .

Computer-Aided Cooperative Product Development: MIT-JSME Workshop, MIT, Cambridge, USA, November 20/21, 1989. Proceedings

Duvvuru Sriram, G. Goos, J. Hartmanis, 1991 .

Advanced Functional Programming

J. van Leeuwen, G. Goos, J. Hartmanis, 1998, Lecture Notes in Computer Science.

Deductive and Object-Oriented Databases: Second International Conference, Dood '91 Munich, Germany, December 16-18, 1991 Proceedings

Michael Kifer, Yoshifumi Masunaga, Claude Delobel, 1991 .

Digital Rights Management

J. van Leeuwen, J. Hartmanis, J. Hartmanis, 2003, Lecture Notes in Computer Science.

Computer science and mathematics

George E. Forsythe, Joseph F. Traub, J. Hartmanis, 1970, SGCS.

Applied Cryptography and Network Security

J. van Leeuwen, G. Goos, J. Hartmanis, 2003, Lecture Notes in Computer Science.

MFDBS '91: Third Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, FRG, May 6-9, 1991, Proceedings

Bernhard Thalheim, János Demetrovics, G. Goos, 1991 .

Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings

G. Goos, J. Hartmanis, Jean-Pierre Banatre, 1992, Research Directions in High-Level Parallel Programming Languages.

Attribute Grammars, Applications and Systems: International Summer School Saga Prague, Czechoslovakia, June 4-13, 1991 Proceedings

G. Goos, J. Hartmanis, B. Melichar, 1991 .

Multiset Processing

J. van Leeuwen, G. Goos, J. Hartmanis, 2001, Lecture Notes in Computer Science.

Active Media Technology

J. van Leeuwen, G. Goos, J. Hartmanis, 2001, Lecture Notes in Computer Science.

Ada Software Tools Interfaces

G. Goos, J. Hartmanis, J. Hartmanis, 1984 .

Proceedings of the International Workshop on Experiences with Distributed Systems

G. Goos, J. Hartmanis, J. Hartmanis, 1988 .

Advances in Petri Nets 1988

Grzegorz Rozenberg, G. Goos, J. Hartmanis, 1987, Lecture Notes in Computer Science.

Compiler Construction: An Advanced Course

William M. Waite, Gerhard Goos, Peter C. Poole, 1974 .

Public-Key Cryptography State

Thomas Beth, G. Goos, J. Hartmanis, 1992 .

Neural Networks: Tricks of the Trade

J. van Leeuwen, J. Hartmanis, T. Kanade, 2002, Lecture Notes in Computer Science.

Membership in the Professional Technical Group on Electronic Computers

J. Hartmanis, 1963 .

Proceedings of the 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems on Uncertainty and intelligent systems

G. Goos, J. Hartmanis, J. Hartmanis, 1988 .

Solving Irregularly Structured Problems in Parallel

J. van Leeuwen, G. Goos, J. Hartmanis, 1998, Lecture Notes in Computer Science.