Electronic Books

Total Books: 641 - 660 /808
Robust Optimization-Directed Design

Recently, there has been enormous practical interest in strategies for applying optimization tools to the development of ...

Lire la suite
Robustness and Usability in Modern Design Flows

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...

Lire la suite
SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...

Lire la suite
SQL Server 2000 Fast Answers for DBAs and Developers

SQL Server 2000 is the leading relational database for the Windows platform. It's a full-featured, enterprise-class database ...

Lire la suite
Sampling Methods

This book contains 116 exercises of sampling methods solved in detail. The exercises are grouped into chapters and are preceded ...

Lire la suite
Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...

Lire la suite
Scalable Infrastructure for Distributed Sensor Networks

The book tackles the problems that must be addressed before sensors are deployed for surveillance, tracking, and other monitoring ...

Lire la suite
Secure Data Management in Decentralized Systems

New data services are emerging every day, which also brings new challenges to protect data security. The internet and the ...

Lire la suite
Security And Privacy For Big Data, Cloud Computing And Applications

Examines various topics and approaches related to the security and privacy in big data and cloud computing, where authors ...

Lire la suite
Security of Networks and Services in an All-Connected World

This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, ...

Lire la suite
Selected Areas in Cryptography

Design and analysis of symmetric key cryptosystems. – Primitives for symmetric key cryptography, including block and stream ...

Lire la suite
Selected Works of S.L. Sobolev

S.L. Sobolev (1908–1989) was a great mathematician of the twentieth century. His selected works included in this volume ...

Lire la suite
Self-Consistent Methods for Composites : Vol. 2: Wave Propagation in Heterogeneous Materials

The book is dedicated to the application of self-consistent methods to the solution of static and dynamic problems of the ...

Lire la suite
Self-Consistent Methods for Composites : Vol.1: Static Problems

The book is dedicated to the application of self-consistent methods to the solution of static and dynamic problems of the ...

Lire la suite
Semantic Management of Middleware

Current middleware solutions, such as application servers and Web services, are very complex software products that are hard ...

Lire la suite
Semantic Web for Effective Healthcare Systems / Vishal Jain, Jyotir Moy Chatterjee, Ankita Bansal, Abha Jain

Summarizes the trends and current research advances in web semantics, delineating the existing tools, techniques, methodologies, ...

Lire la suite
Semistructured Database Design

Semistructured Database Design provides an essential reference for anyone interested in the effective management of semsistructured ...

Lire la suite
Service Enterprise Integration

The book will present a variety of on-going efforts to provide new results and solutions to the problem of service productivity. ...

Lire la suite
Service Science, Management and Engineering Education for the 21st Century

Increasingly, academic and industrial leaders are recognizing that college graduates need new skills to address business ...

Lire la suite
Set-Theoretic Methods in Control

This self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links ...

Lire la suite
Total Books: 641 - 660 /808