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 ...
اقرأ المزيد
Adapting Proofs-as-Programs
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
اقرأ المزيد
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...
اقرأ المزيد
Adaptive Bidding in Single-Sided Auctions under Uncertainty
In the last years electronic markets, especially online auctions, have become very popular and received more and more attention ...
اقرأ المزيد
Adaptive Techniques for Dynamic Processor Optimization : Theory and Practice
This book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and ...
اقرأ المزيد
AdvancED Flex 3
The book is divided into three parts. The first part discusses the architectural and design aspects of Flex 3 application ...
اقرأ المزيد
AdvancED Flex Application Development : Building Rich Media X
Many Flex books cover the basics—this book does something different, and goes far further. The authors, leading Flash platform ...
اقرأ المزيد
Advanced Algorithms and Data Structures / Marcello La Rocca
introduces a collection of algorithms for complex programming challenges in data analysis, machine learning, and graph computing. ...
اقرأ المزيد
Advanced Data Mining and Applications : 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Advanced Data Mining and Applications, ...
اقرأ المزيد
Advanced Information Systems Engineering
CAiSE 2007 was the 19th in the series of International Conferences on Advanced Information Systems Engineering. This year’s ...
اقرأ المزيد
Advanced Information Systems Engineering : 20th International Conference, CAiSE 2008 Montpellier, France, June 16-20, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, ...
اقرأ المزيد
Advanced Man-Machine Interaction
Man-machine interaction is the gateway providing access to functions and services, which, due to the ever increasing complexity ...
اقرأ المزيد
Advanced Software Engineering: Expanding the Frontiers of Software Technology
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Advanced Topics in Exception Handling Techniques
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
اقرأ المزيد
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Advances and Innovations in Systems, Computing Sciences and Software Engineering is a collection of world class paper articles ...
اقرأ المزيد
Advances in Building Information Modeling : First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers
This book constitutes the refereed proceedings of the First Eurasian BIM Forum, EBF 2019, held in Istanbul, Turkey, in May ...
اقرأ المزيد
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
اقرأ المزيد
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
اقرأ المزيد
Advances in Computer and Information Sciences and Engineering
Advances in Computer and Information Sciences and Engineering includes a set of rigorously reviewed world-class manuscripts ...
اقرأ المزيد
Advances in Conceptual Modeling - Challenges and Opportunities : ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings
This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 27th International ...
اقرأ المزيد
