Title: Transactions on High-Performance Embedded Architectures and Compilers V, Author: Cristina Silvano
Title: Synchronous Precharge Logic, Author: Marek Smoszna
Title: Structural Health Monitoring: A Machine Learning Perspective, Author: Charles R. Farrar
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
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: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, Author: Simon Devitt
Title: Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, Author: Claudio Antares Mezzina
Title: Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, Author: Shigeru Yamashita
Title: Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Author: Ivan Lanese
Title: Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, Author: Michael Kirkedal Thomsen
Title: Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Author: Jarkko Kari
Title: Quantum Theoretic Machines: What is thought from the point of view of Physics?, Author: A. Stern
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
Title: Numbers and Computers, Author: Ronald T. Kneusel
Title: Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1-3, 2022, Revised Selected Papers, Author: John Gustafson
Title: Multiple-Valued Logic Design: an Introduction, Author: G Epstein
Title: Mastering ROS for Robotics Programming: Design, build, and simulate complex robots using the Robot Operating System, Author: Lentin Joseph
Title: Logic in Computer Science: Modelling and Reasoning about Systems, Author: Michael Huth
Title: Logic Functions and Equations: Binary Models for Computer Science, Author: Christian Posthoff

Pagination Links