Graph-theoretic concepts are developed by computer scientists in order to model algorithms, nets, rewriting systems, distributed systems, parallelism, geometric and layout concepts. Meer
This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987. Meer
This book constitutes the refereed proceedings of the Second International Congress on Mathematical Software, ICMS 2006. The book presents 45 revised full papers, carefully reviewed and selected for presentation. Meer
This book constitutes the refereed proceedings of the First Asian Semantic Web Conference, ASWC 2006, held in Beijing, China, in September 2006. The 36 revised full papers and 36 revised short papers presented together with three invited contributions were carefully reviewed and selected from 208 full paper submissions. Meer
Moderne Diagnosesysteme sollen nicht nur zu einer Problemstellung eine Lösung liefern, sondern auch als intelligente Informations- und Trainingssysteme alles Wissen bereitstellen, das in der Einsatzumgebung benötigt wird. Meer
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995. Meer
This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort. Meer
This study explores issues of biomass energy use in relation to household welfare and it assesses Ethiopia’s future energy security with a focus on the energy sector model and institutional arrangements required for decentralized energy initiatives. Meer
€ 90,85
Levertijd ongeveer 16 werkdagen | Gratis verzonden
This book constitutes the refereed proceedings of the 6th Scandinavian Workshop on Algorithm Theory, SWAT'98, held in Stockholm, Sweden, in July 1998. Meer
Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. Meer
This book contains a selection of papers presented at a workshop on evolutionary computing sponsored by the Society for the Study of Artificial Intelligence and Simulation of Behaviour, AISB, at the University of Sussex in Brighton, UK, in April 1996. Meer
This book constitutes the refereed proceedings of the 4th European Symposium on Research in Computer Security, ESORICS '96, held in Rome, Italy, in September 1996 in conjunction with the 1996 Italian National Computer Conference, AICA '96. Meer
This anthology is based on the First ACM Workshop on Applied Computational Geometry, WACG '96, held in Philadelphia, PA, USA, in May 1996, as part of the FCRC Conference. Meer
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Job Scheduling Strategies for Parallel Processing, held in conjunction with IPPS '96 symposium in Honolulu, Hawaii, in April 1996. Meer
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Meer
This book presents the theoretical aspects and practical development of a computer vision system for searching an image for a specified model object; this system is reliable, tolerates imperfections in the image and model, and is fast enough for real-world applications. Meer
This book constitutes the proceedings of the 23rd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '96, held in Milovy, Czech Republic, in November 1996. Meer
This book constitutes the refereed proceedings of the 6th International Workshop on Discrete Geometry for Computer Imagery, DGCI'96, held in Lyon, France, in November 1996. 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