Logic-Based Program Synthesis and Transformation, Fachbücher von Michael Hanus

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

Adaptive Multimedia Retrieval:User, Context, and Feedback, Fachbücher von Marcin Detyniecki, Eric J. Bruno, Stéphane Mar...

Structural Information and Communication Complexity, Fachbücher von Adele A. Rescigno, Thomas Moscibroda

Types for Proofs and Programs, Fachbücher

Current Trends in Web Engineering, Fachbücher von Jesper Kjeldskov, Quan Z. Sheng

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

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

Combinatorial Algorithms, Fachbücher von Thierry Lecroq, Laurent Mouchard

Knowledge Representation for Health-Care. Data, Processes and Guidelines, Fachbücher von Silvia Miksch, Annette ten Teij...

Inductive Logic Programming, Fachbücher von Stephen Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi

Information Security and Cryptology -- ICISC 2013, Fachbücher von Hyang-Sook Lee, Dong-Guk Han

Logic, Language, and Computation, Fachbücher von Bosch, David Lang, Jörné, Peter Gabelaia

Games and Learning Alliance, Fachbücher

Cellular Automata and Discrete Complex Systems, Fachbücher