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

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

Algorithms for Sensor Systems, Fachbücher

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

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

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

Logic-Based Program Synthesis and Transformation, Fachbücher

Parameterized and Exact Computation, Fachbücher von Fedor V. Fomin, Jianer Chen

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

Risks and Security of Internet and Systems, Fachbücher von Bruno Crispo, Javier Lopez, Indrajit Ray

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

Automated Deduction in Geometry, Fachbücher von Jacques Fleuriot, Tetsuo Ida

Learning and Intelligent Optimization, Fachbücher