Home Advanced Search

Advanced Search - Page 1

Distributed Operating Systems: Theory and Practice
  • PDF
  • English
  • Year: 1987
  • Author: Leslie Lamport (auth.), Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit (eds.)
Image Processing for Broadcast and Video Production: Proceedings of the European Workshop on Combined Real and Synthetic Image Processing for Broadcast and Video Production, Hamburg, 23–24 November 1994
  • PDF
  • English
  • Year: 1995
  • Author: Laurent Blondé (auth.), Yakup Paker PhD, MBCS, CEng, Sylvia Wilbur BA, MSc (eds.)
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
  • PDF
  • English
  • Year: 1989
  • Author: Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)
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.)
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
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.)
search