Páginas que enlazan con «Leslie Lamport»
Las siguientes páginas enlazan a Leslie Lamport:
Mostrando 30 elementos.
- LaTeX (← enlaces · editar)
- Premio Turing (← enlaces · editar)
- TeX (← enlaces · editar)
- Computación paralela (← enlaces · editar)
- Edsger Dijkstra (← enlaces · editar)
- Demostración matemática (← enlaces · editar)
- Paradojas de Zenón (← enlaces · editar)
- Algoritmo de la panadería de Lamport (← enlaces · editar)
- BibTeX (← enlaces · editar)
- Medalla John von Neumann (← enlaces · editar)
- Semántica de transformación de predicados (← enlaces · editar)
- Premio Dijkstra (← enlaces · editar)
- Museo de la Historia de la Computación (← enlaces · editar)
- Firma de Lamport-Diffie (← enlaces · editar)
- Algoritmo de Paxos (← enlaces · editar)
- Problema de los generales bizantinos (← enlaces · editar)
- Tolerancia a faltas bizantinas (← enlaces · editar)
- Tiempos lógicos de Lamport (← enlaces · editar)
- Algoritmo de Chandy-Lamport (← enlaces · editar)
- Sincronización distribuida de relojes (← enlaces · editar)
- Reloj vectorial (← enlaces · editar)
- Robert E. Shostak (← enlaces · editar)
- Composición de funciones (informática) (← enlaces · editar)
- Usuario:Elwikipedista/Lista de científicos de la Computación (← enlaces · editar)
- Usuario:Lloptor (← enlaces · editar)
- Usuario:Pau84/Lógica Temporal de Acciones (TLA) (← enlaces · editar)
- Wikipedia:Contenido por wikiproyecto/Informática/13 (← enlaces · editar)
- Wikipedia:Contenido por wikiproyecto/Informática/0 (← enlaces · editar)
- Anexo:Informáticos teóricos (← enlaces · editar)
- Anexo:Doctores honoris causa por la Universidad de Rennes 1 (← enlaces · editar)