Suchergebnisse - Lamport, Leslie 1941-

Leslie Lamport

Leslie Lamport miniatur|Leslie Lamport

Leslie Lamport (* 7. Februar 1941 in New York) ist ein US-amerikanischer Mathematiker, Informatiker und Programmierer. 2013 erhielt er den Turing Award für seine Beiträge zur Theorie und Praxis verteilter und nebenläufiger Systeme. Veröffentlicht in Wikipedia
Treffer filtern
  1. 1
    Buchumschlag

    Latex: a document preparation system user's guide and reference manual
    von Lamport, Leslie 1941-

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    LATEX: a document preparation system ; user's guide and reference manual
    von Lamport, Leslie 1941-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    TLA in pictures
    von Lamport, Leslie 1941-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    The "Hoare logic" of CSP, and all that
    von Lamport, Leslie 1941-, Schneider, Fred B.

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Das Latex-Handbuch
    von Lamport, Leslie 1941-

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Conjoining specifications
    von Abadi, Martín 1963-, Lamport, Leslie 1941-

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    How to write a long formula
    von Lamport, Leslie 1941-

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    The temporal logic of actions
    von Lamport, Leslie 1941-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    LATEX: a document preparation system
    von Lamport, Leslie 1941-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    LATEX: a document preparation system ; [user's guide & reference manual]
    von Lamport, Leslie 1941-

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Das Latex-Handbuch
    von Lamport, Leslie 1941-

    Veröffentlicht 2002
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Proving possibility properties
    von Lamport, Leslie 1941-

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    LATEX: a document preparation system ; user's guide and reference manual
    von Lamport, Leslie 1941-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Composing specifications
    von Abadi, Martín 1963-, Lamport, Leslie 1941-

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    LATEX: a document preparation system
    von Lamport, Leslie 1941-

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Constraints: a uniform approach to aliasing and typing
    von Lamport, Leslie 1941-, Schneider, Fred B.

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    LATEX: a document preparation system user's guide and reference manual
    von Lamport, Leslie 1941-

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Latex: a document preparation system user's guide and reference manual
    von Lamport, Leslie 1941-

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    LATEX: a document preparation system
    von Lamport, Leslie 1941-

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Das Latex-Handbuch
    von Lamport, Leslie 1941-

    Veröffentlicht 1999
    Buch


    Gespeichert in:

Suchwerkzeuge: