Browse Books: Computers / Machine Theory

Algorithms - ESA 2000: 8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings (Lecture Notes in Computer Science #1879) Cover Image
By Mike Paterson (Editor)
$167.70
Usually Arrives at Kepler's in 3-14 Days
Integrated Formal Methods: Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science #1945) Cover Image
By Wolfgang Grieskamp (Editor), Thomas Santen (Editor), Bill Stoddart (Editor)
$167.70
Usually Arrives at Kepler's in 3-14 Days
Algorithmic Learning Theory: 11th International Conference, Alt 2000 Sydney, Australia, December 11-13, 2000 Proceedings Cover Image
By Hiroki Arimura (Editor), Sanjay Jain (Editor), Arun Sharma (Editor)
$128.70
Usually Arrives at Kepler's in 3-14 Days
Randomness and Completeness in Computational Complexity (Lecture Notes in Computer Science #1950) Cover Image
$128.70
Usually Arrives at Kepler's in 3-14 Days
Applications and Theory of Petri Nets 2001: 22nd International Conference, Icatpn 2001 Newcastle Upon Tyne, Uk, June 25-29, 2001 Proceedings (Lecture Notes in Computer Science #2075) Cover Image
By Jose-Manuel Colom (Editor), Maciej Koutny (Editor)
$141.70
Usually Arrives at Kepler's in 3-14 Days
Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques: 4th International Workshop on Approximation Algorithms for Com (Lecture Notes in Computer Science #2129) Cover Image
By Michel Goemans (Editor), Klaus Jansen (Editor), Jose D. P. Rolim (Editor)
$128.70
Usually Arrives at Kepler's in 3-14 Days
Lectures on Formal Methods and Performance Analysis: First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7 (Lecture Notes in Computer Science #2090) Cover Image
By Ed Brinksma (Editor), Holger Hermanns (Editor), Joost-Pieter Katoen (Editor)
$103.94
Usually Arrives at Kepler's in 3-14 Days
Mathematical Foundations of Computer Science 2001: 26th International Symposium, Mfcs 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 Proceed (Lecture Notes in Computer Science #2136) Cover Image
By Jiri Sgall (Editor), Ales Pultr (Editor), Petr Kolman (Editor)
$219.70
Usually Arrives at Kepler's in 3-14 Days
Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, Uk, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science #2152) Cover Image
By Richard J. Boulton (Editor), Paul B. Jackson (Editor)
$141.70
Usually Arrives at Kepler's in 3-14 Days

Pages