This book constitutes the refereed proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. Meer
This book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of the Portuguese Language, PROPOR 2012, held in Coimbra, Portugal in April 2012. Meer
Neben den grundlegenden Konzepten der relationalen Datenbanktechnologie werden in dem Band auch die Entwicklung und Anwendung praxistauglicher Informationssysteme mit der standardisierten Sprache SQL beschrieben. Meer
This book constitutes the proceedings of the 34th European Conference on IR Research, ECIR 2012, held in Barcelona, Spain, in April 2012.
The 37 full papers, 28 poster papers and 7 demonstrations presented in this volume were carefully reviewed and selected from 167 submissions. Meer
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. Meer
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. Meer
A general scenario that has attracted a lot of attention for multimedia information retrieval is based on the query-by-example paradigm: retrieve all documents from a database containing parts or aspects similar to a given data fragment. Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010. Meer
This book grew out of material which was taught at the International Summer School on Architecture Design and Validation Methods, held June 23-July 5, 1997, on the Island of Lipari and directed to graduate students and young researchers. Meer
Das V-Modell® XT ist das durch die Bundesverwaltung verpflichtend vorgeschriebene Vorgehensmodell für die Entwicklung von IT-Systemen.
Das Buch bietet einen kompakten Einstieg in die neue Version 1. Meer
Dieses Buch stellt einen methodischen Leitfaden für Prozessingenieure, Berater, Methodenverantwortliche oder Assessoren bei der Anpassung und Einführung des V-Modell®XT zur Verfügung. Meer
The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. Meer
Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components. Meer
These two volumes, LNCS 7076 and LNCS 7077, constitute the refereed proceedings of the Second International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2011, held in Visakhapatnam, India, in December 2011. Meer
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. Meer
The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2011, held in Beijing, China, in October 2011. Meer
This book constitutes the thoroughly refereed post-workshop proceedings of the 2008 Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, held in Hanoi, Vietnam, in December 2008 as part of 10th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2008. Meer
This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Privacy, Security, and Trust in KDD, PinKDD 2008, held in Las Vegas, NV, USA, in March 2008 in conjunction with the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD 2008. Meer
Starting with the imminent roll-out of the IP Multimedia Subsystem (IMS) and fourth-Generation networking technology, Next Generation Networks (NGN) are gradually becoming reality, with charging and Quality-of-Service (QoS) issues as two of the key drivers for the evolution toward the convergent all-IP network of the future. Meer
Computational Intelligence (CI) has emerged as a rapidly growing field over the past decade. This volume reports the exploration of CI frontiers with an emphasis on a broad spectrum of real-world applications. 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