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

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

Reversible Computation 7th International Conference, Rc 2015,

Intelligent Computer Mathematics, Fachbücher

High Performance Computing, Fachbücher

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

Fun with Algorithms, Fachbücher von Peter Widmayer

Hybrid Learning: Innovation in Educational Practices, Fachbücher

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

Mathematics of Program Construction, Fachbücher von Ralf Hinze

Experimental Algorithms, Fachbücher

Computer Vision Systems, Fachbücher von Volker Krüger, Antonios Gasteratos, Jan-Olof Eklundh, Lazaros Nalpantidis

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

Pattern Recognition and Machine Intelligence, Fachbücher von Sankar K. Pal

Software Engineering for Resilient Systems, Fachbücher

Applied Cryptography and Network Security, Fachbücher von David Pointcheval, Michel Abdalla, Damien Vergnaud, Pierre-Ala...