This volume is based on the workshop "Unifying Theory and Practice in Distributed Systems" held in Schloß Dagstuhl, Germany in September 1994.
During the past 20 years, a substantial theoretical and practical base has evolved in the area of distributed computing. Meer
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995. Meer
This book constitutes the refereed proceedings of the 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, held in Montreal, Canada, in May 2007. Meer
This book constitutes the refereed proceedings of the 4th European Semantic Web Conference, ESWC 2007, held in Innsbruck, Austria, in June 2007. Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, foundations of the semantic Web, natural languages and ontologies, and querying and Web data models. Meer
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general knowledge of the system in the so-called conceptual schema. Meer
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software and Systems, ICESS 2007, held in Daegu, Korea, May 2007. Meer
This eighteen-chapter book presents the latest applications of lattice theory in Computational Intelligence (CI). The book focuses on neural computation, mathematical morphology, machine learning, and (fuzzy) inference/logic. Meer
This volume presents the proceedings of the 6th International Symposium on Combinatorial Pattern Matching, CPM '95, held in Espoo, Finland in July 1995. Meer
This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. Meer
Many parallel computer architectures are especially suited for particular classes of applications. However, there are only a few parallel architectures equally well suited for standard programs. Meer
One of the most important and challenging problems in control is the derivation of systematic tools for the computation of controllers for constrained nonlinear systems that can guarantee closed-loop stability, feasibility, and optimality with respect to some
performance index. Meer
This book constitutes the refereed proceedings of the First Euro-FGI International Conference on Network Control and Optimization, NET-COOP 2007, held in Avignon, France in June 2007. Meer
This book examines how the computer, as we currently know it, will be replaced by a new generation of technologies, moving computing off the desktop and ultimately integrating it with real world objects and everyday environments. Meer
Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. Meer
Der wachsende Einsatz elektronischer Medien für Telekooperation ruft neue Sicherungsprobleme hervor. Auf diese kann zwar mit digitalen Signaturen reagiert werden, jedoch ist ihre Anwendung von technischen, organisatorischen und rechtlichen Voraussetzungen abhängig. Meer
The papers in this volume comprise the refereed proceedings of the conference Arti- cial Intelligence in Theory and Practice (IFIP AI 2010), which formed part of the 21st World Computer Congress of IFIP, the International Federation for Information Pr- essing (WCC-2010), in Brisbane, Australia in September 2010. Meer
Euro-Par is an annual series of international conferences dedicated to the p- motion and advancementof allaspects of parallelcomputing. The major themes can be divided into four broad categories: theory, high-performance, cluster and grid,distributedandmobilecomputing. Meer
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8–10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. Meer
The papers in this volume were selected for presentation at the 15th International Meshing Roundtable, held September 17–20, 2006 in Birmingham, Alabama, U. Meer
Biology has inspired electronics from the very beginning: the machines that we now call computers are deeply rooted in biological metaphors. Pioneers such as Alan Turing and John von Neumann openly declared their aim of creating arti? Meer
Als je jouw studieboeken gekocht hebt bij hanzestudybook.nl, kun je geselecteerde titels moeiteloos terugverkopen aan Noordhoff.
Geen vragen, geen gedoe en lekker duurzaam.
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