Recently, there has been enormous practical interest in strategies for applying optimization tools to the development of ...
Lire la suiteThe size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...
Lire la suiteSAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...
Lire la suiteSQL Server 2000 is the leading relational database for the Windows platform. It's a full-featured, enterprise-class database ...
Lire la suiteThis book contains 116 exercises of sampling methods solved in detail. The exercises are grouped into chapters and are preceded ...
Lire la suiteScalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...
Lire la suiteThe book tackles the problems that must be addressed before sensors are deployed for surveillance, tracking, and other monitoring ...
Lire la suiteNew data services are emerging every day, which also brings new challenges to protect data security. The internet and the ...
Lire la suiteExamines various topics and approaches related to the security and privacy in big data and cloud computing, where authors ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, ...
Lire la suiteDesign and analysis of symmetric key cryptosystems. – Primitives for symmetric key cryptography, including block and stream ...
Lire la suiteS.L. Sobolev (1908–1989) was a great mathematician of the twentieth century. His selected works included in this volume ...
Lire la suiteThe book is dedicated to the application of self-consistent methods to the solution of static and dynamic problems of the ...
Lire la suiteThe book is dedicated to the application of self-consistent methods to the solution of static and dynamic problems of the ...
Lire la suiteCurrent middleware solutions, such as application servers and Web services, are very complex software products that are hard ...
Lire la suiteSummarizes the trends and current research advances in web semantics, delineating the existing tools, techniques, methodologies, ...
Lire la suiteSemistructured Database Design provides an essential reference for anyone interested in the effective management of semsistructured ...
Lire la suiteThe book will present a variety of on-going efforts to provide new results and solutions to the problem of service productivity. ...
Lire la suiteIncreasingly, academic and industrial leaders are recognizing that college graduates need new skills to address business ...
Lire la suiteThis self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links ...
Lire la suite