Author books / Книги автора Leslie Lamport » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Leslie Lamport

book The LaTeX companions. Bind 4 : LaTeX : a document preparation system, user’s guide and reference manual (Bookmarked)

The LaTeX companions. Bind 4 : LaTeX : a document preparation system, user’s guide and reference manual (Bookmarked)

pdf

Author: Leslie Lamport
Language: English
Year: 2001

00

31.01.2024

0

0

book How to Write a 21st Century Proof

How to Write a 21st Century Proof

pdf

Author: Leslie Lamport
Language: English
Year: 2011

00

28.01.2024

0

0

book Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

pdf

Author: Marcos K. Aguilera Eli Gafni Leslie Lamport (auth.) Gadi Taubenfeld (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

pdf

Author: Manfred Broy Leslie Lamport (auth.) Manfred Broy Stephan Merz Katharina Spies (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

pdf

Author: Martín Abadi Leslie Lamport (auth.) J. W. de Bakker C. Huizing W. P. de Roever G. Rozenberg (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0

book Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

pdf

Author: Martín Abadi Leslie Lamport (auth.) J. W. de Bakker W. -P. de Roever G. Rozenberg (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

pdf

Author: Martín Abadi Leslie Lamport Pierre Wolper (auth.) Giorgio Ausiello Mariangiola Dezani-Ciancaglini Simonetta Ronchi Della Rocca (eds.)
Language: English
Year: 1989

00

27.01.2024

0

0

book Distributed Operating Systems: Theory and Practice

Distributed Operating Systems: Theory and Practice

pdf

Author: Leslie Lamport (auth.) Yakup Paker Jean-Pierre Banatre Müslim Bozyiğit (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0

book Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

pdf

Author: Leslie Lamport (auth.) Gregor von Bochmann David Karl Probst (eds.)
Language: English
Year: 1993

00

27.01.2024

0

0

book LATEX : a document preparation system

LATEX : a document preparation system

djvu

Author: Leslie Lamport, illustrations by Duane Bibby
Language: English
Year: 1994

00

27.01.2024

0

0