Home Advanced Search

Advanced Search - Page 1

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, a document preparation system
  • DJVU
  • English
  • Year: 1994
  • 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
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
  • PDF
  • English
  • Year: 2002
  • Author: Leslie Lamport
LATEX : a document preparation system
  • DJVU
  • English
  • Year: 1994
  • Author: Leslie Lamport ; illustrations by Duane Bibby
Draft LaTeX manual (TeX source).tar
  • BZ2
  • English
  • Year: 1984
  • Author: Lamport.
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.)
Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.)
Distributed Operating Systems: Theory and Practice
  • PDF
  • English
  • Year: 1987
  • Author: Leslie Lamport (auth.), Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit (eds.)
search