Electronic Books

Total Books: 1 - 20 /499

(R)Evolution

Rob Dekker’s (R)Evolution: Organizations and the Dynamics of the Environment investigates the possible changes needed ...

10 Years Southeast European Cooperative Initiative

The Southeast European Cooperative Initiative (SECI) was the first international instrument for "peace keeping and peace ...

25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

A Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security

A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for ...

AI*IA 2005: Advances in Artificial Intelligence

This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence ...

Accountability for International Humanitarian Law Violations: The Case of Rwanda and East Timor

The main objective of this book is to make available to an informed audience a le gal and policy oriented study on accountability ...

Ada 2005 Reference Manual. Language and Standard Libraries

The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions ...

Adaptive and Natural Computing Algorithms

The ICANNGA series of conferences has been organized since 1993 and has a long history of promoting the principles and understanding ...

Adaptive and Natural Computing Algorithms

The ICANNGA series of Conferences has been organised since 1993 and has a long history of promoting the principles and understanding ...

Addressing the Climate Crisis : Local action in theory and practice

This book brings together a collection of cutting-edge insights into how action can and is already being taken against climate ...

Advanced BDD Optimization

This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization ...

Advanced Computational Intelligence Paradigms in Healthcare

This book presents some of the most recent research results on the applications of computational intelligence in healthcare. ...

Advanced Topics in Control Systems Theory (vol. # 311)

Advanced Topics in Control Systems Theory contains selected contributions written by lecturers at the second (annual) Formation ...

Advanced Topics in Control Systems Theory (vol. # 328)

"Advanced Topics in Control Systems Theory" contains selected contributions written by lecturers at the third (annual) ...

Advances in Artificial Intelligence (vol. # 3501)

This volume contains the papers accepted and presented at 18th Conference of the Canadian Society for Computational Studies ...

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006

The Brazilian Artifcial Intelligence (AI) community decided in 2004 to organize an International Joint Conference, joining ...

Advances in Artificial Life

The Artificial Life term appeared more than 20 years ago . Since then the area has developed dramatically, many researchersjoining ...

Advances in Cryptology – ASIACRYPT 2005

This book constitutes the proceedings of the 11th International Conference on the Theory and Application of Cryptology and ...

Advances in Digital Forensics II

This book is the second volume in the anual series produced by the International Federation for Information Processing (IFIP) ...

Advances in Solid State Physics

The book presents, to some extent, the status of the field of solid-state physics in 2005 not only in Germany but also internationally. ...

Total Books: 1 - 20 /499