A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lee mas
A Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Lee mas
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Lee mas
A Short Course in Quantum Information Theory : An Approach From Theoretical Physics
This short and concise primer takes the vantage point of theoretical physics and the unity of physics. It sets out to strip ...
Lee mas
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lee mas
Ad-Hoc Networking Towards Seamless Communications
Ad-Hoc Networking Towards Seamless Communications is dedicated to an area that attracts growing interest in academia and ...
Lee mas
Adaptive Filtering : Algorithms and Practical Implementation
The book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It ...
Lee mas
Adaptive Low-Power Circuits for Wireless Communications
Adaptive radio transceivers require a comprehensive theoretical framework in order to optimize their performance. Adaptive ...
Lee mas
Adaptive Multi-Standard RF Front-Ends
Adaptive Multi-Standard RF Front-Ends investigates solutions, benefits, limitations and costs related to multi-standard operation ...
Lee masAdaptive Structural Systems with Piezoelectric Transducer Circuitry
Adaptive Structural Systems with Piezoelectric Transducer Circuitry provides a comprehensive discussion of the integration ...
Lee mas
Adaptive Techniques for Dynamic Processor Optimization : Theory and Practice
This book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and ...
Lee mas
Adaptive Techniques for Mixed Signal System on Chip
Adaptive Techniques for Mixed Signal Sytem on Chip discusses the concept of adaptation in the context of analog and mixed ...
Lee mas
Advanced BDD Optimization
This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization ...
Lee mas
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Advances and Innovations in Systems, Computing Sciences and Software Engineering is a collection of world class paper articles ...
Lee mas
Advances in Ad Hoc and Sensor Networks
This volume provides a complete survey of the state-of-the-art research that encompasses all areas of ad hoc and sensor networks. These ...
Lee mas
Advances in Control, Communication Networks, and Transportation Systems
This volume presented at the Symposium on Systems, Control, and Networks.The chapters include recent results and surveys ...
Lee mas
Advances in Design and Specification Languages for SoCs
Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal ...
Lee mas
Advances in Electrical and Computer Technologies : Select Proceedings of ICAECT 2019
This book contains the papers presenting the latest developments in the areas of Electrical, Electronics, Communication systems ...
Lee mas
Advances in Electronic Testing
The book is a comprehensive elaboration on important topics which capture major research and development efforts today. The ...
Lee masAn Interactive Multimedia Introduction to Signal Processing
A didactic concept is undertaken for microelectronics, computer technology and communication engineering, which deals with ...
Lee mas
