This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995. The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95… Meer
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995. The 26 papers selected by the program committee for inclusion in this volume document the advances in the field… Meer
In the realm of CAD & Office Integration a new technology has been introduced that will overturn many accepted ideas, both for developer and end-user. What is this revolutionary new technology? Called "OLE for Design and Modeling" it is an enhancement of Microsoft Windows OLE for high performance… Meer
This volume constitutes the proceedings of the Fifth International Workshop on Field-Programmable Logic and Its Applications, FPL '95, held in Oxford, UK in August/September 1995. The volume presents 46 full revised papers carefully selected by the program committee from a large number and wide… Meer
This book constitutes the proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (Performance Tools '95) and of the 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB '95, held jointly… Meer
This volume constitutes the proceedings of the 6th International Conference on Database and Expert Systems Applications, DEXA '95, held in London, UK in September 1995. The 60 full revised papers presented in the volume were carefully selected from a total of almost 200 submissions and give a… Meer
This book presents the refereed proceedings of the 4th Congress of the Italian Association for Artificial Intelligence, AI*IA '95, held in Florence, Italy, in October 1995. The 31 revised full papers and the 12 short presentations contained in the volume were selected from a total of 101 submissions… Meer
This book presents 14 rigorously reviewed revised papers selected from more than 50 submissions for the 1994 IEEE/ Nagoya-University World Wisepersons Workshop, WWW'94, held in August 1994 in Nagoya, Japan… 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
Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie… Meer
This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come… Meer
Thisvolumecontainstheproceedingsofthe 15th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs2002)heldon20–23August 2002inHampton,Virginia,USA. Theconferenceservesasavenueforthep- sentationofworkintheoremprovinginhigher-orderlogics,andrelatedareas… Meer
Euro-Par – the European Conference on Parallel Computing – is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing. The major themes can be divided into the broad categories of hardware, software, algorithms, and applications for parallel… Meer
Crypto 2002, the 22nd Annual Crypto Conference, was sponsored by IACR, the International Association for Cryptologic Research, in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department of the University of California at Santa… Meer
Low-volume high-variety products like personalized cars or customized engines will be the key issues for manufacturing in the 21st century. The necessary control technology is based on the concept of holons, which are the units of production and behave as autonomous and cooperative agents, providing… Meer
Thisvolumecontainsthefullresearchpapersofthe2nd International Con- renceonMusicandArti?cialIntelligence(ICMAI02),heldinSt. Cecilia’sHall, Edinburgh,UK,12–14September2002. Theconferencewasjointlyorganizedby theFacultyofMusicandtheDivisionofInformatics,UniversityofEdinburgh… Meer
This book constitutes the refereed proceedings of the two thematic workshops held jointly with Networking 2002: WEB Engineering and Peer-to-Peer C- puting. Networking 2002 was organized by the Italian National Research Council (CNR) and was sponsored by the IFIP working groups WG 6.2 (Network and… Meer
The papers comprising Vol. I and Vol. II were prepared for and presented at the International Conference on Information Networking 2002 (ICOIN 2002), which was held from January 30 to February 1, 2002 at Cheju Island, Korea… Meer
Ubiquitous computing is coming of age. In the few short years of the lifetime of this conference, we have seen major changes in our emerging research community. When the conference started in 1999, as Handheld and Ubiquitous Computing, the field was still in its formative stage… Meer
Risikomanagement und Wiederanlauf-(Notfall)-Planung stellen in der heutigen Zeit der "Hochverfügbarkeit" von Technik und Dienstleistungen eine elementare Voraussetzung für die Wettbewerbsfähigkeit und ggf. den Fortbestand eines Unternehmens dar… 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
