Browse Books: Computers / Logic Design

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, Pa, June 6-8, 1983 (Lecture Notes in Computer Science #164) By E. Clarke (Editor), D. Kozen (Editor) 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)
$83.99
Not In Stock - Usually ships in 3-5 Days
Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik (Springer-Lehrbuch) By Manfred Broy Cover Image
Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik (Springer-Lehrbuch) (Paperback)
By Manfred Broy
$41.99
Not In Stock - Usually ships in 3-5 Days
The Origins of Digital Computers: Selected Papers (Monographs in Computer Science) By B. Randell (Editor) Cover Image
The Origins of Digital Computers: Selected Papers (Monographs in Computer Science) (Paperback)
By B. Randell (Editor)
$263.99
Not In Stock - Usually ships in 3-5 Days
The Physics of Computing By Marilyn Wolf Cover Image
The Physics of Computing (Paperback)
By Marilyn Wolf
$99.94
Not In Stock - Usually ships in 3-5 Days
Synchronous Precharge Logic By Marek Smoszna Cover Image
Synchronous Precharge Logic (Paperback)
By Marek Smoszna
$99.94
Not In Stock - Usually ships in 3-5 Days
ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings (Lecture Notes in Computer Science #1850) By Elisa Bertino (Editor) 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)
$65.99
Not In Stock - Usually ships in 3-5 Days
VLSI Chip Design with the Hardware Description Language Verilog: An Introduction Based on a Large RISC Processor Design By P. Blinzer (Other), Ulrich Golze, E. Cochlovius (Other) 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)
$65.99
Not In Stock - Usually ships in 3-5 Days
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. an Eatcs #21) By Hartmut Ehrig, Bernd Mahr 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
$65.99
Not In Stock - Usually ships in 3-5 Days
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. an Eatcs #6) By Hartmut Ehrig, Bernd Mahr 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
$131.99
Not In Stock - Usually ships in 3-5 Days
Algebraic Specification Techniques in Object Oriented Programming Environments (Lecture Notes in Computer Science #562) By Ruth Breu Cover Image
Algebraic Specification Techniques in Object Oriented Programming Environments (Lecture Notes in Computer Science #562) (Paperback)
By Ruth Breu
$65.99
Not In Stock - Usually ships in 3-5 Days
Turing Machines with Sublogarithmic Space (Lecture Notes in Computer Science #843) By Andrzej Szepietowski Cover Image
Turing Machines with Sublogarithmic Space (Lecture Notes in Computer Science #843) (Paperback)
By Andrzej Szepietowski
$65.99
Not In Stock - Usually ships in 3-5 Days
Logics for Concurrency: Structure Versus Automata (Lecture Notes in Computer Science #1043) By Faron Moller (Editor), Graham Birtwistle (Editor) Cover Image
Logics for Concurrency: Structure Versus Automata (Lecture Notes in Computer Science #1043) (Paperback)
By Faron Moller (Editor), Graham Birtwistle (Editor)
$65.99
Not In Stock - Usually ships in 3-5 Days

Pages