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

Weiterlesen
10 Years Southeast European Cooperative Initiative

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

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

Weiterlesen
NoIMG
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 ...

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

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

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

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

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

Weiterlesen
NoIMG
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 ...

Weiterlesen
Advanced BDD Optimization

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

Weiterlesen
Advanced Computational Intelligence Paradigms in Healthcare

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

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

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

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

Weiterlesen
Advances in Artificial Intelligence (vol. # 3501)

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

Weiterlesen
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006

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

Weiterlesen
Advances in Artificial Life

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

Weiterlesen
Advances in Cryptology – ASIACRYPT 2005

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

Weiterlesen
Advances in Digital Forensics II

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

Weiterlesen
NoIMG
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. ...

Weiterlesen
Total Books: 1 - 20 /499