Leslie Lamport

Autor von Das LaTeX-Handbuch .

5+ Werke 723 Mitglieder 1 Rezension

Über den Autor

Leslie Lamport, a computer scientist, is well known for his contributions to concurrent computing and distributed systems. Now at Microsoft Research in Mountain View, California, he began his work on TLA+ at the Digital (later Compaq) Systems Research Center in Palo Alto. Lamport, who earned his mehr anzeigen Ph.D. in mathematics from Brandeis University, is a member of the National Academy of Engineering weniger anzeigen

Beinhaltet die Namen: L. Lamport, レスリーランポート

Bildnachweis: Taken from http://commons.wikimedia.org/wiki/File:Leslie_Lamport.jpg where further information may be obtained, including an e-mail by Leslie Lamport authorizing irrestricted use of the picture.

Werke von Leslie Lamport

Beliebt Zuletzt

Das LaTeX-Handbuch . (1986) 683 Exemplare

Specifying Systems: The TLA Language and Tools for Hardware and Software Engineers (2002) 35 Exemplare

The LaTex Companions: Basic, Advanced, Graphics, Web (2002) 3 Exemplare

The Temporal Logic of Actions 1 Exemplar

Paxos Made Simple 1 Exemplar

Informationen zu Werken

Zugehörige Werke

Parallelisme, en artikelsamling — Autor, einige Ausgaben — 1 Exemplar

Getagged

Computer (25) Computer (19) CS (3) Desktop-Publishing (4) document preparation (4) Dokumentation (3) Dokumente (3) im Büro (3) Informatik (21) Informatik (21) Lehrbuch (3) Leslie Lamport (3) Logik (3) Manual (6) Mathematik (8) Milchsaft (96) Nachschlagewerk (21) noch zu lesen (7) office-sysadmin (4) Programmiersprachen (4) Programmierung (3) Programmierung (29) Q (3) QA (3) QA76 (3) QA76.9 (3) QA76.9.S88 (3) QA76.9.S88L35 (3) Sachbuch (35) Satz (36) Schreiben (6) Software (9) Statistik (3) technisch (5) Technologie (4) Temporale Logik der Aktionen (3) Tex (34) text processing (7) Typografie (17) Wissenschaft (3)