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

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

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

Augmented and Virtual Reality, Fachbücher von Antonio Mongelli, Lucio Tommaso De Paolis

Algorithms for Sensor Systems, Fachbücher

Logic-Based Program Synthesis and Transformation, Fachbücher

Logic, Language, and Computation, Fachbücher

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

Software Engineering and Formal Methods, Fachbücher von Carlos Canal, Akram Idani

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

Computational Intelligence Methods for Bioinformatics and Biostatistics, Fachbücher

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

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

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

In Memory Data Management and Analysis, Fachbücher von Thomas Neumann, Justin Levandoski, Arun Jagatheesan, Andrew Pavlo

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