Rob Dekker’s (R)Evolution: Organizations and the Dynamics of the Environment investigates the possible changes needed ...
WeiterlesenThe Southeast European Cooperative Initiative (SECI) was the first international instrument for "peace keeping and peace ...
WeiterlesenModel checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
WeiterlesenA Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for ...
WeiterlesenThis volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence ...
WeiterlesenThe main objective of this book is to make available to an informed audience a le gal and policy oriented study on accountability ...
WeiterlesenThe Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions ...
WeiterlesenThe ICANNGA series of conferences has been organized since 1993 and has a long history of promoting the principles and understanding ...
WeiterlesenThe ICANNGA series of Conferences has been organised since 1993 and has a long history of promoting the principles and understanding ...
WeiterlesenThis book brings together a collection of cutting-edge insights into how action can and is already being taken against climate ...
WeiterlesenThis book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization ...
WeiterlesenThis book presents some of the most recent research results on the applications of computational intelligence in healthcare. ...
WeiterlesenAdvanced Topics in Control Systems Theory contains selected contributions written by lecturers at the second (annual) Formation ...
Weiterlesen"Advanced Topics in Control Systems Theory" contains selected contributions written by lecturers at the third (annual) ...
WeiterlesenThis volume contains the papers accepted and presented at 18th Conference of the Canadian Society for Computational Studies ...
WeiterlesenThe Brazilian Artifcial Intelligence (AI) community decided in 2004 to organize an International Joint Conference, joining ...
WeiterlesenThe Artificial Life term appeared more than 20 years ago . Since then the area has developed dramatically, many researchersjoining ...
WeiterlesenThis book constitutes the proceedings of the 11th International Conference on the Theory and Application of Cryptology and ...
WeiterlesenThis book is the second volume in the anual series produced by the International Federation for Information Processing (IFIP) ...
WeiterlesenThe book presents, to some extent, the status of the field of solid-state physics in 2005 not only in Germany but also internationally. ...
Weiterlesen