This volume contains the proceedings of the Third International Conference on Deductive and Object-Oriented Databases. Its central tenet is that the object-oriented and deductive paradigms for modeling, organizing, and processing data complement each other, rather than competing, and that problems… Meer
The Translator's Workbench Project was a European Community sponsored research and development project which dealt with issues in multi-lingual communication and docu mentation. This book presents an integrated toolset as a solution to problems in translation and docu mentation… Meer
This text presents a comprehensive introduction to an extended Entity-Relationship model both on a conceptual and on a formal, mathematicallevel. In addition to the primitives given by the data model the text introduces a language for the formulation of constraints in order to restrict database… Meer
In diesem Buch werden Konzepte, Methoden und Instrumente von Informationssystemen für das Controlling dargelegt: Ein ganzheitlich zu konzipierendes Informationssystem ist neben dem Planungs- und Kontrollsystem das wichtigste Instrument des Controlling… Meer
The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler… Meer
Programming languages and system architectures are at the frontiers of two different worlds. The conference on which this book is based was an adventure in a land where the two worlds - the formal world of algorithms and the physical world of electronic circuits - interact… Meer
The first international symposium on mathematical foundations of the finite element method was held at the University of Maryland in 1973. During the last three decades there has been great progress in the theory and practice of solving partial differential equations, and research has extended in… Meer
High-performance computing and networking (HPCN) is driven by several initiatives in Europe, the United States, and Japan. In Europe several groups encouraged the Commission of the European Communities to start an HPCN programme. This two-volume work presents the proceedings of HPCN Europe 1994… Meer
High-performance computing and networking (HPCN) is driven by several initiatives in Europe, the United States, and Japan. In Europe several groups encouraged the Commission of the European Communities to start an HPCN programme. This two-volume work presents the proceedings of HPCN Europe 1994… Meer
The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in… Meer
Dieses Buch verfolgt zwei Ziele: Neben der Einführung in die Programmiersprache Pascal anhand des ISO-Standard-Pascal werden grundlegende Programmiertechniken und guter Programmierstil vorgestellt. Beide Ziele werden nicht getrennt verfolgt, sondern in einer harmonischen Synthese… Meer
This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which… Meer
This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world… Meer
This volume presents the proceedings of the First International Conference on Applications of Databases, ADB-94, held at Vadstena, Sweden in June 1994. ADB-94 provided a unique platform for the discussion of innovative applications of databases among database researchers, developers and application… Meer
As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules… Meer
The Ninth International Workshop on Persistent Object Systems (POS 9) took place at the SAS Radisson Hotel in Lillehammer, Norway, from 6th to 8th September 2000. Previous workshops in the series have been held in Scotland (1 and 2), Australia (3), the USA (4), Italy (5), France (6), and the USA (7… Meer
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993… Meer
Zum zweiten Male nach 1962 (damals in München) findet mit dem IFIP Congress '94 wiederum ein "Weltcomputerkongreß" der International Federation for Information Processing (IFIP) in der Bundesrepublik Deutschland - mit der Freien und Hanse stadt Hamburg als Gastgeberin - statt… Meer
The tremendous development of the communication environment with local area networks and broadband ISDN has opened the way for drastic changes in network performance and has introduced new services. Within the framework of Open Systems Interconnection (OSI), the goal of the ESPRIT project OSI95… Meer
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray… 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
