Home Advanced Search

Advanced Search - Page 1

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineering
  • PDF
  • English
  • Year: 2002
  • Author: Lamport L.
Specifying systems: errata
  • PDF
  • English
  • Year: 2010
  • Author: Lamport L.
Test File
  • PDF
  • English
  • Year: 1984
  • Author: Lamport L.
Draft LaTeX manual (TeX source).tar
  • BZ2
  • English
  • Year: 1984
  • Author: Lamport.
CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings
  • PDF
  • English
  • Year: 1988
  • Author: L. Lamport (auth.), Frederich H. Vogt (eds.)
CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings
  • DJVU
  • English
  • Year: 1988
  • Author: L. Lamport (auth.), Frederich H. Vogt (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, 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
search