This book constitutes the refereed proceedings of the Second International Workshop on Intelligent Agents for Telecommunication Applications, IATA'98, held in Paris, France, in July 1998, in conjunction with the 1998 Agents World Conference… Meer
This book constitutes the thoroughly refereed post-workshop proceedings of three workshops held in conjunction with the 10th Australian Joint Conference on Artificial Intelligence in Perth, Australia, in December 1997… Meer
Linux, ein relativ neues und kostenloses UNIX System für PCs hat sich in der letzten Zeit zu einer Alternative zu kommerziellen Systemen entwickelt. Es macht aus einem gängigen PC mit 386/486/Pentium-Prozessor eine UNIX Workstation, deren Performance durchaus mit klassischen RISC Workstations… Meer
This volume presents the proceedings of the sixth International Conference on Advanced Information Systems Engineering, held in Utrecht, The Netherlands, in June 1994. The 30 contributions by researchers from industry and academia and by ambitioned professionals were selected from a total of 130… Meer
This book constitutes the refereed proceedings of the 5th European Symposium on Research in Computer Security, ESORICS 98, held in Louvain-la-Neuve, Belgium, in September 1998. The 24 revised full papers presented were carefully reviewed and selected from a total of 57 submissions… Meer
This volume contains the invited papers and papers selected for presentation at the 25th conference on Theory and Practice of Informatics | SOFSEM ’98, held in Jasn a, Slovakia, November 21{27, 1998. The SOFSEM conference series started in 1974 as a local event in Czec- slovakia and from the very… Meer
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area… Meer
Dieser locker geschriebene Überblick in die Datenverarbeitung in Studium und Beruf setzt keinerlei Vorkenntnisse voraus. Neben Betriebssystem, Programmiersprache und Kommunikationsnetz werden z. B. auch die wichtigsten Hardwarekomponenten beschrieben und rechtliche Aspekte angesprochen… Meer
ETAPS’99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences… Meer
TheaimoftheARTS’99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is intendedtocoverthewholespectrumofdevelopmentandapplicationofspec- cation,veri cation,analysisandconstructiontechniquesforreal-timeandpro- bilisticsystems… Meer
This book contains a collection of revised refereed papers selected from the presentations at the 5th East-West Conference on Human-Computer Interaction, EWHCI '95, held in Moscow, Russia, in July 1995… Meer
This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '95, held in Bangalore, India in December 1995… Meer
This book presents the refereed proceedings of the Eighth Annual Workshop on Languages and Compilers for Parallel Computing, held in Columbus, Ohio in August 1995. The 38 full revised papers presented were carefully selected for inclusion in the proceedings and reflect the state of the art of… Meer
The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the ?eld of fault tolerant computing in different European countries, agreed that there is no… Meer
This workshop series is now over ten years old, which is a pretty long time for a very focussed topic: Configuration Management. The first conference took place in 1988 (Grassau, Germany) and the topics were focussed on version control and rebuilding… Meer
This book presents the refereed proceedings of the 8th International Conference on Advanced Information Systems Engineering, CAiSE '96, held in Herakleion, Crete, Greece, in May 1996. The 30 revised full papers included in the book were selected from a total of some 100 submissions… 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… Meer
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference… Meer
This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM’99), which took place at the ETH Zürich in Switzerland and was hosted by the Computer… 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
