This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties. Meer
The abstract and papers in this volume were presented at the Eighth Annual International Computing and Combinatorics Conference (COCOON 2002), held on August 15-17 in Singapore. Meer
Crypto 2002, the 22nd Annual Crypto Conference, was sponsored by IACR, the International Association for Cryptologic Research, in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department of the University of California at Santa Barbara. Meer
The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. Meer
This volume contains the proceedings of the 13th Italian Workshop on Neural Nets WIRN VIETRI 2002, jointly organized by the International Institute for Advanced Scienti? Meer
This book constitutes the refereed proceedings of the 4th International Conference on Sequences and Their Applications, SETA 2006. The book presents 32 revised full papers together with 4 invited lectures. Meer
This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Financial Cryptography and Data Security, FC 2006, held in Anguilla, British West Indies in February/March 2006. Meer
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that addresses research and development on issues related to data semantics. Meer
Systematische Einführung in die Verfahren für den Entwurf eingebetteter Systeme. Diese sind in einen technischen Kontext eingebettet und zugleich hinsichtlich ihrer Aufgaben, Fähigkeiten, Schnittstellen und Einsatzgebiete spezialisiert. Meer
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in Budapest, Hungary, in July 2005. Meer
Dieser Band ist eine Zusammenstellung ausgewählter Beiträge zu den Themen Geschäftsprozessmanagement, Innovation, Unternehmensgründung, e-Learning. Meer
This book constitutes the thoroughly refereed proceedings of the 5th International Symposium on Chinese Spoken Language Processing, ISCSLP 2006, held in Singapore in December 2006, co-located with ICCPOL 2006, the 21st International Conference on Computer Processing of Oriental Languages. Meer
This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Meer
Dieser Band ist der Bericht von einer Tagung zum Thema Verarbeitung natürlicher Sprache am Computer. Er enthält Lang- und Kurzbeiträge führender Wissenschaftler aus dem deutschsprachigen Raum sowie aus den USA. Meer
This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. Meer
Der Band enthält die Vorträge, die auf dem 10. DAGM-Symposium Ende September 1988 in Zürich gehalten wurden. Die DAGM veranstaltet seit 1978 jährlich an verschiedenen Orten ein wissenschaftliches Symposium mit dem Ziel, Aufgabenstellungen, Denkweisen und Forschungsergebnisse aus verschiedenen Gebieten der Mustererkennung vorzustellen, den Erfahrungs- und Ideenaustausch zwischen den Fachleuten anzuregen und den Nachwuchs zu fördern. Meer
Dieser Band enthält die Beiträge zur AUSTROGRAPHICS '88, einer in zweijährigem Turnus durchgeführten deutschsprachigen Tagung über Graphische Datenverarbeitung. 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