Department
Any Department
Books (36)
 
Shipping Option
(What's this?)
Any Shipping Option
Prime Eligible Eligible
Free Super Saver Shipping
  
 
 

Listmania!




Create a Listmania! list

 
     

"leslie lamport"

 
 
Select Results from All Departments
Choose a Department to enable sorting
 
1. 
Product Details
LaTeX: A Document Preparation System (2nd Edition) by Leslie Lamport (Paperback - July 10, 1994)
Buy new: $49.99 $37.34    62 Used & new from $17.92
Get it by Wednesday, Feb. 10 if you order in the next 32 minutes and choose one-day shipping.
Eligible for FREE Super Saver Shipping.
3.5 out of 5 stars   (29)
Books: See all 36 items
2. 
Product Details
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers by Leslie Lamport (Paperback - July 29, 2002)
Buy new: $44.99 $39.32    22 Used & new from $32.95
Get it by Wednesday, Feb. 10 if you order in the next 1 hour and choose one-day shipping.
Eligible for FREE Super Saver Shipping.
Books: See all 36 items
3. 
Product Details
Latex Document Preparation System Users by Leslie Lamport (Paperback - Oct. 1985)
26 Used & new from $0.13
Books: See all 36 items
4. 
Product Details
The LaTeX Companion (Tools and Techniques for Computer Typesetting) by Frank Mittelbach, Michel Goossens, Johannes Braams, and David Carlisle (Paperback - May 2, 2004)
Buy new: $69.99 $54.59    43 Used & new from $39.98
Get it by Wednesday, Feb. 10 if you order in the next 1 hour and choose one-day shipping.
Eligible for FREE Super Saver Shipping.
4.5 out of 5 stars   (28)
Books: See all 36 items
5. 
Product Details
Synchronizing time servers (Technical report. Digital Equipment Corporation. Systems Research Center) by Leslie Lamport (Unknown Binding - 1987)
1 Used & new from $19.95
Books: See all 36 items
6. 
Product Details
A theorem on atomicity in distributed algorithms (Technical report. Digital Equipment Corporation. Systems Research Center) by Leslie Lamport (Unknown Binding - 1988)
1 Used & new from $79.99
Books: See all 36 items
7. 
Product Details
Concurrent reading and writing of clocks (Technical report. Digital Equipment Corporation. Systems Research Center) by Leslie Lamport (Unknown Binding - 1988)
1 Used & new from $19.95
Books: See all 36 items
8. 
Product Details
TLA in pictures (SRC research report) by Leslie Lamport (Unknown Binding - 1994)
Out of Print--Limited Availability
Books: See all 36 items
9. 
Product Details
Should your specification language be typed? (SRC research report) by Leslie Lamport (Unknown Binding - 1997)
Out of Print--Limited Availability
Books: See all 36 items
10. 
Product Details
On interprocess communication (SRC reports) by Leslie Lamport (Unknown Binding - 1985)
Out of Print--Limited Availability
Books: See all 36 items
11. 
Product Details
Empty Box Latex Comp Box by Michel Goossens, Leslie Lamport, Frank Mittelbach, and Sebastian Rahtz (Paperback - Feb. 28, 2005) - Import
Currently unavailable
Books: See all 36 items
12. 
Product Details
Latex Companions: Marketing Insert for Boxed Set by Michel Goossens, Leslie Lamport, Frank Mittelbach, and Sebastian Rahtz (Paperback - May 14, 2004) - Import
Currently unavailable
Books: See all 36 items
13. 
Product Details
How to write a proof (SRC research reports) by Leslie Lamport (Unknown Binding - 1993)
Out of Print--Limited Availability
Books: See all 36 items
14. 
Product Details
How to make a correct multiprocess program execute correctly on a multiprocessor (SRC research reports) by Leslie Lamport (Unknown Binding - 1993)
Out of Print--Limited Availability
Books: See all 36 items
15. 
Product Details
How to write a long formula (SRC research report) by Leslie Lamport (Unknown Binding - 1993)
Out of Print--Limited Availability
Books: See all 36 items
16. 
Product Details
Processes are in the eye of the beholder (SRC research report) by Leslie Lamport (Unknown Binding - 1994)
Out of Print--Limited Availability
Books: See all 36 items
 
 
« Previous|Page:1 2 3 |Next »
 

Search powered by A9


Your Recent History

 (What's this?)
 

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.