VIAF

Virtual International Authority File

Search

Lamport, Leslie. German National Library National Library of Poland NII (Japan) National Diet Library, Japan ISNI Library of Congress/NACO NUKAT Center of Warsaw University Library

Lamport, Leslie, 1924-.... Sudoc [ABES], France National Library of France

Leslie Lamport American computer scientist Wikidata

VIAF ID: 44417132 (Personal)

Permalink: http://viaf.org/viaf/44417132

ISNI: 0000  0000  6307  3806 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (20)

Open Section Close SectionWorks

Title Sources
Bunsho shori shisutemu LATEX 2 ipushiron National Diet Library, Japan
Constructing digital signatures from a one-way function Wikidata
Interprocess Communication final report for ONR Project N00014-84-C-0621 Sudoc [ABES], France
LaTeX National Library of Poland National Diet Library, Japan NUKAT Center of Warsaw University Library Library of Congress/NACO NII (Japan)
LATEX a document preparation system user's guide and reference manual Sudoc [ABES], France National Library of Poland National Library of France Library of Congress/NACO NUKAT Center of Warsaw University Library
LATEX : system opracowywania dokumentów : podręcznik i przewodnik użytkownika National Library of Poland NUKAT Center of Warsaw University Library
n85197221 National Diet Library, Japan
Specifying systems The TLA+ language and tools for hardware and software engineers Sudoc [ABES], France NUKAT Center of Warsaw University Library
文書処理システムLATEX2ε National Diet Library, Japan NII (Japan)

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

Open Section Close Section About

Open Section Close Section History of VIAF ID:44417132 (15)