Die wissenschaftliche Entwicklung erhalt ihre Impulse von Anforderungen, die aus neuen Fra gestellungen erwachsen. Dabei konnen Anforderungen aus einem Gebiet Fragen in einem an deren Gebiet aufwerfen, die dort zu fortschrittlichen Losungen fuhren. Meer
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. Meer
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. Meer
Contains the results of an empirical project conducted in Armenia and Georgia as well as in Moscow (as the favourite destination of migrants from the South Caucasus) from 2008 to 2010. Meer
€ 61,54
Levertijd ongeveer 16 werkdagen | Gratis verzonden
Researchers in the ?eld of life sciences rely increasingly on information te- nology to extract and manage relevant knowledge. The complex computational and data management needs of life science research make Grid technologies an attractive support solution. Meer
This volume presents revised and extended versions of selected papers presented at the Joint Workshop on Multi-Agent and Multi-Agent-Based Simulation, a workshop federated with the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), which was held in New York City, USA, July 19–23, 2004. Meer
The keychallengeforfuture computersystemis dealingwithcomplexity.Onone hand this involves internal system complexity which has increased exponentially over recent years. Meer
Welcome to Santiago de Compostela! We are pleased to host the 27th Annual EuropeanConferenceonInformationRetrievalResearch(ECIR2005)onits?rst visit to Spain. Meer
An authoritative source about methods, languages, methodologies and supporting tools for constructing information systems that also provides examples for references models. Meer
Die C++-Standardbibliothek, deren interessantester Teil die Standard Template Library (STL) ist, revolutioniert die C++-Programmierung. Der korrekte und effiziente Einsatz stellt eine große Herausforderung dar, die nur mit fundiertem Wissen zu meistern ist. Meer
The series of Online World Conferences on Soft Computing (WSC) is organized by the World Federation of Soft Computing (WFSC) and has become an established annual event in the academic calendar and was already held for the 8th time in 2003. Meer
These are the proceedings of the 24th Annual IACR Eurocrypt Conference. The conference was sponsored by the International Association for Cryptologic Research(IACR;seewww. Meer
The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural Networks, ISNN 2005, held in Chongqing, China in May/June 2005. Meer
Volume III of the Transactions on Rough Sets (TRS) introduces advances in the theory and application of rough sets. These advances have far-reaching impli- tions in a number of researchareas such as approximate reasoning, bioinform- ics,computerscience,datamining,engineering(especially,computerengineering and signal analysis), intelligent systems, knowledge discovery, pattern recog- tion,machineintelligence,andvariousformsoflearning. Meer
This volume contains the papers presented at the 2nd European Semantic Web Conference (ESWC 2005) held in Heraklion, Crete, Greece, from 29th May to 1st June, 2005. Meer
This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) which was organized in conju- tion with the 14th International Symposium on Methodologies for Intelligent Systems (ISMIS 2003), held in Maebashi City, Japan, 28–31 October, 2003. 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
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