Logic-Based Program Synthesis and Transformation, Fachbücher

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

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

Logic, Language, and Computation, Fachbücher

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

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

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

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

Trustworthy Global Computing, Fachbücher

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,...

Formal Aspects of Component Software, Fachbücher

Foundations and Practice of Security, Fachbücher von Joaquin Garcia-Alfaro, Jean-Yves Marion, Mourad Debbabi, Jean Luc D...