
Wenn du Leslie Lamport magst, lies diese Autoren
1941– · US-amerikanischer Mathematiker, Informatiker und Programmierer
Auch bekannt als: Leslie B. Lamport, Leslie Barry Lamport, Лесли Лэмпорт, ليسلي لامبورت, 레슬리 램포트, レスリー・ランポート
Ähnliche Autorinnen und Autoren
Diese Liste stammt aus einer KI und noch nicht aus Leserdaten. Sobald genug Leser Leslie Lamport mögen, ersetzen ihre Daten die KI-Vorschläge.
- Edsger Wybe Dijkstra1930–2002MeldenKI-Vorschlag, noch ohne Leserdaten
Rigorous, formal approach to program correctness and concurrency written with precise, opinionated clarity. (KI-Begründung, englisch)
Donald E. Knuth1938–MeldenKI-Vorschlag, noch ohne LeserdatenMathematical exposition of algorithms and typesetting (TeX), closely tied to LaTeX's foundations. (KI-Begründung, englisch)
Tony Hoare1934–2026MeldenKI-Vorschlag, noch ohne LeserdatenFormal reasoning about programs and concurrent processes via Hoare logic and CSP. (KI-Begründung, englisch)
- Nancy LynchMeldenKI-Vorschlag, noch ohne Leserdaten
Formal treatment of distributed algorithms and impossibility results. (KI-Begründung, englisch)
- Robin MilnerMeldenKI-Vorschlag, noch ohne Leserdaten
Mathematical theories of concurrency and communicating systems. (KI-Begründung, englisch)
Alle 10 zeigen
Martin Kleppmann2000–MeldenKI-Vorschlag, noch ohne LeserdatenAccessible explanation of distributed data systems, consensus and consistency. (KI-Begründung, englisch)
- Jim GrayMeldenKI-Vorschlag, noch ohne Leserdaten
Foundational writing on transactions and fault-tolerant distributed systems. (KI-Begründung, englisch)
Wähle Leslie Lamport und ein paar weitere Lieblingsautoren aus und bekomme Vorschläge, die zu dir passen.
Eigene Vorschläge bekommenBekannte Werke
- LATEX
- Specifying systems
- Latex Document Preparation System Users
- Latex Companions
- Empty Box for the LaTeX Companions Boxed Set