Just Announced: The Children's & YA Book Awards Winners Explore Now
1- 20 of 189 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: VHDL: A logic synthesis approach / Edition 1, Author: D. Naylor
QUICK ADD
VHDL: A logic synthesis…
by D. Naylor, S. Jones
Hardcover $169.99
Title: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / Edition 1, Author: Eduardo Gimenez
QUICK ADD
Types for Proofs and Programs:…
by Eduardo Gimenez, Christine Paulin-Mohring
#1512 in Series
Paperback $54.99
Title: Transactions on High-Performance Embedded Architectures and Compilers V, Author: Cristina Silvano
QUICK ADD
Transactions on…
by Cristina Silvano, Koen Bertels, Michael Schulte
#11225 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 / Edition 1, Author: Burkhard Freitag
QUICK ADD
Transactions and Change in…
by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov
#1472 in Series
Paperback $54.99
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
QUICK ADD
Timed Boolean Functions: A…
by William K.C. Lam, Robert K. Brayton
#270 in Series
Hardcover $109.99
Title: The Clausal Theory of Types, Author: D. A. Wolfram
QUICK ADD
The Clausal Theory of Types
by D. A. Wolfram
#21 in Series
Hardcover $77.99
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
QUICK ADD
Synthesis Techniques and…
by Ryan Kastner, Adam Kaplan, Majid Sarrafzadeh
Paperback $109.99
Title: Synthesis of Finite State Machines: Logic Optimization / Edition 1, Author: Tiziano Villa
QUICK ADD
Synthesis of Finite State…
by Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Hardcover $109.99
Title: Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems / Edition 1, Author: Jean-Pierre Deschamps
QUICK ADD
Synthesis of Arithmetic…
by Jean-Pierre Deschamps, Gery J.A. Bioul, Gustavo D. Sutter
Hardcover $211.95
Title: Synchronous Precharge Logic, Author: Marek Smoszna
QUICK ADD
Synchronous Precharge Logic
by Marek Smoszna
Paperback $79.95
Title: Switching Theory for Logic Synthesis / Edition 1, Author: Tsutomu Sasao
QUICK ADD
Switching Theory for Logic…
by Tsutomu Sasao
Hardcover $169.99
Title: Structural Health Monitoring: A Machine Learning Perspective / Edition 1, Author: Charles R. Farrar
QUICK ADD
Structural Health Monitoring:…
by Charles R. Farrar, Keith Worden
Hardcover $174.95
Title: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools / Edition 1, Author: Robert M. Fuhrer
QUICK ADD
Sequential Optimization of…
by Robert M. Fuhrer, Steven M. Nowick
Hardcover $109.99
Title: Sequential Logic Testing and Verification / Edition 1, Author: Abhijit Ghosh
QUICK ADD
Sequential Logic Testing and…
by Abhijit Ghosh, Srinivas Devadas, A. Richard Newton
#163 in Series
Hardcover $169.99
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
QUICK ADD
Separation Logic for…
by Felix Winterstein
Explore Series
Paperback $109.99
Title: Self-Checking and Fault-Tolerant Digital Design / Edition 1, Author: Parag K. Lala
QUICK ADD
Self-Checking and…
by Parag K. Lala
Explore Series
Hardcover $115.00
Title: Rigorous Software Development: An Introduction to Program Verification / Edition 1, Author: Josï Bacelar Almeida
QUICK ADD
Rigorous Software Development:…
by Josï Bacelar Almeida, Maria Joïo Frade, Jorge Sousa Pinto, Simïo Melo de Sousa
Explore Series
Paperback $39.95
Title: Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, Author: Simon Devitt
QUICK ADD
Reversible Computation: 8th…
by Simon Devitt, Ivan Lanese
#9720 in Series
Paperback $54.99
Title: Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, Author: Michael Kirkedal Thomsen
QUICK ADD
Reversible Computation: 11th…
by Michael Kirkedal Thomsen, Mathias Soeken
#11497 in Series
Paperback $64.99
Title: Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Author: Jarkko Kari
QUICK ADD
Reversible Computation: 10th…
by Jarkko Kari, Irek Ulidowski
#11106 in Series
Paperback $54.99

Pagination Links