This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994… Meer
This volume constitutes the proceedings of the International Workshop on Advanced Research in Geographic Information Systems, IGIS '94, held in Ascona, Switzerland in February/March 1994. The 28 carefully refereed and revised papers address all current aspects of GIS research and their advanced… Meer
This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th – 12th of December, 2000 at the University of Durham, Durham, UK… Meer
Annually sponsored by the Korea Institute of Information Security and Crypt- ogy (KIISC), the fourth International Conference on Information Security and Cryptology (ICISC2001) was held at the 63 Building in Seoul, Korea, Dec- ber 6–7, 2001… Meer
Over the past decades a considerable interest has been concentrated on problems involving signals and systems that depend on more than one variable. 2-D signals and systems have been studied in relation to several modern engineering fields such as process control, multidimensional digital filtering… Meer
This volume collects some of the papers presented at the Workshop on Do main Decompositionheld at ETH, Zurich,on June 7-8th 2001. The Workshop was organized by Luca F. Pavarino (University of Milan), Christoph Schwab (ETH Zurich), Andrea Toselli (ETH Zurich), and OlofB… Meer
This book constitutes the refereed proceedings of the Second Hellenic Conference on Artificial Intelligence, SETN 2002, held in Thessaloniki, Greece, in April 2002. The 42 revised full papers presented together with two invited contributions were carefully reviewed and selected for inclusion in the… Meer
This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994… Meer
This volume presents the proceedings of the First International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994. Besides 9 full paper versions of the invited talks by prominent speakers, 15 revised contributed papers were selected for… Meer
This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloß Rheinfels, St. Goar, Germany in May 1995… Meer
This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993. This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many… Meer
Migrating from paper-based to electronic documentation is a task that needs careful planning. Electronic texts offer new ways to store, retrieve, update, and cross-link information. Hypermedia documents, in which texts are cross-linked via keywords and in which audio and video files may also be… Meer
This volume contains 71 revised refereed papers, including seven invited surveys, presented during the Third European Conference on Artificial Life, ECAL '95, held in Granada, Spain in June 1995. Originally AL was concerned with applying biologically inspired solutions to technology and with… Meer
This volume constitutes the proceedings of the 7th International Conference on Advanced Information Systems Engineering, CAiSE '95, held in Jyväskylä, Finland in June 1995. The 26 full papers presented in this volume were selected from more than 100 submissions; in addition there are three invited… Meer
This volume is based on the workshop "Unifying Theory and Practice in Distributed Systems" held in Schloß Dagstuhl, Germany in September 1994. During the past 20 years, a substantial theoretical and practical base has evolved in the area of distributed computing… Meer
This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three… Meer
This volume presents the proceedings of the 13th British National Conference on Databases, BNCOD 13, held in Manchester, UK in July 1995. The volume contains 2 invited contributions and 14 full revised technical papers selected from a total of 64 submissions… Meer
"User is king" is not a new concept, but it is certainly one that has gathered considerable momentum in the recent years. The driving force are the increasing and relentless pace of competition and the consequent attempts by many companies to keep and improve their marketshare… Meer
This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995. The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44… 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
