Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 28th...
EAN: 9783030138370
Design Automation of Cyber-Physical Systems
This book presents the state-of-the-art and breakthrough innovations in design automation for...
EAN: 9783030130497
Networked Filtering and Fusion in Wireless Sensor Networks
EAN: 9781138374935
Unit and Ubiquitous Internet of Things
EAN: 9781138374751
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic...
EAN: 9783319892146
Meaning and Proscription in Formal Logic
EAN: 9783319889979
Reliable and Energy Efficient Streaming Multiprocessor Systems
This book discusses analysis, design and optimization techniques for streaming multiprocessor...
EAN: 9783319887661
Invasive Computing for Mapping Parallel Programs to Many-Core Architectures
This book provides an overview of and essential insights on invasive computing. The book provides...
EAN: 9789811356223
Internet-of-Things (IoT) Systems
This book covers essential topics in the architecture and design of Internet of Things (IoT)...
EAN: 9783319888286
Analysis and Design of Networks-on-Chip Under High Process Variation
The authors describe an asynchronous router, as a robust design to mitigate the impact of process...
EAN: 9783319798370
Accelerator Programming Using Directives
This book constitutes the refereed post-conference proceedings of the 5th International Workshop...
EAN: 9783030122737
Impact of Service Oriented Architecture Adoption on Organizations
This book describes Service-Oriented Architecture (SOA) and the significant factors which affect...
EAN: 9783030120993
Virtual and the Real in Planning and Urban Design
The Virtual and the Real explores the merging relationship between physical and virtual spaces in...
EAN: 9780367208509
Elements of Multimedia
This book integrates many aspects of multimedia taught in different courses under one title. It...
EAN: 9781138360372
Principles of Secure Processor Architecture Design
EAN: 9781681734040
Learning and Intelligent Optimization
This book constitutes the thoroughly refereed post-conference proceedings of the 12th...
EAN: 9783030053475
Learning Approaches in Signal Processing
Published in 2019, this book presents (i) an up-to-date tutorial and overview on learning...
EAN: 9789814800501
Optical Communication Systems
This book, featuring contributions by the suppliers of widely deployed simulation software and...
EAN: 9789814800280
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX
This, the 39th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems,...
EAN: 9783662584149
Stochastic Computing: Techniques and Applications
This book covers the history and recent developments of stochastic computing. The first part,...
EAN: 9783030037291
Internet of Things (IoT)
This book introduces computing, communications, electronics, and security topics that are the key...
EAN: 9789814800297
Fundamentals of Computer Architecture and Design
This textbook provides semester-length coverage of computer architecture and design, providing a...
EAN: 9783030002220
