Logic-Based Program Synthesis and Transformation, Fachbücher von Michael Hanus

Logic-Based Program Synthesis and Transformation, Fachbücher von Ricardo Peña, Gopal Gupta

Implementation and Application of Functional Languages, Fachbücher von Ralf Hinze

Parameterized and Exact Computation, Fachbücher von Marek Cygan, Pinar Heggernes

Logic, Language, and Computation, Fachbücher

Formal Aspects of Component Software, Fachbücher von Eric Madelaine, Ivan Lanese

Trustworthy Global Computing, Fachbücher von Matteo Maffei, Emilio Tuosto

Approximation and Online Algorithms, Fachbücher von Evripidis Bampis, Ola Svensson

Logic, Language, and Computation, Fachbücher von Daniel Hole, Martin Aher, Clemens Kupke, Emil Jerábek

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, Fachbücher von Jordi Herrera-Joancomar...

Parameterized and Exact Computation, Fachbücher von Stefan Szeider, Gregory Gutin

Algorithms for Sensor Systems, Fachbücher

Types for Proofs and Programs, Fachbücher

Combinatorial Optimization, Fachbücher

Computational Intelligence Methods for Bioinformatics and Biostatistics, Fachbücher

Graph Drawing, Fachbücher von Alexander Wolff, Stephen Wismath