Electronic Books

Total Books: 361 - 380 /421

This book constitutes the refereed proceedings of the Third EAI International Conference on Smart Grid and Internet of Things, ...

This book constitutes the refereed proceedings of the Second International Conference on Soft Computing and its Engineering ...

Soft Computing (SC) consists of several intelligent computing paradigms, including fuzzy logic, neural networks, and evolutionary ...

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...

Software defined networking (SDN) is an architecture designed to make a network more flexible and easier to manage. SDN has ...

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...

Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...

This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...

Standardized Functional Verification describes the science of functional verification that applies to any digital hardware ...

The first part of the book reviews the basic theoretical and practical concepts involved in the visual aspect of virtual ...

This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...

This book breaks new ground by presenting an interdisciplinary approach to a crucial problem – system dependability. Computer-based ...

This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...

This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...

This book It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore ...

This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...

Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic ...

This expanded book provides practical information for hardware and software engineers using the SystemVerilog language to ...

Total Books: 361 - 380 /421