Leslie Lamport

Teoksen LaTeX: A Document Preparation System tekijä

4+ teosta 720 jäsentä 1 Review

Tietoja tekijästä

Leslie Lamport, a computer scientist, is well known for his contributions to concurrent computing and distributed systems. Now at Microsoft Research in Mountain View, California, he began his work on TLA+ at the Digital (later Compaq) Systems Research Center in Palo Alto. Lamport, who earned his näytä lisää Ph.D. in mathematics from Brandeis University, is a member of the National Academy of Engineering näytä vähemmän

Sisältää nimet: L. Lamport, レスリーランポート

Image credit: Taken from http://commons.wikimedia.org/wiki/File:Leslie_Lamport.jpg where further information may be obtained, including an e-mail by Leslie Lamport authorizing irrestricted use of the picture.

Tekijän teokset

Suositut Viimeksi

LaTeX: A Document Preparation System (1986) 681 kappaletta

Specifying Systems: The TLA Language and Tools for Hardware and Software Engineers (2002) 35 kappaletta

The LaTex Companions: Basic, Advanced, Graphics, Web (2002) 3 kappaletta

The Temporal Logic of Actions 1 kappale

Work Explorer

Associated Works

Parallelisme, en artikelsamling — Tekijä, eräät painokset — 1 kappale

Merkitty avainsanalla

@office (3) computing (21) Cs (3) document preparation (4) documents (3) Dokumentointi (3) Julkaisuohjelma (4) kirjoittaminen (6) Latex (96) Leslie Lamport (3) Logiikka (3) luettavaksi (7) Manuaalinen (6) Matematiikka (8) office-sysadmin (4) Ohjelmisto (9) Ohjelmointi (3) ohjelmointi (29) oppikirja (3) programming languages (4) Q (3) QA (3) QA76 (3) QA76.9 (3) QA76.9.S88 (3) QA76.9.S88L35 (3) technical (5) Teknologia (4) Temporal Logic of Actions (3) Tex (34) text processing (7) Tiede (3) Tietojenkäsittelytiede (21) Tietokirjallisuus (35) Tietokone (19) tietokoneet (25) Tilastotiede (3) typesetting (36) Typografia (17) viittaus (21)