Larisa Maksimova on Implication, Interpolation, and Definability

von: Sergei Odintsov, 2018

Sustained Simulation Performance 2012 - Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012

von: Michael M. Resch, Xin Wang, Wolfgang Bez, Erich Focht, Hiroaki Kobayashi, 2012

Logic Circuit Design - Selected Methods

von: Shimon P. Vingron, 2012

The Making of a New Science - A Personal Journey Through the Early Years of Theoretical Computer Science

von: Giorgio Ausiello, 2018

Speech Processing in Embedded Systems

von: Priyabrata Sinha, 2009

Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems

von: Rolf Drechsler, Mathias Soeken, 2019

Learning Network Services for Professional Development

von: Rob Koper, 2009

Complex Binary Number System - Algorithms and Circuits

von: Tariq Jamil, 2012

Simulation and Optimization of Digital Circuits - Considering and Mitigating Destabilizing Factors

von: Vazgen Melikyan, 2018

High Performance Integer Arithmetic Circuit Design on FPGA - Architecture, Implementation and Design Automation

von: Ayan Palchaudhuri, Rajat Subhra Chakraborty, 2015