Reversible Computation, Fachbücher von Jean-Bernard Stefani, Jean Krivine

Social Robotics, Fachbücher von Elisabeth André, Jean-Claude Martin, François Ferland, Mehdi Ammi, Adriana Tapus

Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Fachbücher von Sebastien Destercke, Thierry Denoeux

Statistical Language and Speech Processing, Fachbücher von Adrian-Horia Dediu, Carlos Martín-Vide, Laurent Besacier

Machines, Computations, and Universality, Fachbücher von Benedek Nagy, Jerome Durand-Lose

Intelligent Computer Mathematics, Fachbücher von Volker Sorge, Manfred Kerber, Cezary Kaliszyk, Jacques Carette, Florian...

Coordination Models and Languages, Fachbücher von Tom Holvoet, Mirko Viroli

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Mahesh Viswanathan, Susanne Graf

High Performance Computing, Fachbücher von Thomas Ludwig, Julian M. Kunkel

Foundations of Software Science and Computation Structures, Fachbücher von Anca Muscholl

Fun with Algorithms, Fachbücher von Peter Widmayer, Alfredo Ferro, Fabrizio Luccio

Future Network Systems and Security, Fachbücher von Wei Zhou, Selwyn Piramuthu, Robin Doss

Developments in Language Theory, Fachbücher von Igor Potapov

Artificial General Intelligence, Fachbücher von Jordi Bieger, Alexey Potapov, Ben Goertzel

Detection of Intrusions and Malware, and Vulnerability Assessment, Fachbücher

Mathematics of Program Construction, Fachbücher von Janis Voigtlander, Ralf Hinze