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

Logic, Language, and Computation, Fachbücher

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

Adaptive Resource Management and Scheduling for Cloud Computing, Fachbücher von Florin Pop, Gradinariu Potop-Butucaru

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

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

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

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