Critical Systems: Formal Methods and Automated Verification
EAN: 9783319459424
Exploiting Linked Data and Knowledge Graphs in Large Organisations
EAN: 9783319456522
Computer Safety, Reliability, and Security
EAN: 9783319454795
SVA: The Power of Assertions in SystemVerilog
This book is a comprehensive guide to assertion-based verification of hardware designs using...
EAN: 9783319331096
Microservice Architecture
Have you heard about the tremendous success Amazon and Netflix have had by switching to a...
EAN: 9781491956250
Hardware Security and Trust
In order to address the conflict between testability and security, the authors describe...
EAN: 9783319443164
Designing with Xilinx® FPGAs
This book helps readers to implement their designs on Xilinx® FPGAs. Throughout the presentation,...
EAN: 9783319424378
Programming FPGAs: Getting Started with Verilog
Shows you how to add interesting FPGA and Verilog functions to your Arduino and Raspberry Pi...
EAN: 9781259643767
Reversible Computation
This book constitutes the refereed proceedings of the 8th International Conference on Reversible...
EAN: 9783319405773
VLSI Analog Circuits: Algorithms, Architecture, Modeling, and Circuit Implementation, Second Edition
Complete coverage of VLSI signal processing circuits—from scientific theory to design and...
EAN: 9781259644931
Storytelling in Design
This practical guide shows you how storytelling can make a powerful difference in product design....
EAN: 9781491959428
Prototyping for Designers
By explaining the goals and methodologies behind prototyping-and demonstrating how to prototype...
EAN: 9781491954089
Advanced Design and Implementation of Virtual Machines
EAN: 9781466582606
Application and Theory of Petri Nets and Concurrency
This book constitutes the proceedings of the 37th International Conference on Application and...
EAN: 9783319390857
Integrated Formal Methods
This bookconstitutes the refereed proceedings of the 12th International Conference on...
EAN: 9783319336923
Competition, Regulation, and Convergence
The current state of research in telecommunications policy, covering competition, regulation, and...
EAN: 9781138991538
High Performance Scientific Computing Using Distributed Infrastructures
EAN: 9789814759700
Languages, Design Methods, and Tools for Electronic System Design
FDL is a well-established international forumdevoted to dissemination of research results,...
EAN: 9783319317229
Interconnections for Computer Communications and Packet Networks
EAN: 9781482226966
