Suchergebnisse - Karp, Richard

  • Treffer 1 – 8 von 8
Treffer filtern
  1. 1
    Buchumschlag

    A survey of parallel algorithms for shared-memory machines
    von Karp, Richard M. 1935-, Ramachandran, Vijaya

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Proving operating systems correct
    von Karp, Richard A. 1944-

    Veröffentlicht 1983
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    A linear algorithm for testing equivalence of finite automata: J. E. Hopcroft ; R. M. Karp
    von Hopcroft, John E. 1939-, Karp, Richard M. 1935-

    Veröffentlicht 1971
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Monte-Carlo approximation algorithms for enumeration problems
    von Karp, Richard, Luby, Michael, Madras, Neal Noah 1957-

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Probabilistic analysis of combinatorial algorithms: an annotated bibliography
    von Karp, Richard M. 1935-, Lenstra, J.K, McDiarmid, C.J.H, Rinnooy Kan, A. H. G. 1949-

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Efficient PRAM simulation on a distributed memory machine
    von Karp, Richard M. 1935-, Luby, Michael, Meyer auf der Heide, Friedhelm 1954-

    Veröffentlicht 1996
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    On linear characterizations of combinatorial optimization problems
    von Karp, Richard M. 1935-, Papadimitriou, Christos H. 1949-

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Proving concurrent systems correct
    von Karp, Richard A. 1944-

    Veröffentlicht 1979
    Hochschulschrift/Dissertation Microform Buch


    Gespeichert in:

Suchwerkzeuge: