Title: Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers, Author: Marco Nehmeier
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: Numbers and Computers, Author: Ronald T. Kneusel
Title: Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, Author: Simon Devitt
Title: Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, Author: Jean Krivine
Title: Transactions on Computational Science XXIV: Special Issue on Reversible Computing, Author: Marina L. Gavrilova
Title: VLSI Chip Design with the Hardware Description Language VERILOG: An Introduction Based on a Large RISC Processor Design, Author: Ulrich Golze
Title: Spectral Interpretation of Decision Diagrams, Author: Radomir Stankovic
Title: Synchronous Precharge Logic, Author: Marek Smoszna
Title: Digital Design and Computer Architecture / Edition 2, Author: David Harris
Title: Modal and Temporal Properties of Processes / Edition 1, Author: Colin Stirling
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

Pagination Links