Juris Hartmanis

Juris Hartmanis (2002) miniatur|Juris Hartmanis (2002)

Juris Hartmanis (* 5. Juli 1928 in Riga, Lettland; † 29. Juli 2022) war ein lettisch-US-amerikanischer Informatiker, der gemeinsam mit Richard E. Stearns 1993 den Turing Award für seine Forschungsleistungen auf dem Gebiet der Komplexitätstheorie erhielt. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 48 für Suche 'Hartmanis, Juris', Suchdauer: 0,08s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Computing the future : a broader agenda for computer science and engineering /

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

    Veröffentlicht 1992
    Weitere Verfasser: “… Hartmanis, Juris …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Proceedings of the eighteenth annual ACM symposium on Theory of computing

    Proceedings of the eighteenth annual ACM symposium on Theory of computing von Hartmanis, Juris

    Veröffentlicht 1986
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Generalized Kolmogorov complexity and the structure of feasible computations

    Generalized Kolmogorov complexity and the structure of feasible computations von Hartmanis, Juris

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Feasible computations and provable complexity properties

    Feasible computations and provable complexity properties von Hartmanis, Juris 1928-2022

    Veröffentlicht 1978
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Relations between diagonalization, proof systems, and complexity gaps

    Relations between diagonalization, proof systems, and complexity gaps von Hartmanis, Juris

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    On log-tape isomorphisms of complete sets

    On log-tape isomorphisms of complete sets von Hartmanis, Juris

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Independence results in computer science

    Independence results in computer science von Hartmanis, Juris, Hopcroft, John E. 1939-

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A note on tape bounds for SLA language processing

    A note on tape bounds for SLA language processing von Hartmanis, Juris, Berman, L.

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    On simple Goedel numberings and translations

    On simple Goedel numberings and translations von Hartmanis, Juris, Baker, Theodore P.

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Complexity of formal translations and speed-up results

    Complexity of formal translations and speed-up results von Constable, Robert Lee 1952-, Hartmanis, Juris

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Complexity classes without machines on complete languages for UP

    Complexity classes without machines on complete languages for UP von Hartmanis, Juris, Hemachandra, Lane

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    On sparse oracles separating feasible complexity classes

    On sparse oracles separating feasible complexity classes von Hartmanis, Juris, Hemachandra, Lane

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Sparse sets on NP-P: EXPTIME versus NEXPTIME

    Sparse sets on NP-P: EXPTIME versus NEXPTIME von Hartmanis, Juris, Sewelson, Vivian D., Immerman, Neil 1953-

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Computation times of NP sets of different densities

    Computation times of NP sets of different densities von Hartmanis, Juris, Yesha, Yaacov

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    On the structure of feasible computations

    On the structure of feasible computations von Hartmanis, Juris

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    A note on natural creative sets and Goedel numberings

    A note on natural creative sets and Goedel numberings von Hartmanis, Juris

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Languages simultaneously complete for one-way and two-way log-tape automata

    Languages simultaneously complete for one-way and two-way log-tape automata von Hartmanis, Juris R., Mahaney, Stephen R.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    On census complexity and sparseness of NP complete sets

    On census complexity and sparseness of NP complete sets von Hartmanis, Juris, Mahaney, Stephen R.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    An essay about research on sparse NP complete sets

    An essay about research on sparse NP complete sets von Hartmanis, Juris, Mahaney, Stephen R.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Feasible computations and provable complexity properties

    Feasible computations and provable complexity properties von Hartmanis, Juris

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: