Juris Hartmanis : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (106)
Les plus populaires
Liste
- Liste
- Tableau

[Lecture Notes in Computer Science] Information Security Volume 1975 ||

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Pieprzyk, Josef, Seberry, Jennifer, Okamoto, Eiji

Année:

2000

Fichier:

PDF, 11.70 MB

2000

[Lecture Notes in Computer Science] Information Security Volume 1975 || Classification of Authentication Protocols: A Practical Approach

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Pieprzyk, Josef, Seberry, Jennifer, Okamoto, Eiji

Année:

2000

Langue:

english

Fichier:

PDF, 131 KB

english, 2000

[Lecture Notes in Computer Science] Information Security Volume 1975 || Region-Based Watermarking by Distribution Adjustment

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Pieprzyk, Josef, Seberry, Jennifer, Okamoto, Eiji

Année:

2000

Langue:

english

Fichier:

PDF, 446 KB

english, 2000

[Lecture Notes in Computer Science] Graph-Theoretic Concepts in Computer Science Volume 2573 || Weighted Node Coloring: When Stable Sets Are Expensive

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Kučera, Luděk

Année:

2002

Langue:

english

Fichier:

PDF, 690 KB

english, 2002

[Lecture Notes in Computer Science] Algorithms and Computation Volume 1969 || Simple Algorithms for a Weighted Interval Selection Problem

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Lee, D. T., Teng, Shang-Hua

Année:

2000

Langue:

english

Fichier:

PDF, 131 KB

english, 2000

[Lecture Notes in Computer Science] Algorithms and Computation Volume 1969 ||

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Lee, D. T., Teng, Shang-Hua

Année:

2000

Langue:

english

Fichier:

PDF, 4.19 MB

english, 2000

[Lecture Notes in Computer Science] Algorithms and Computation Volume 1969 || Efficient Minus and Signed Domination in Graphs

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Lee, D. T., Teng, Shang-Hua

Année:

2000

Langue:

english

Fichier:

PDF, 203 KB

english, 2000

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Using lattice theory in higher order logic

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 792 KB

english, 1996

[Lecture Notes in Computer Science] Algorithms and Computation Volume 1969 || An Approximate Algorithm for the Weighted Hamiltonian Path Completion Problem on a Tree

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Lee, D. T., Teng, Shang-Hua

Année:

2000

Langue:

english

Fichier:

PDF, 178 KB

english, 2000

[Lecture Notes in Computer Science] Graph-Theoretic Concepts in Computer Science Volume 2573 || On the b-Chromatic Number of Graphs

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Kučera, Luděk

Année:

2002

Langue:

english

Fichier:

PDF, 582 KB

english, 2002

[Lecture Notes in Computer Science] The World Wide Web and Databases Volume 1997 || Evaluating Queries on Structure with eXtended Access Support Relations

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Suciu, Dan, Vossen, Gottfried

Année:

2001

Langue:

english

Fichier:

PDF, 140 KB

english, 2001

[Lecture Notes in Computer Science] Algorithms and Computation Volume 1969 || A Simple and Quick Approximation Algorithm for Traveling Salesman Problem in the Plane

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Lee, D. T., Teng, Shang-Hua

Année:

2000

Langue:

english

Fichier:

PDF, 721 KB

english, 2000

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 2002 || Functional and Constraint Logic Programming

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Comon, Hubert, Marché, Claude, Treinen, Ralf

Année:

2001

Langue:

english

Fichier:

PDF, 527 KB

english, 2001

Computing the future: committee to assess the scope and direction of computer science and technology for the National Research Council

Hartmanis, Juris

Journal:

Communications of the ACM

Année:

1992

Langue:

english

Fichier:

PDF, 1.41 MB

english, 1992

[ACM Press the 1993 ACM conference - Indianapolis, Indiana, United States (1993.02.16-1993.02.18)] Proceedings of the 1993 ACM conference on Computer science - CSC '93 - Computing the future

Lin, Herbert S., Hartmanis, Juris, Rice, John, Lowengrub, Morton

Année:

1993

Langue:

english

Fichier:

PDF, 61 KB

english, 1993

Separation of complexity classes

Hartmanis, Juris

Journal:

Journal of the ACM

Année:

2003

Langue:

english

Fichier:

PDF, 35 KB

english, 2003

Feasible Computations and Provable Complexity Properties || Front Matter

Hartmanis, Juris

Année:

1989

Langue:

english

Fichier:

PDF, 156 KB

english, 1989

Feasible Computations and Provable Complexity Properties || 3. L-Isomorphisms of Complete Sets

Hartmanis, Juris

Année:

1989

Langue:

english

Fichier:

PDF, 328 KB

english, 1989

Feasible Computations and Provable Complexity Properties || 2. Reductions and Complete Sets

Hartmanis, Juris

Année:

1989

Langue:

english

Fichier:

PDF, 436 KB

english, 1989

Feasible Computations and Provable Complexity Properties || 6. What Can and Cannot Be Proven about Computational Complexity

Hartmanis, Juris

Année:

1989

Langue:

english

Fichier:

PDF, 595 KB

english, 1989

Feasible Computations and Provable Complexity Properties || 5. Long Proofs of Trivial Theorems

Hartmanis, Juris

Année:

1989

Langue:

english

Fichier:

PDF, 431 KB

english, 1989

Feasible Computations and Provable Complexity Properties || 4. Structure of Complete Sets

Hartmanis, Juris

Année:

1989

Langue:

english

Fichier:

PDF, 272 KB

english, 1989

Feasible Computations and Provable Complexity Properties || Back Matter

Hartmanis, Juris

Année:

1989

Langue:

english

Fichier:

PDF, 115 KB

english, 1989

Feasible Computations and Provable Complexity Properties || 7. Relativized Problem

Hartmanis, Juris

Année:

1989

Langue:

english

Fichier:

PDF, 203 KB

english, 1989

Feasible Computations and Provable Complexity Properties || 1. Introduction

Hartmanis, Juris

Année:

1989

Langue:

english

Fichier:

PDF, 148 KB

english, 1989

Two Embedding Theorems for Finite Lattices

Juris Hartmanis

Journal:

Proceedings of the American Mathematical Society

Année:

1956

Langue:

english

Fichier:

PDF, 236 KB

english, 1956

Logic, Automata, and Algorithms.by Mark A. Aisermann; Leonid A. Gusev; Lev I. Rozonoer; Irena M. Smirnova; Aleksey A. Tal'

Review by: Juris Hartmanis

Journal:

SIAM Review

Année:

1972

Langue:

english

Fichier:

PDF, 296 KB

english, 1972

A note on the lattice of geometries

Hartmanis, Juris

Journal:

Proceedings of the American Mathematical Society

Année:

1957

Langue:

english

Fichier:

PDF, 266 KB

english, 1957

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Coq and hardware verification: A case study

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 732 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Program derivation using the refinement calculator

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 802 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Improving the result of high-level synthesis using interactive transformational design

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 781 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A mechanisation of computability theory in HOL

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 753 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A modular coding of UNITY in COQ

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 707 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Proving liveness of fair transition systems

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 966 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Set theory, higher order logic or both?

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 644 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Five axioms of alpha-conversion

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 827 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Modeling a hardware synthesis methodology in isabelle

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 992 KB

english, 1996

Lattice theory of generalized partitions

Hartmanis, Juris

Journal:

Canadian Journal of Mathematics

Année:

1959

Langue:

english

Fichier:

PDF, 1.05 MB

english, 1959

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A proof tool for reasoning about functional programs

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 765 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Elements of mathematical analysis in PVS

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 810 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Towards applying the composition principle to verify a microkernel operating system

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 920 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A structure preserving encoding of Z in isabelle/HOL

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 867 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Stålmarck’s algorithm as a HOL derived rule

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 693 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Translating specifications in VDM-SL to PVS

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 799 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Inference rules for programming languages with side effects in expressions

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 490 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Deciding cryptographic protocol adequacy with HOL: The implementation

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 955 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Formal verification of algorithm W: The monomorphic case

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 779 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Importing mathematics from HOL into Nuprl

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 806 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Higher-order annotated terms for proof search

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 745 KB

english, 1996

100

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Verification of compiler correctness for the WAM

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Année:

1996

Langue:

english

Fichier:

PDF, 739 KB

english, 1996