This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997. Meer
This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997. Meer
Ada 95, the enhanced version of the Ada programming language, is now in place and has attracted much attention in the community since the International Standard ISO/IEC 8652:1995(E) for the language was approved in 1995. Meer
This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The thorough technical revisions and extensions documented in this manual are built on broad participation from the international Ada community and generous support by leading institutions. Meer
Couvre le besoin en calcul des scientifiques qu'ils soient mathématicien, physicien, chimiste ou ingénieur et permet de trouver rapidement grâce à la table des matières et à l'index, une méthode pour résoudre le problème précis qu'ils se posent. Meer
The related fields of fractal image encoding and fractal image analysis have blossomed in recent years. This book, originating from a NATO Advanced Study Institute held in 1995, presents work by leading researchers. Meer
This book contains the strictly refereed post-workshop proceedings originating from the 8th International Workshop on the Implementation of Functional Languages, held in Bad Godesberg, Germany, in September 1996. Meer
This book constitutes the refereed proceedings of the Fifth International Symposium on Spatial Databases, SSD '97, held in Berlin, Germany, in July 1997. Meer
This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally well-known scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excellent papers centered around his scientific work. Meer
This volume constitutes the strictly refereed post-workshop proceedings of the Fourth International Workshop on Fast Software Encryption, FSE'97, held in Haifa, Israel, in January 1997. Meer
This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. Meer
This book constitutes the strictly refereed post-workshop proceedings of the German Conference on Bioinformatics, GCB'96, held in Leipzig, Germany, in September/October 1996. Meer
This book constitutes the refereed proceedings of the Fourth International Conference on Parallel Computing Technologies, PaCT-97, held in Yaroslavl, Russia, in September 1997. Meer
This book constitutes the refereed proceedings of the 17th Annual International Cryptology Conference, CRYPTO'97, held in Santa Barbara, California, USA, in August 1997 under the sponsorship of the International Association for Cryptologic Research (IACR). Meer
This book constitutes the refereed proceedings of the 11th International Symposium on Fundamentals of Computer Theory, FCT'97, held in Krakow, Poland, in September 1997. Meer
This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.
The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Meer
This book contains the refereed proceedings of the 8th International Conference on Database and Expert Systems Applications, DEXA '97, held in Toulouse, France, September 1997. Meer
This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997. Meer
This book constitutes the refereed proceedings of the 7th International Workshop on Inductive Logic Programming, ILP-97, held in Prague, Czech Republic, in September 1997. 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