Logic-Based Program Synthesis and Transformation, Fachbücher

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

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

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

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

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

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

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