Browse Books: Computers / Logic Design

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 (This book cannot be returned.)	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) (Paperback) By B. Randell (Editor) $219.99 Usually Ships in 1-5 Days (This book cannot be returned.)
The Physics of Computing (Paperback) By Marilyn Wolf This title is not available for purchase from our store	Synchronous Precharge Logic (Paperback) By Marek Smoszna This title is not available for purchase from our store	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 (This book cannot be returned.)
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) (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) (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) (Paperback) By Ruth Breu $54.99 Usually Ships in 1-5 Days (This book cannot be returned.)	Turing Machines with Sublogarithmic Space (Lecture Notes in Computer Science #843) (Paperback) By Andrzej Szepietowski $54.99 Usually Ships in 1-5 Days (This book cannot be returned.)	Logics for Concurrency: Structure Versus Automata (Lecture Notes in Computer Science #1043) (Paperback) By Faron Moller (Editor), Graham Birtwistle (Editor) $54.99 Usually Ships in 1-5 Days (This book cannot be returned.)