The following pages link to Leslie Lamport
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Alan Kay (links | edit)
- List of computer scientists (links | edit)
- Digital Equipment Corporation (links | edit)
- Douglas Engelbart (links | edit)
- Donald Knuth (links | edit)
- Dennis Ritchie (links | edit)
- Edsger W. Dijkstra (links | edit)
- List of programmers (links | edit)
- Fred Brooks (links | edit)
- Herbert A. Simon (links | edit)
- LaTeX (links | edit)
- Marvin Minsky (links | edit)
- Niklaus Wirth (links | edit)
- Timeline of programming languages (links | edit)
- Regular semantics (links | edit)
- Safe semantics (links | edit)
- Tim Berners-Lee (links | edit)
- TeX (links | edit)
- Turing Award (links | edit)
- Vint Cerf (links | edit)
- Zeno's paradoxes (links | edit)
- Dekker's algorithm (links | edit)
- Stephen Cook (links | edit)
- Tony Hoare (links | edit)
- Thread (computing) (links | edit)
- Dijkstra's algorithm (links | edit)
- Robert Tarjan (links | edit)
- Adi Shamir (links | edit)
- Peter Naur (links | edit)
- Digital signature (links | edit)
- Ole-Johan Dahl (links | edit)
- Ron Rivest (links | edit)
- John Backus (links | edit)
- Marlboro College (links | edit)
- Kristen Nygaard (links | edit)
- Butler Lampson (links | edit)
- Ivan Sutherland (links | edit)
- Brandeis University (links | edit)
- Robin Milner (links | edit)
- Edgar F. Codd (links | edit)
- Richard Hamming (links | edit)
- Alfred Aho (links | edit)
- Dana Scott (links | edit)
- Typesetting (links | edit)
- Edwin Catmull (links | edit)
- BibTeX (links | edit)
- Leonard Adleman (links | edit)
- Kenneth E. Iverson (links | edit)
- Allen Newell (links | edit)
- Robert Metcalfe (links | edit)