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 refereed proceedings of the International Conference on Applications and Techniques in Information Security, ATIS 2015, held in Beijing, China, in November 2015. Meer
The two-volume set LNCS 9452 and 9453 constitutes the refereed proceedings of the 21st International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2015, held in Auckland, New Zealand, in November/December 2015. Meer
The two-volume set LNCS 9452 and 9453 constitutes the refereed proceedings of the 21st International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2015, held in Auckland, New Zealand, in November/December 2015. Meer
Der Arbeitsplatz der Zukunft wird immer stärker durch die Wissensarbeit geprägt. Knowledge Science beschäftigt sich mit Konzepten, Methoden und Prozessen zur systematischen Erzeugung, Extraktion, Speicherung und Bereitstellung von Wissen zur Lösung von Problemen und lässt sich somit dem Wissensmanagement zuordnen. Meer
Heutige Computer stellen technische Meisterwerke dar. Doch wie ist es eigentlich möglich, dass ein Stück Silizium zusammen mit ein bisschen Strom ganz alleine Berechnungen ausführt und logische Entscheidungen trifft? Meer
This book constitutes the proceedings of the 20th
International Conference on Logic for Programming, Artificial Intelligence, and
Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. Meer
Virtual Reality ist immer noch eine Technologie, die sich extrem schnell verändert. Ständig wird neue Hardware entwickelt, die neue Anwendungen hervorbringt und die Weiterentwicklung der dafür nötigen Softwaren erzwingt. Meer
This book
constitutes the thoroughly refereed proceedings of the 11th International
Conference on Web and Internet Economics, WINE 2015, held in Amsterdam, The
Netherlands, in December 2015. Meer
This book constitutes the refereed proceedings of the 17th International
Conference on Verification, Model Checking, and Abstract
Interpretation, VMCAI 2016, held in St. Meer
This book constitutes the refereed proceedings of the 19th CCF Conference on Computer Engineering and Technology, NCCET 2015, held in Hefei, China, in October 2015. Meer
This is the first textbook on attribute exploration, its theory, its algorithms forapplications, and some of its many possible generalizations. Attribute explorationis useful for acquiring structured knowledge through an interactive process, byasking queries to an expert. Meer
This
book mainly aims at solving the problems in both cooperative and competitive
multi-agent systems (MASs), exploring aspects such as how agents can
effectively learn to achieve the shared optimal solution based on their local
information and how they can learn to increase their individual utility by
exploiting the weakness of their opponents. Meer
This book
constitutes the proceedings of the 22nd International Conference on Tools and
Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took
place in Eindhoven, The Netherlands, in April 2016, held as Part of the
European Joint Conferences on Theory and Practice of Software, ETAPS 2016. Meer
This book deals with computer performance by addressing basic preconditions. Besides general considerations about performance, several new approaches are presented. Meer
This book explains advanced theoretical and
application-related issues in grammatical inference, a research area inside the
inductive inference paradigm for machine learning. Meer
Der Autor schafft auf didaktisch kluge Weise einen Weg in die Welt der Objektorientierten Programmierung. Er beschreibt die entsprechenden Konzepte nicht einfach nur, sondern erklärt darüber hinaus auch Hintergründe und Zusammenhänge. Meer
This textbook provides an exposition of equilibrium thermodynamics and its applications to several areas of physics with particular attention to phase transitions and critical phenomena. Meer
Lankhorst and his co‑authors present ArchiMate® 3.0, enterprise modelling language that captures the complexity of architectural domains and their relations and allows the construction of integrated enterprise architecture models. 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