On behalf of the Program Committee, it is our pleasure to present to you the proceedings of the 2nd GI SIG SIDAR Conference on Detection of Intrusions & Malware, and Vulnerability Assessment (DIMVA). Meer
This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Program Synthesis and Transf- mation. Meer
This book contains the proceedings of the 2nd EuroPKI Workshop — EuroPKI 2005, held at the University of Kent in the city of Canterbury, UK, 30 June–1 July 2005. Meer
Software engineering and the language Ada are playing a
major role in the development of software and software
technology for the new century.
The11th Ada Europe conference shows that Ada has matured
from a language, mainly of researchers and academics in the
early 1980s, into a full-grown tool in software engineering
practice. Meer
Hochkomplexe elektronische Schaltungen werden in immer mehr
Bereichen der Technik eingesetzt, in denen es auf eine hohe
Zuverl{ssigkeit ankommt, wie z. Meer
Your immune system is unique. It is in many waysas complex as your brain,but itisnotcentredinonelocation,likethebrain.Itisnotasingleorgan—itconsists ofmanydi? Meer
Zur Einstimmung auf das nun folgende ein kurzes Fragment aus einem (fiktiven) Gesprach zwischen den Leitem der Hard- und Softwareentwicklungsabteilungen einer amerikanischen Computerfirma irgendwann Mitte der achtziger Jahre: "Hallo Mike, was macht die Hardware? Meer
This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22–24,2005. Meer
This volume contains selected papers for the Parcella '88, the Fourth International Workshop on "Parallel Processing by Cellular Automata and Arrays" held in Berlin from October 17 to 21, 1988. Meer
This volume contains the proceedings of the Eurpoean
Conference on Machine Learning (ECML-93), continuing the
tradition of the five earlier EWSLs (European Working
Sessions on Learning). Meer
This book contains revised refereed papers selected from the presentations at the First International Workshop on Graphics Recognition, held in University Park, PA, USA, in August 1995. Meer
In numerous computer applications there is a need of storing large sets of objects in such a way that some questions about those objects can be answered efficiently. Meer
This volume contains the proceedings of the Eighth Austrian
Artificial Intelligence Conference, held in Linz, Austria,
in June 1993. The focus of the conference was on "Fuzzy
Logic in Artificial Intelligence". Meer
This volume contains the proceedings of the eleventh British
National Conference on Databases, held at Keele University,
England. A dominant themein the volume is the provision of
the means to enhance the capabilities of databases to handle
information that has a rich semantic structure. Meer
Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der Fachbereich Informatik hat sich als Veranstalter fOr das Leitthema "Vernetzte und kom plexe Informatik-Systeme" entschieden. Meer
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference. Meer
This volume presents a collection of revised refereed papers selected from the presentations at the Fourth International Workshop on Computer Aided Systems Theory - CAST '94, held in Ottawa, Ontario, Canada in May 1994. Meer
TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. 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