Electronic Books

Total Books: 361 - 380 /421

Smart Grid and Internet of Things

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

Soft Computing and its Engineering Applications

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

Soft Computing for Hybrid Intelligent Systems

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

Software Architecture

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

Software Defined Networks: Architecture and Applications / Anand Nayyar, Preeti Nagrath, Bhawna Singla

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

Software Design for Resilient Computer Systems

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

Software Engineering and Formal Methods

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

Software Technologies

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

Software-Implemented Hardware Fault Tolerance

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

Stabilization, Safety, and Security of Distributed Systems

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

Standardized Functional Verification

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

Stepping into Virtual Reality

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

Structural Information and Communication Complexity : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings

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

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

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

Supercomputing

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

Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings

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

Supercomputing Frontiers

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

Supercomputing Frontiers

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

System Software Reliability

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

System Verilog for Verification : A Guide to Learning the Testbench Language Features

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

Total Books: 361 - 380 /421