This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages… Meer
Mit ihrer Jahrestagung 2007 bietet die GI-Fachgruppe "Echtzeitsysteme und PEARL" Nutzern und Herstellern ein Forum an, auf dem neue Trends und Entwicklungen zu zahlreichen Themen aus dem Bereich der "Mobilität und Echtzeit" vorgestellt werden… Meer
This book constitutes the thoroughly refereed post-proceedings of the 33rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2007, held in Dornburg, Germany, in June 2007. The 30 revised full papers presented together with one invited paper were carefully selected from 99… Meer
This book constitutes the refereed proceedings of the Second International Workshop on Self-Organizing Systems, IWSOS 2007. The 17 revised full papers and five revised short papers presented together with two invited talks were carefully selected from more than 36 submissions… Meer
This book constitutes the refereed proceedings of the 5th International Conference on Business Process Management, BPM 2007, held in Brisbane, Australia, in September 2007. The papers are organized in topical sections on business process maturity and performance, business process modeling, case… Meer
This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of… Meer
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78… Meer
Programming in Dylan is aimed at programmers who are already familiar with languages such as Pascal or C but who, as yet, have no knowledge of object-oriented languages. The author takes the reader through the development of Dylan by Apple and introduces the concept of object oriented languages… Meer
This book contains the Proceedings of the 6th Safety-critical Systems Sympo sium, the theme of which is Industrial Perspectives. In accordance with the theme, all of the chapters have been contributed by authors having an industrial af filiation… Meer
Soft Computing has emerged as an important approach towards achieving intelligent computational paradigms where key elements are learning from experience in the presence of uncertainties, fuzzy belief functioos, and ·evolutioo of the computing strategies of the learning agent itself… Meer
A number of important aspects of intelligent machine vision in one volume, describing the state of the art and current developments in the field, including: fundamentals of 'intelligent'image processing for machine vision systems; algorithm optimisation; implementation in high-speed electronic… Meer
Up and Running with C++ provides readers with a quick guide to the fundamental concepts of object orientation (O-O) and their implementation in C++. Written in a user-friendly style, no prior knowledge of C or C++ is assumed… Meer
Introduction The changing business environment, of global operations, mergers, decen tralization, increased competition, pressure on budgets etc. , has contributed to a positive change in the workplace… Meer
Java is such a rapidly evolving language, it can be difficult for developers to keep abreast of developments. It has moved beyond a lnaguage used just for creating Web-based applets to one that is being used for developing serious applications… Meer
This self-tutorial offers a concise yet thorough grounding in the mathematics necessary for successfully applying FEMs to practical problems in science and engineering. The unique approach first summarizes and outlines the finite-element mathematics in general and then, in the second and major part… Meer
This book constitutes the refereed proceedings of the 10th International Conference on Information Security and Cryptology, ICISC 2007, held in Seoul, Korea, November 29-30, 2007. The papers are organized in topical sections on cryptoanalysis, access control, system security, biometrics… Meer
This book constitutes the refereed proceedings of the 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, held in Guimarães, Portugal, in December 2007 as eleven integrated workshops. The 58 revised full papers presented were carefully reviewed and selected from a total of 210… Meer
In this book, Dieter Fensel and his qualified team lay the foundation for understanding the Semantic Web Services infrastructure, aimed at eliminating human intervention and thus allowing for seamless integration of information systems… Meer
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007… 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
