Electronic Books

Total Books: 1221 - 1240 /1609

SAT 2005

This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...

SDL 2001: Meeting UML

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

SDL 2005: Model Driven

This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...

SDL 2007: Design for Dependable Systems

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

SOFSEM 2006: Theory and Practice of Computer Science

This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held ...

SOFSEM 2007: Theory and Practice of Computer Science

This volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...

Salivary Gland Development and Regeneration : Advances in Research and Clinical Approaches to Functional Restoration / Seunghee Cha

Provides a comprehensive update on the latest information and knowledge which emerged from translational and basic science ...

Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...

Scaling of Differential Equations

The book serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource ...

Scenario Based MCQ in Dentistry / Mohammed Khursheed Alam

Compiled with the selection tests in mind as a tool for rapid revision and analytical learning. It is useful for doctors, ...

Science and Technology of Semiconductor-On-Insulator Structures and Devices Operating in a Harsh Environment

This proceedings volume archives the contributions of the speakers who attended the NATO Advanced Research Workshop on “Science ...

Scientific Detectors for Astronomy 2005

The 2005 meeting in Taormina, Italy was attended by 127 professionals who develop and use the highest quality detectors for ...

Scorpion Venom Toxin محمد ياسر عيون ؛ يحيى ابراهيم ؛ حسين أبو جيب ؛ إشراف د. حورية القاضي

Neurotoxins are the main components of scorpion venom that are known to be responsible for the pathological manifestations ...

Script Effects as the Hidden Drive of the Mind, Cognition, and Culture

This book reveals the hidden power of the script we read in and how it shapes and drives our minds, ways of thinking, and ...

Security Protocols

Welcome to the Proceedings of the 13th International Security Protocols Wo- shop. As usual, our meeting in Cambridge was ...

Security Protocols (vol. # 3957)

" This volume contains the papers presented at the12th International Workshop, Cambridge, UK, April 26-28, 2004. Our theme ...

Security and Cryptography for Networks

This volume contains the papers presented at the 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. ...

Security and Cryptography for Networks

This book constitutes the proceedings of the 12th International Conference on Security and Cryptography for Networks, SCN ...

Security and Cryptography for Networks : 6th International Conference, SCN 2008, Amalfi, Italy, September 10-12, 2008. Proceedings

This book is organized in topical sections on Implementations, Protocols, Encryption, Primitives, Signatures, Hardware and ...

Security for Telecommunications Networks

Telecommunications networks are a critical component of the economic and social infrastructures in which we live. Each day, ...

Total Books: 1221 - 1240 /1609