This book constitutes the refereed proceedings of the Second Western European Workshop on Research in Cryptology, WEWoRC 2007, held in Bochum, Germany, in July 2007 The 12 revised full papers were carefully reviewed and selected from a total of 36 submissions. Meer
This volume is a post-event proceedings volume and contains selected papers based on the presentations given, and the lively discussions that ensued, during a seminar held in Dagstuhl Castle, Germany, in October 2003. Meer
Thoroughly refereed post-proceedings of the 5th International Workshop on Innovative Internet Community Systems, IICS 2005, held in Paris, France, in June 2005. Meer
This book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VI. Meer
The articles in this volume were selected for presentation at the Sixth Inter- tional Conference on Rough Sets and Current Trends in Computing (RSCTC 2008), which took place on October 23–25 in Akron, Ohio, USA. Meer
This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani (Kassandra, Chalkidiki), Greece during October 13–15, 2008, sponsored by EASST and in cooperation with the IEEE Technical Committee on Complex Systems. Meer
"Denn eben 10'0 Begriffe fehlen, da stellt ein Wort zur rechten Zeit sich ein". (Goethe, Faust) Gut 10 Jahre nach Einfiihrung des Begriffs "Software Engineering" wird noch vieler orts das Fehlen einer Methodologie fiir diese Disziplin beklagt (vgl. Meer
Bei den Entwurfstatigkeiten lassen sich bezUglich der graphischen EDV-Unter stUtzung zwei Bereiche mit unterschiedlichen Anforderungen abgrenzen: (1) der gestalterische Entwurf, bei dem die Geometrie eines Objektes oder Systems festgelegt wird und (2) der funktionale Entwurf, bei dem es um die VerknUpfung von Elementen zu einem System (Objekt) geht. Meer
Dieses Buch soll demonstrieren, wie man Programme schreibt, die sich gut als Werkzeuge eignen. Dazu stellen wir eine umfassende Sammlung von Programmen vor, jedes davon ein Lehrbeispiel flir Entwurf und Implementierung. Meer
The notion that program design is an engineering task alleviating the software crisis has been with us for about a decade. With the recognized advantages of obeying to certain software design disciplines, we are approaching the era of enforced system development standards which will ensure that end products will meet rigorous design requirements. Meer
The material for this book first appeared in the magazine Personal Computer World, as a series of articles which ran from September 1979 to June 1980. Meer
This book constitutes the refereed proceedings of the 29th annual European Conference on Information Retrieval Research, ECIR 2007, held in Rome, Italy in April 2007. Meer
Search engines, with Google at the top, have become the most heavily used online service, with millions of searches performed every day and many remarkable capabilities. Meer
We are delighted to present the proceedings of DAGM 2004, and wish to - press our gratitude to the many people whose e?orts made the success of the conference possible. Meer
Der Schwerpunkt dieses Buches liegt auf der Beschreibung von Enterprise Architekturen. Dargestellt werden auch der Einsatz dieser Architekturen in Unternehmen sowie die Mess- und Kenngrößen zur Festlegung der Performanz. Meer
The papers in this book were prepared for and presented at the International ConferenceonInformationNetworking2004(ICOIN2004),whichwasheldfrom February 18 to 20, 2004 at Busan, Korea. Meer
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Programming Multi-Agent Systems, ProMAS 2006, held in Hakodate, Japan, May 2006. Meer
Thisvolumecontainspapersselectedforpresentationatthe6thIAPRWorkshop on Document Analysis Systems (DAS 2004) held during September 8–10, 2004 at the University of Florence, Italy. Meer
Thecentralchallengeoftheoreticalcomputerscienceistodeploymathematicsin waysthatservethecreationofusefulalgorithms. Inrecentyearstherehasbeena growinginterest in the two-dimensionalframework of parameterizedcomplexity, where, in addition to the overall input size, one also considers a parameter,with a focus on how these two dimensions interact in problem complexity. 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