Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Meer
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageable de scriptions than can be obtained by means of low-level Petri nets-while, on the other hand, they still offer a wide range of analysis methods and tools. Meer
Das Buch Hypertext/Hypermedia '91 ist der Tagungsband des gleichnamigen Symposiums, das im Juni 1991 in Graz/Österreich stattfand, und zwar als erste Veranstaltung im deutschsprachigen Europa, die von drei großen Informatikorganisationen Deutschlands (GI), der Schweiz (SI) und Österreichs getragen wurde. Meer
ECOOP '91 is the fifth annual European Conference on Object-Oriented Programming. From their beginning, the ECOOP conferences have been very successful as a forum of high scientific quality where the newest devel- opments connected to object-oriented programming and related areas could be presented and discussed. Meer
This book addresses the development of a new generation of systems, Knowledge Base Management Systems (KBMS), specially constructed for effective and efficient management of knowledge bases, with the aim of filling part of the technological gap between artificial intelligence and databases. Meer
TheAustrianCenterforParallelComputation(ACPC)isacooperativeresearch organization founded in 1989 to promote research and education in the eld of Software for Parallel Computer Systems. Meer
Hybrid systems are interacting networks of digital and continuous systems. - brid systems arise throughout business and industry in areas such as interactive distributed simulation, trac control, plant process control, military command and control, aircraft and robot design, and path planning. Meer
ThePKC’99conference,heldintheancientcapitalofKamakura,Japan,March 1-3,1999,representsthesecondconferenceintheinternationalworkshopseries dedicatedtothepracticeandtheoryinpublickeycryptography. Meer
This book takes a holistic view on mobile and distributed computing systems. It presents innovative solutions at all system layers. These range from hardware over vertical and horizontal infrastructure services and novel middleware techniques to various types of application software. Meer
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996. Meer
Datamanagementsystemsforlargeapplicationsseekinfrastructuralsupport fromdatabasesystemsanddistributedcomputingsystems. Thesesystems- provewiththechangingrequirementsofapplications. Meer
ASIACRYPT 2000 was the sixth annual ASIACRYPT conference. It was sp- sored by the International Association for Cryptologic Research (IACR) in - operation with the Institute of Electronics, Information, and Communication Engineers (IEICE). Meer
In July 1998, a summer school in cryptology and data security was organized atthecomputersciencedepartmentofAarhusUniversity,Denmark.Thistook place as a part of a series of summer schools organized by the European Edu- tional Forum, an organizationconsisting of the researchcenters TUCS (Finland), IPA(Holland)andBRICS(Denmark,Aarhus). Meer
Thisvolumerepresents the proceedings ofthe Fourth International Conference onTypedLambdaCalculiandApplications,TLCA’99,heldinL’Aquila,on7-9 April1999. Meer
This book constitutes the refereed proceedings of the 7th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2006. Meer
This book constitutes the thoroughly refereed postproceedings of the 6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005. The book presents 111 revised papers together with an introduction. Meer
This volume constitutes the refereed proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia, in August 1996. Meer
This book contains the proceedings of a third workshop on the theme of Software Arc- tecture for Product Families. The first two workshops were organised by the ESPRIT project ARES, and were called “Development and Evolution of Software Architectures for Product Families”. Meer
This book consitutes the refereed joint proceedings of the First European Workshop on Evolutionary Computation in Image Analysis and Signal Processing, EvoIASP '99 and of the First European Workshop on Evolutionary Telecommunications, EuroEcTel '99, held in Göteborg, Sweden in May 1999. Meer
This book contains a selection of papers presented at the third annual workshop of the Esprit Working Group 21900 Types, which was held 12 - 16 June 1999 at L¨okeberg in the rural area north of G¨oteborg and close to Marstrand. 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