You are here

Home » Browse Books
Back to top

Browse Books: Computers / Logic Design

Handbook of Philosophical Logic: Volume III: Alternatives to Classical Logic (Synthese Library #166) Cover Image
Handbook of Philosophical Logic: Volume III: Alternatives to Classical Logic (Synthese Library #166) (Paperback)
By Dov M. Gabbay (Editor), Franz Guenthner (Editor)
$54.99
Usually Ships in 1-5 Days
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, Pa, June 6-8, 1983 (Lecture Notes in Computer Science #164) Cover Image
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, Pa, June 6-8, 1983 (Lecture Notes in Computer Science #164) (Paperback)
By E. Clarke (Editor), D. Kozen (Editor)
$69.99
Usually Ships in 1-5 Days
Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik (Springer-Lehrbuch) Cover Image
Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik (Springer-Lehrbuch) (Paperback)
By Manfred Broy
$34.99
Usually Ships in 1-5 Days
The Origins of Digital Computers: Selected Papers (Monographs in Computer Science) Cover Image
The Origins of Digital Computers: Selected Papers (Monographs in Computer Science) (Paperback)
By B. Randell (Editor)
$219.99
Usually Ships in 1-5 Days
The Physics of Computing Cover Image
The Physics of Computing (Paperback)
By Marilyn Wolf
Email or call for price.
Synchronous Precharge Logic Cover Image
Synchronous Precharge Logic (Paperback)
By Marek Smoszna
Email or call for price.
ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings (Lecture Notes in Computer Science #1850) Cover Image
ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings (Lecture Notes in Computer Science #1850) (Paperback)
By Elisa Bertino (Editor)
$54.99
Usually Ships in 1-5 Days
VLSI Chip Design with the Hardware Description Language Verilog: An Introduction Based on a Large RISC Processor Design Cover Image
VLSI Chip Design with the Hardware Description Language Verilog: An Introduction Based on a Large RISC Processor Design (Paperback)
By P. Blinzer (Other), Ulrich Golze, E. Cochlovius (Other)
$54.99
Usually Ships in 1-5 Days
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. an Eatcs #21) Cover Image
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. an Eatcs #21) (Paperback)
By Hartmut Ehrig, Bernd Mahr
$54.99
Usually Ships in 1-5 Days
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. an Eatcs #6) Cover Image
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. an Eatcs #6) (Paperback)
By Hartmut Ehrig, Bernd Mahr
$109.99
Usually Ships in 1-5 Days
Algebraic Specification Techniques in Object Oriented Programming Environments (Lecture Notes in Computer Science #562) Cover Image
Algebraic Specification Techniques in Object Oriented Programming Environments (Lecture Notes in Computer Science #562) (Paperback)
By Ruth Breu
$54.99
Usually Ships in 1-5 Days
Turing Machines with Sublogarithmic Space (Lecture Notes in Computer Science #843) Cover Image
Turing Machines with Sublogarithmic Space (Lecture Notes in Computer Science #843) (Paperback)
By Andrzej Szepietowski
$54.99
Usually Ships in 1-5 Days

Pages