Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.)
Concepts for Distributed Systems Design
  • PDF
  • English
  • Year: 1983
  • Author: Professor Dr. Gregor von Bochmann (auth.)
Architecture of Distributed Computer Systems
  • PDF
  • English
  • Year: 1979
  • Author: Gregor v. Bochmann (eds.)
The LaTeX companions. Bind 4 : LaTeX : a document preparation system, user’s guide and reference manual (Bookmarked)
  • PDF
  • English
  • Year: 2001
  • Author: Leslie Lamport
LaTeX: User's Guide and Reference Manual.A Document Preparation System
  • PDF
  • English
  • Year: 1994
  • Author: Leslie Lamport
LaTeX: a document-preparation system
  • DJVU
  • English
  • Year: 1994
  • Author: Leslie Lamport
LaTeX, a document preparation system
  • DJVU
  • English
  • Year: 1994
  • Author: Leslie Lamport
Distributed Operating Systems: Theory and Practice
  • PDF
  • English
  • Year: 1987
  • Author: Leslie Lamport (auth.), Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • DJVU
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • PDF
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
search