Logic-Based Program Synthesis and Transformation, Fachbücher

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

Brain-Inspired Computing, Fachbücher von Nicolai Petkov, Thomas Lippert, Lucio Grandinetti

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

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

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

Trends in Functional Programming, Fachbücher von Jay McCarthy