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, ...

Lee mas
Soft Computing and its Engineering Applications

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

Lee mas
Soft Computing for Hybrid Intelligent Systems

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

Lee mas
Software Architecture

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

Lee mas
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 ...

Lee mas
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 ...

Lee mas
Software Engineering and Formal Methods

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

Lee mas
Software Technologies

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

Lee mas
Software-Implemented Hardware Fault Tolerance

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

Lee mas
Stabilization, Safety, and Security of Distributed Systems

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

Lee mas
Standardized Functional Verification

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

Lee mas
Stepping into Virtual Reality

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

Lee mas
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 ...

Lee mas
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 ...

Lee mas
Supercomputing

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

Lee mas
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 ...

Lee mas
Supercomputing Frontiers

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

Lee mas
Supercomputing Frontiers

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

Lee mas
NoIMG
System Software Reliability

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

Lee mas
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 ...

Lee mas
Total Books: 361 - 380 /421