(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. ...
اقرأ المزيد
