1- 20 of 231 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: VLSI Chip Design with the Hardware Description Language VERILOG: An Introduction Based on a Large RISC Processor Design, Author: Ulrich Golze
QUICK ADD
VLSI Chip Design with the…
by Ulrich Golze, P. Blinzer (With), E. Cochlovius (With), M. Schäfers (With), K.-P. Wachsmann (With)
Paperback $54.99
Title: Visualisierung von Umweltdaten in Supercomputersystemen: 1. Fachtagung Karlsruhe, 8. November 1989 Proceedings, Author: Arndt Bode
QUICK ADD
Visualisierung von Umweltdaten…
by Arndt Bode (Editor), Rïdiger Dierstein (Editor), Martin Gïbel (Editor), Andreas Jaeschke (Editor)
#230 in Series
Paperback $69.99
Title: Verilog HDL Synthesis: A Practical Primer, Author: J. Bhasker
QUICK ADD
Verilog HDL Synthesis: A…
by J. Bhasker
Paperback $74.95
Title: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers, Author: Eduardo Gimenez
QUICK ADD
Types for Proofs and Programs:…
by Eduardo Gimenez (Editor), Christine Paulin-Mohring (Editor)
#1512 in Series
Paperback $54.99
Title: Transactions on Computational Science XXIV: Special Issue on Reversible Computing, Author: Marina L. Gavrilova
QUICK ADD
Transactions on Computational…
by Marina L. Gavrilova (Editor), C.J. Kenneth Tan (Editor), Himanshu Thapliyal (Editor), Nagarajan Ranganathan (Editor)
#8911 in Series
Paperback $54.99
Title: Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Ded, Author: Burkhard Freitag
QUICK ADD
Transactions and Change in…
by Burkhard Freitag (Editor), Hendrik Decker (Editor), Michael Kifer (Editor), Andrei Voronkov (Editor)
#1472 in Series
Paperback $54.99
Title: Trace Theory and VLSI Design, Author: Jan L.A. van de Snepscheut
QUICK ADD
Trace Theory and VLSI Design
by Jan L.A. van de Snepscheut
#200 in Series
Paperback $54.99
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis, Author: William K.C. Lam
QUICK ADD
Timed Boolean Functions: A…
by William K.C. Lam, Robert K. Brayton
#270 in Series
Paperback $109.99
Title: The Origins of Digital Computers: Selected Papers, Author: B. Randell
QUICK ADD
The Origins of Digital…
by B. Randell (Editor)
Explore Series
Paperback $219.99
Title: The Logic Programming Paradigm: A 25-Year Perspective, Author: Krzysztof R. Apt
QUICK ADD
The Logic Programming Paradigm…
by Krzysztof R. Apt (Editor), Victor W. Marek (Editor), Mirek Truszczynski (Editor), David S. Warren (Editor)
Explore Series
Paperback $109.99
Title: The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution, Author: Robert L. Carpenter
QUICK ADD
The Logic of Typed Feature…
by Robert L. Carpenter
#32 in Series
Paperback $59.00
Title: Termination Proofs for Logic Programs, Author: Lutz Plümer
QUICK ADD
Termination Proofs for Logic…
by Lutz Plümer
#446 in Series
Paperback $54.99
Title: Taschenrechnerarithmetik mit erhöhter Genauigkeit (TI-59/HP-41C), Author: Peter G. Poloczek
QUICK ADD
Taschenrechnerarithmetik mit…
by Peter G. Poloczek
#2 in Series
Paperback $59.99
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems, Author: Ryan Kastner
QUICK ADD
Synthesis Techniques and…
by Ryan Kastner, Adam Kaplan, Majid Sarrafzadeh
Paperback $109.99
Title: Symbolic Model Checking, Author: Kenneth L. McMillan
QUICK ADD
Symbolic Model Checking
by Kenneth L. McMillan
Paperback $54.99
Title: Starting Out with Programming Logic and Design / Edition 5, Author: Tony Gaddis
QUICK ADD
Starting Out with Programming…
by Tony Gaddis
Explore Series
Paperback $230.52
Title: Speichereffizienter Aufbau von binären Entscheidungsdiagrammen, Author: Rune Krauss
QUICK ADD
Speichereffizienter Aufbau von…
by Rune Krauss
Explore Series
Paperback $64.99
Title: Spectral Interpretation of Decision Diagrams, Author: Radomir Stankovic
QUICK ADD
Spectral Interpretation of…
by Radomir Stankovic, Jaakko T. Astola
Paperback $109.99
Title: Signaturanalyse: Theoretische Grundlagen und Probleme; Ausblick auf Anwendungen, Author: Lutz Voelkel
QUICK ADD
Signaturanalyse: Theoretische…
by Lutz Voelkel, Jïrgen Pliquett
#177 in Series
Paperback $59.99
Title: Sequential Logic Testing and Verification, Author: Abhijit Ghosh
QUICK ADD
Sequential Logic Testing and…
by Abhijit Ghosh, Srinivas Devadas, A. Richard Newton
#163 in Series
Paperback $169.99

Pagination Links