Browse Books: Computers / Machine Theory

Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science #813) Cover Image
By Anil Nerode (Editor), Yu V. Matiyasevich (Editor)
$99.00
Usually Ships in 1-5 Days
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science #859) Cover Image
By Thomas F. Melham (Editor), Juanito Camilleri (Editor)
$129.00
Usually Ships in 1-5 Days
Algorithmic Learning Theory: 4th International Workshop on Analogical and Inductive Inference, Aii '94, 5th International Workshop on Algorithmic L Cover Image
By Setsuo Arikawa (Editor), Klaus P. Jantke (Editor)
$139.00
Usually Ships in 1-5 Days
Stacs 95: 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings (Lecture Notes in Computer Science #900) Cover Image
By Ernst W. Mayr (Editor), Claude Puech (Editor)
$169.00
Usually Ships in 1-5 Days
Graph-Theoretic Concepts in Computer Science: 20th International Workshop. Wg '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings (Lecture Notes in Computer Science #903) Cover Image
By Ernst W. Mayr (Editor), Gunther Schmidt (Editor), Gottfried Tinhofer (Editor)
$119.00
Usually Ships in 1-5 Days
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science #933) Cover Image
By Leszek Pacholski (Editor), Jerzy Tiuryn (Editor)
$149.00
Usually Ships in 1-5 Days
Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, In, Usa, October 13-16, 1994. Selected Papers (Lecture Notes in Computer Science #960) Cover Image
By Daniel Leivant (Editor)
$129.00
Usually Ships in 1-5 Days
Highlights Aus Der Informatik Cover Image
By Ingo Wegener (Editor)
$64.99
Usually Ships in 1-5 Days
Computing and Combinatorics: First Annual International Conference, Cocoon '95, Xi'an, China, August 24-26, 1995. Proceedings (Lecture Notes in Computer Science #959) Cover Image
By Ding-Zhu Du (Editor), Ming Li (Editor)
$169.00
Usually Ships in 1-5 Days
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science #971) Cover Image
By E. Thomas Schubert (Editor), Phillip J. Windley (Editor), James Alves-Foss (Editor)
$119.00
Usually Ships in 1-5 Days
Algorithms - ESA '95: Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings (Lecture Notes in Computer Science #979) Cover Image
By Paul Spirakis (Editor)
$149.00
Usually Ships in 1-5 Days
Automated Modeling of Physical Systems Cover Image
$89.99
Usually Ships in 1-5 Days

Pages