1- 20 of 232 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Digital Design using VerilogHDL: VLSI Modeling, Coding and Verification, Author: Shilpi Birla PhD Pre-Order Now
QUICK ADD
Digital Design using…
by Shilpi Birla PhD, B.P. Singh PhD, Neeraj Kumar Shukla PhD
Paperback $180.00
Title: Rigorous Software Development: An Introduction to Program Verification, Author: José Bacelar Almeida Pre-Order Now
QUICK ADD
Rigorous Software Development:…
by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
Explore Series
Paperback $119.99
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
QUICK ADD
Principles of Verilog Digital…
by Wen-Long Chin
Paperback $76.99
Title: Speichereffizienter Aufbau von binären Entscheidungsdiagrammen, Author: Rune Krauss
QUICK ADD
Speichereffizienter Aufbau von…
by Rune Krauss
Explore Series
Paperback $64.99
Title: Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, Author: Martin Kutrib
QUICK ADD
Reversible Computation: 15th…
by Martin Kutrib (Editor), Uwe Meyer (Editor)
#13960 in Series
Paperback $69.99
Title: Next Generation Arithmetic: 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings, Author: John Gustafson
QUICK ADD
Next Generation Arithmetic:…
by John Gustafson (Editor), Siew Hoon Leong (Editor), Marek Michalewicz (Editor)
#13851 in Series
Paperback $59.99
Title: Formal Verification of Floating-Point Hardware Design: A Mathematical Approach, Author: David M. Russinoff
QUICK ADD
Formal Verification of…
by David M. Russinoff
Paperback $119.99
Title: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification, Author: Zhe Hou
QUICK ADD
Fundamentals of Logic and…
by Zhe Hou
Explore Series
Paperback $64.99
Title: Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1-3, 2022, Revised Selected Papers, Author: John Gustafson
QUICK ADD
Next Generation Arithmetic:…
by John Gustafson (Editor), Vassil Dimitrov (Editor)
#13253 in Series
Paperback $64.99
Title: Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, Author: Claudio Antares Mezzina
QUICK ADD
Reversible Computation: 14th…
by Claudio Antares Mezzina (Editor), Krzysztof Podlaski (Editor)
#13354 in Series
Paperback $69.99
Title: Digital Design and Computer Architecture, RISC-V Edition, Author: Sarah Harris
QUICK ADD
Digital Design and Computer…
by Sarah Harris, David Harris
Paperback $99.95
Title: Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, Author: Shigeru Yamashita
QUICK ADD
Reversible Computation: 13th…
by Shigeru Yamashita (Editor), Tetsuo Yokoyama (Editor)
#12805 in Series
Paperback $54.99
Title: Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Author: Ivan Lanese
QUICK ADD
Reversible Computation: 12th…
by Ivan Lanese (Editor), Mariusz Rawski (Editor)
#12227 in Series
Paperback $54.99
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
QUICK ADD
Principles and Structures of…
by Hideharu Amano (Editor)
Paperback $219.99
Title: Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets, Author: Christoph Brandau
QUICK ADD
Modellierung und…
by Christoph Brandau
Paperback $59.99
Title: Digital Logic for Computing, Author: John Seiffertt
QUICK ADD
Digital Logic for Computing
by John Seiffertt
Paperback $54.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: Numbers and Computers, Author: Ronald T. Kneusel
QUICK ADD
Numbers and Computers
by Ronald T. Kneusel
Paperback $64.99
Title: Mastering ROS for Robotics Programming - Second Edition: Design, build, and simulate complex robots using the Robot Operating System, Author: Lentin Joseph
QUICK ADD
Mastering ROS for Robotics…
by Lentin Joseph, Jonathan Cacace
Paperback $79.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

Pagination Links