Browse Books: Computers / Logic Design

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
By Elisa Bertino (Editor)
Unavailable in store; contact staff@bookmarksnc.org to check price and order availability
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
By P. Blinzer (Other), Ulrich Golze, E. Cochlovius (Other)
Unavailable in store; contact staff@bookmarksnc.org to check price and order availability
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. an Eatcs #21) By Hartmut Ehrig, Bernd Mahr Cover Image
Unavailable in store; contact staff@bookmarksnc.org to check price and order availability
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. an Eatcs #6) By Hartmut Ehrig, Bernd Mahr Cover Image
Unavailable in store; contact staff@bookmarksnc.org to check price and order availability
Algebraic Specification Techniques in Object Oriented Programming Environments (Lecture Notes in Computer Science #562) By Ruth Breu Cover Image
Unavailable in store; contact staff@bookmarksnc.org to check price and order availability
Turing Machines with Sublogarithmic Space (Lecture Notes in Computer Science #843) By Andrzej Szepietowski Cover Image
Unavailable in store; contact staff@bookmarksnc.org to check price and order availability
Logics for Concurrency: Structure Versus Automata (Lecture Notes in Computer Science #1043) By Faron Moller (Editor), Graham Birtwistle (Editor) Cover Image
By Faron Moller (Editor), Graham Birtwistle (Editor)
Unavailable in store; contact staff@bookmarksnc.org to check price and order availability
Advances in Power Electronics and Instrumentation Engineering: Second International Conference, Peie 2011, Nagpur, Maharashtra, India, April 21-22, 20 (Communications in Computer and Information Science #148) By Vinu V. Das (Editor), Nessy Thankachan (Editor), Narayan C. Debnath (Editor) Cover Image
By Vinu V. Das (Editor), Nessy Thankachan (Editor), Narayan C. Debnath (Editor)
Unavailable in store; contact staff@bookmarksnc.org to check price and order availability
Algebraic Methodology and Software Technology: 13th International Conference, Amast 2010, Lac-Beauport, Qc, Canada, June 23-25, 2010, Revised Selected By Michael Johnson (Editor), Dusko Pavlovic (Editor) Cover Image
By Michael Johnson (Editor), Dusko Pavlovic (Editor)
Unavailable in store; contact staff@bookmarksnc.org to check price and order availability
Complex Binary Number System: Algorithms and Circuits (Springerbriefs in Electrical and Computer Engineering) By Tariq Jamil Cover Image
Unavailable in store; contact staff@bookmarksnc.org to check price and order availability
Digital Logic Design Using Verilog: Coding and Rtl Synthesis By Vaibbhav Taraate Cover Image
Unavailable in store; contact staff@bookmarksnc.org to check price and order availability
Logic Synthesis and Verification Algorithms By Gary D. Hachtel, Fabio Somenzi Cover Image
Unavailable in store; contact staff@bookmarksnc.org to check price and order availability

Pages