VIAF

Virtual International Authority File

Search

Lamport, Leslie. National Library of Poland Library of Congress/NACO ISNI-test National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Diet Library, Japan

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-test: 0000  0000  6307  3806 

Open Section Close Section Preferred Forms

 

 

 

 

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

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, 1985: NUKAT Center of Warsaw University Library National Library of Poland Library of Congress/NACO National Diet Library, Japan
LATEX : a document preparation system : user's guide and reference manual National Library of Poland Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of France
LaTeX : system opracowywania dokumentów : podręcznik i przewodnik użytkownika NUKAT Center of Warsaw University Library National Library of Poland
Specifying systems : the TLA + language and tools for hardware and software engineers NUKAT Center of Warsaw University Library Sudoc [ABES], France
Temporal logic of actions xR Extended Titles-test
文書処理システムLATEX 2ε National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries 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 (33)