Title: Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, Author: Michael Kirkedal Thomsen
Title: Transactions on High-Performance Embedded Architectures and Compilers V, Author: Cristina Silvano
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
Title: Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Author: Jarkko Kari
Title: Digital Logic for Computing, Author: John Seiffertt
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Numbers and Computers / Edition 2, Author: Ronald T. Kneusel
Title: Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, Author: Simon Devitt
Title: Synchronous Precharge Logic, Author: Marek Smoszna
Title: Digital Design and Computer Architecture / Edition 2, Author: David Harris
Paperback from $61.97 $89.95 Current price is $61.97, Original price is $89.95.
Title: Modal and Temporal Properties of Processes / Edition 1, Author: Colin Stirling
Title: Rigorous Software Development: An Introduction to Program Verification / Edition 1, Author: José Bacelar Almeida
Title: Logical Structures for Representation of Knowledge and Uncertainty / Edition 1, Author: Ellen Hisdal
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques / Edition 1, Author: Wolfgang Kunz
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
Title: Artificial Intelligence in Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
Title: Fundamentals of Switching Theory and Logic Design: A Hands on Approach / Edition 1, Author: Jaakko Astola
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines / Edition 1, Author: Alakananda Bhattacharya
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
Title: Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / Edition 1, Author: Maria Garcia Banda

Pagination Links