The idea for this workshop originated when I came across and read Martin Zelkowitz's book on Requirements for Software Engineering Environments (the proceedings of a small workshop held at the University of Maryland in 1986)… Meer
Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und den zugrundeliegenden mathematischen Modellen werden elementare Beschreibungstechniken für Systeme… Meer
The CRYPTO ’93 conference was sponsored by the International Association for Cryptologic Research (IACR) and Bell-Northern Research (a subsidiary of Northern Telecom), in co-operation with the IEEE Computer Society Technical Committee… Meer
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research… Meer
Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design… Meer
Die Grundkenntnisse objektorientierter Methodik, deren zugrundeliegende Konzepte, sowie Analyse- und Entwurfstechniken sind Gegenstand dieses Lehrbuchs. Anwendungsbeispiele und die Programmierung in C++ runden das Werk ab… Meer
The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach… Meer
This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the… Meer
This volume presents the proceedings of the Fifth Annual Symposium on Combinatorial Pattern Matching, held at Asilomar, California, in June 1994. The 26 selected papers in this volume are organized in chapters on Alignments, Various Matchings, Combinatorial Aspects, and Bio-Informatics… Meer
Die vorliegende Dissertation entstand wahrend meiner Tatigkeit als wissen schaftliche Mitarbeiterin am Institut fUr Werkzeugmaschinen und Betriebswis senschaften (iwb) der Technischen Universitat Miinchen. Munchen… Meer
Image processing and machine vision are fields of renewed interest in the commercial market. People in industry, managers, and technical engineers are looking for new technologies to move into the market… Meer
This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the… Meer
Still today I am receiving requests for reprints of the book, but unfortunately it is out of print. Therefore, since the book still seems to receive some attention, I p- posed to Springer Verlag to provide a free online edition. I am very happy that Springer agreed… Meer
Today, technologies for engineering and deployment of cooperative information systems have become increasingly critical in the construction of practically all types of large-scale distributed systems… Meer
Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsfor- ri?cation and semantics-based manipulation of programs and high-performance implementation of programming languages. The series of Static Analysis S- posia is a forum for the presentation and discussion of advances in the area… Meer
Thefastevolutionandtheincreasedpervasivenessofcomputersandcom- nicationnetworkshaveledtothedevelopmentofalargevarietyofcomplex applicationsandserviceswhichhavebecomeanintegralpartofourdailylives. Modernsocietywidelyreliesoninformationtechnologies… Meer
As distinct from other security and cryptography conferences, the Information Security Conference (ISC) 2002 brought together individuals involved in a wide variety of different disciplines of information security to foster the exchange of ideas… Meer
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly UML conferences), MoDELS 2006. The book presents 51 revised full papers and 2 invited papers… Meer
This book constitutes the refereed proceedings of the Third Asia Information Retrieval Symposium, AIRS 2006. The book presents 34 revised full papers and 24 revised poster papers. All current issues in information retrieval are addressed: applications, systems, technologies and theoretical aspects… Meer
This book constitutes the refereed proceedings of the Third International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2006, held in federation with the Second International Conference on Natural Computation ICNC 2006… 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
