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

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

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

Trustworthy Global Computing, Fachbücher von Alberto Lluch Lafuente, Martín Abadi

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

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

Combinatorial Optimization, Fachbücher

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

Languages and Compilers for Parallel Computing, Fachbücher von Peng Tu, James Brodman

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

Algorithms for Sensor Systems, 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

Perspectives of System Informatics, Fachbücher von Andrei Voronkov, Irina Virbitskaite

Logic-Based Program Synthesis and Transformation, Fachbücher

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