This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
اقرأ المزيدThis book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...
اقرأ المزيدIn the last years electronic markets, especially online auctions, have become very popular and received more and more attention ...
اقرأ المزيدThis book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and ...
اقرأ المزيدThe book is divided into three parts. The first part discusses the architectural and design aspects of Flex 3 application ...
اقرأ المزيدMany Flex books cover the basics—this book does something different, and goes far further. The authors, leading Flash platform ...
اقرأ المزيدintroduces a collection of algorithms for complex programming challenges in data analysis, machine learning, and graph computing. ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 4th International Conference on Advanced Data Mining and Applications, ...
اقرأ المزيدCAiSE 2007 was the 19th in the series of International Conferences on Advanced Information Systems Engineering. This year’s ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, ...
اقرأ المزيدMan-machine interaction is the gateway providing access to functions and services, which, due to the ever increasing complexity ...
اقرأ المزيدThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد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 is a collection of world class paper articles ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First Eurasian BIM Forum, EBF 2019, held in Istanbul, Turkey, in May ...
اقرأ المزيدThis book cover theory, practice, applications, and experiences related to secure software.
اقرأ المزيدThis book cover theory, practice, applications, and experiences related to secure software.
اقرأ المزيدAdvances in Computer and Information Sciences and Engineering includes a set of rigorously reviewed world-class manuscripts ...
اقرأ المزيدThis book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 27th International ...
اقرأ المزيدThis book constitutes the proceedings of the 9th East-European Conference on Advances in Databases and Information Systems ...
اقرأ المزيد