This book constitutes the refereed proceedings of the 9th International Conference on Information Security and Cryptology, ICISC 2006, held in Busan, Korea in November/December 2006. The 26 revised full papers cover such topics as hash functions, block and stream ciphers, network security and access… Meer
Attribute Grammars have turned into one of the most fundamental formalisms of modern Computer Science. Since 1968 when Knuth introduced the basic concepts, they have been the subject of a very large amount of literature, proving the importance of the area and the broad range of its applications… Meer
Eigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die er ste Provokation stammt von D. G. Bobrow und ist eine Frage, mit der er eine seiner Veroffentlichungen iiberschrieben hat: "If PROLOG is the answer, what is the question?"… Meer
This report examines the findings of a study by Bell Atlantic, IBM, and Siemens which investigated the role of the Intelligent Network in telecommunications. It considers current trends and future developments, on a national and international level… Meer
Das Betriebssystem UNIX· hat seit seiner Entwicklung in den spaten siebzi ger Jahren einen stetigen Aufschwung genommen. Dies ist nicht zuletzt der Vielfalt der unter UNIX angebotenen Werkzeuge und ihrer Kombinierbarkeit zu verdanken… Meer
Dieser Band enthält die Beiträge - darunter auch sechs eingeladene - zu einer Fachtagung, die der Fachausschuß 2.1 "Programmiersprachen und Software-Entwicklung" der Gesellschaft für Informatik in Zusammenarbeit mit der Universität Marburg vom 21. bis 23. Juni 1989 veranstaltet hat… Meer
Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming… Meer
This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315… Meer
This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (Chapters 1 to 5), was an introduction to the basic concepts of formal language theory and context-free parsing… Meer
Die Realisierung der rechnerintegrierten Produktion ist die derzeit größte Herausforderung an alle, die sich mit der Gestaltung von Produktionsbetrieben beschäftigen. CIM (Computer Integrated Manufacturing) erfordert den integrierten, zweckgerichteten Einsatz aller heute verfügbaren informations… Meer
Menschen und Maschinen kommunizieren immer mehr über öffentliche Vermittlungsnetze. Sensitive Daten wie personenbezogene Daten oder vertrauliche Geschäftsdaten können dabei sowohl aus den eigentlichen Nutzdaten als auch aus den Vermittlungsdaten, z.B. Ziel- und Herkunftsadresse, Datenumfang und… Meer
The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program… Meer
Erstmalig werden in einem Buch Automatisierungspotentiale und Werkzeuge der Software-Entwicklung gemeinsam dargestellt. Begonnen wird mit einer Analyse der automatisierbaren Tätigkeiten im Software Life Cycle… Meer
In this ESPRIT research report of a group of engineers in the CAD*I project the possibility of using a database management system (DBMS) for computer aided design (CAD) purposes is analyzed and conditions are derived that enable CAD systems to manage CAD models containing increasing amounts of data… Meer
This book is a collection of the finalized versions of the papers presented at the third Eurographics Workshop on Graphics Hardware. The diversity of the contributions reflects the widening range of options for graphics hardware that can be exploited due to the constant evolution of VLSI and… Meer
Eurocrypt is a conference devoted to all aspects of cryptologic research, both theoretical and practical, sponsored by the International Association for Cryptologic Research (IACR). Eurocrypt 90 took place in Åarhus, Denmark, in May 1990… Meer
This volume is a record of the Workshop on Graphics and Communications organized within ESPRIT II Project 2463 ARGOSI (Applications Related Graphics and OSI Standards Integration). The workshop was included in the Eurographics workshop programme for 1990… Meer
Chipkarten sind Kleinstrechner in Scheckkartenformat, die selbständig Daten verwalten und verarbeiten können. Eine ihrer wichtigsten Anwendungen ist die Realisierung von Sicherheitsdiensten. Mit der Chipkarte steht erstmals ein Werkzeug zur Verfügung, das den Einsatz kryptographischer Methoden… Meer
The 1991 International Conference on Information Processing in Medical Imaging (IPMI '91) is the twelfth in the series and was held in Wye College, part of the University of London. The purpose of IPMI is to provide a forum for the detailed examination of methodological issues in computing which are… Meer
This volume contains papers representing a comprehensive record of the contributions to the fifth workshop at EG '90 in Lausanne. The Eurographics hardware workshops have now become an established forum for the exchange of information about the latest developments in this field of growing… 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
