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

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

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

Algorithms for Sensor Systems, Fachbücher

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

Computational Intelligence Methods for Bioinformatics and Biostatistics, Fachbücher

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

Combinatorial Optimization, 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

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

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

Trends in Functional Programming, Fachbücher von Jay McCarthy, Jurriaan Hage

Integrated Formal Methods, Fachbücher von Elvira Albert, Emil Sekerinski

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