Leslie Lamport

Autor de LaTeX: A Document Preparation System

5+ Obras 725 Miembros 1 Reseña

Sobre El Autor

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 mostrar más Ph.D. in mathematics from Brandeis University, is a member of the National Academy of Engineering mostrar menos

Incluye los nombres: L. Lamport, レスリーランポート

Créditos de la imagen: 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.

Obras de Leslie Lamport

Popular Reciente

LaTeX: A Document Preparation System (1986) 685 copias

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

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

The Temporal Logic of Actions 1 copia

Paxos Made Simple 1 copia

Explorador de obras

Obras relacionadas

Parallelisme, en artikelsamling — Autor, algunas ediciones — 1 copia

Etiquetado

@office (3) Autoedición (4) Ciencia (3) computación (21) Computadora (19) computadoras (25) CS (3) document preparation (4) documentation (3) documents (3) Escritura (6) Estadística (3) Informática (21) Lenguajes de programación (4) Leslie Lamport (3) Libro de texto (3) Látex (96) Lógica (3) manual (6) Matemáticas (8) No ficción (35) office-sysadmin (4) Por leer (7) Programación (3) Programación (29) Q (3) QA (3) QA76 (3) QA76.9 (3) QA76.9.S88 (3) QA76.9.S88L35 (3) Referencia (21) Software (9) Tecnología (4) Temporal Logic of Actions (3) TeX (34) text processing (7) Tipografía (17) typesetting (36) técnico (5)