Dataarkitektur / logisk design

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques …

The papers in this volume comprise the refereed proceedings of the Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), in …

This book constitutes the proceedings of the 8th International Conference on Ad Hoc Networks, ADHOCNETS 2016, held in Ottawa, Canada, September 26-17, 2016.The 34 revised full …

VLSI devices downscaling is a very significant part of the design to improve the performance of VLSI industry outcomes, which results in high speed and low power of operation of …

Wrox’s Professional Assembly Language Programming teaches professional programmers how to incorporate assembly language programming into new and existing program projects, …

With this practical book, architects, CTOs, and CIOs will learn a set of patterns for the practice of architecture, including analysis, documentation, and communication. Author …

This book constitutes the refereed proceedings of five workshops and an industrial session held at the 20th International Conference on Image Analysis and Processing, ICIAP 2019, …

This monograph is a comprehensive treatment of the theoretical and computational aspects of numerical integration. The authors give a unique overview of the topic by bringing into …

This book constitutes the refereed proceedings of the 28th International Supercomputing Conference, ISC 2013, held in Leipzig, Germany, in June 2013. The 35 revised full papers …

This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the …