This book is the final report on a comprehensive basic research project, named GOSLER on algorithmic learning for knowledge-based systems supported by the German Federal Ministry of Research and Technology during the years 1991 - 1994. Meer
This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995. Meer
This volume constitutes the proceedings of the Fourth International Workshop on Algorithms and Data Structures, WADS '95, held in Kingston, Canada in August 1995. Meer
This book constitutes the proceedings of the Third International Conference on Parallel Computing Technologies, PaCT '95, held in St. Petersburg, Russia in September 1995. Meer
Deutsche Ausgabe von "Maple V Mathematics Programming Guide" von Waterloo Maple Software. Das Buch erläutert die Programmiersprache von Maple V und eignet sich besonders als Nachschlagewerk. Meer
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. Meer
This book contains a set of revised refereed papers selected from the presentations at the Second International Workshop on Fast Software Encryption held in Leuven, Belgium, in December 1994. Meer
This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions. Meer
Theshipshears onthrough billowing seas Carried on tempest’s wings with ease A cry of joy goes up from fore and aft: “Our destination is within our grasp! Meer
This book constitutes the refereed proceedings of the 15th Scandinavian Conference on Image Analysis, SCIA 2007, held in Aalborg, Denmark in June 2007. Meer
Here is the fourth of a four-volume set that constitutes the refereed proceedings of the 12th International Conference on Human-Computer Interaction, HCII 2007, held in Beijing, China, jointly with eight other thematically similar conferences. Meer
Der Begriff "Web 2.0" ist mittlerweile nahezu allgegenwärtig. Doch auch wenn er Einzug in diverse Stellenausschreibungen und Nachrichtenmeldungen gehalten hat, scheint doch den wenigsten Leuten klar zu sein, was er genau zu bedeuten hat. Meer
This volume of the LNCS is the formal proceedings of the 2nd European Symposium on Ambient Intelligence, EUSAI 2004. This event was held on November 8–10, 2004 at the Eindhoven University of Technology, in Eindhoven, the Netherlands. Meer
This book provides a framework for the design of competent optimization techniques by combining advanced evolutionary algorithms with state-of-the-art machine learning techniques. Meer
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. Meer
This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application. Meer
Die Einführung in die Programmiersprachen C++, C++/CLI und die Windows-Programmierung verbindet das Buch mit Visual Studio und richtet sich damit an Anfänger wie an erfahrene C++-Programmierer. Meer
Over recent years, the notion of agency has claimed a major role in de?ning the trends of modern research. In?uencing a broad spectrum of disciplines such as sociology, psychology, philosophy and many more, the agent paradigm virtually invaded every sub? Meer
Running to almost 400 pages, and featuring more than 40 papers, this work on combinatorial optimization and applications will be seen as an important addition to the literature. Meer
This work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics on the other hand. 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