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

Logic-Based Program Synthesis and Transformation, Fachbücher

Citizen in Sensor Networks, Fachbücher von Jordi Nin, Daniel Villatoro

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

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

Practical Aspects of Declarative Languages, Fachbücher von Ricardo Peña, Manuel Carro

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

Software Engineering and Formal Methods, Fachbücher von Steve Counsell, Manuel Núñez

Inductive Logic Programming, Fachbücher von Vitor Santos Costa, Aline Marins Paes, Gerson Zaverucha

Data Management Technologies and Applications, Fachbücher von Jorge Bernardino, Joaquim Filipe, Christoph Quix

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

Critical Information Infrastructures Security, Fachbücher von Pieter Hartel, Eric Luiijf

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

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

Discrete and Computational Geometry and Graphs, Fachbücher von Jin Akiyama, Toshinori Sakai, Hiro Ito

Clinical Image-Based Procedures. Translational Research in Medical Imaging, Fachbücher von Marius Erdt, Klaus Drechsler,...