کتاب های Lamport.
درباره نویسنده


Distributed Operating Systems: Theory and Practice
Leslie Lamport (auth.), Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit (eds.), 1987
Draft LaTeX manual (TeX source).tar
Lamport., 1984
LaTeX, a document preparation system
Leslie Lamport, 1994
LaTeX: A Document Preparation System
Leslie Lamport, 1994
LaTeX: a document-preparation system
Leslie Lamport, 1994
Test File
Lamport L., 1984
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.), 1992
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1990
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.), 1989
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.), 1989
LATEX : a document preparation system
Leslie Lamport, 1994
LaTeX: A Document Preparation System
Leslie Lamport, 1994
LaTeX: A Document Preparation System, Second Edition
Leslie Lamport, 1994
LaTeX: User's Guide and Reference Manual.A Document Preparation System
Leslie Lamport, 1994
Specifying systems: errata
Lamport L., 2010
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Leslie Lamport, 2002
The Philosophical Legacy of Behaviorism
Michael Lamport Commons, 1999
How to Write a 21st Century Proof
Leslie Lamport, 2011
Encyclopedia of Martin Luther and the Reformation. Vol. 1. A-L. Vol. 2. M-Z
Mark A Lamport (ed.), 2017