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

Logic-Based Program Synthesis and Transformation, Fachbücher

Logic, Language, and Computation, Fachbücher

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

Constraint Solving and Language Processing, Fachbücher von Yannick Parmentier, Denys Duchier

Foundations of Health Information Engineering and Systems, Fachbücher von Jeremy Gibbons, Wendy MacCaull

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

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

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

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

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

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

Ubiquitous Social Media Analysis, Fachbücher von Denis Helic, Alvin Chin, Martin Atzmueller, Andreas Hotho

Communications Infrastructure, Systems and Applications, Fachbücher von Rashid Mehmood, Imrich Chlamtac, Eduardo Cerquei...

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

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