Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. Meer
This volume contains the 69 papers presented at the 16th Annual European Symposium on Algorithms (ESA 2010), held in Liverpool during September 6–8, 2010, including three papers by the distinguished invited speakers Artur Czumaj, Herbert Edelsbrunner, and Paolo Ferragina. Meer
This volume comprises the 6th IFIP International Conference on Intelligent Infor- tion Processing. As the world proceeds quickly into the Information Age, it encounters both successes and challenges, and it is well recognized nowadays that intelligent information processing provides the key to the Information Age and to mastering many of these challenges. Meer
This volume contains the proceedings of the International Conference on Inf- mation Computing and Applications (ICICA 2010), which was held in Tangshan, China, October 15-18, 2010. Meer
This book constitutes the reviewed proceedings of the 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2009, held in Rhodes, Greece, July 10-11, 2009. Meer
The 16th Workshop on Selected Areas in Cryptography (SAC 2009) was held at the University of Calgary,in Calgary, Alberta, Canada, during August 13-14, 2009. Meer
Das Buch bietet anhand von LEGO Mindstorms NXT-Robotern einen anschaulichen Einstieg in die Informatik. Nach einer allgemeinen Einführung in informationstechnische Prinzipien und Komponenten werden in Teil 2 die NXT-Elemente behandelt. Meer
This book is an extensive treatise on the most up-to-date advances in computer graphics technology and its applications. Both in business and industrial areas as well as in research and development, you will see in this book an incredible devel opment of new methods and tools for computer graphics. Meer
This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Meer
This book constitutes the refereed proceedings of the 16th IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2011, held in Nancy, France, in April 2011. Meer
This book constitutes the thoroughly refereed post-conference
proceedings of the Second International Conference on Agents and
Artificial Intelligence, ICAART 2010, held in Valencia, Spain, in
January 2010. Meer
This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, held in Saarbrücken, Germany, in September 2012. Meer
This book is a tribute to Prof. Alberto Isidori on the occasion of his 65th birthday. Prof. Isidori’s proli?c, pioneering and high-impact research activity has spanned over 35 years. Meer
This edited book reports recent research results and provides a state-of-the-art on intelligent decision support systems applications, lessons learned and future research directions. Meer
During the past decades scheduling has been among the most studied op- mization problemsanditisstillanactiveareaofresearch!Schedulingappears in many areas of science, engineering and industry and takes di? Meer
This book constitutes the refereed proceedings of the 7th International Workshop on Databases in Networked Information Systems, DNIS 2011, held in Aizu-Wakamatsu, Japan in December 2011. Meer
The Heinz Nixdorf Museum Forum (HNF) is the world’s largest c- puter museum and is dedicated to portraying the past, present and future of information technology. Meer
CAI 2009 was the Third International Conference on Algebraic Informatics. It was intended to cover the topics of algebraic semantics on graphs and trees, formalpowerseries,syntacticobjects,algebraicpictureprocessing,? Meer
The general theme of the Intelligent Data Analysis (IDA) Symposia is the - telligent use of computers in complex data analysis problems. The ?eld has matured su? Meer
This book constitutes Part III of the refereed four-volume post-conference proceedings of the 4th IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2010, held in Nanchang, China, in October 2010. Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books