Trends in Functional Programming, Fachbücher von Jay McCarthy, Jurriaan Hage

Multi-Agent-Based Simulation XIV, Fachbücher von Shah Jamal Alam, H. Van Dyke Parunak

Verified Software: Theorie, Tools, Experiments, Fachbücher von Andrey Rybalchenko, Ernie Cohen

Agents and Data Mining Interaction, Fachbücher von Longbing Cao, Yifeng Zeng, Andreas L. Symeonidis

Partially Supervised Learning, Fachbücher von Zhi-Hua Zhou, Friedhelm Schwenker

Information Security Applications, Fachbücher von Yongdae Kim, Heejo Lee, Adrian Perrig

Graphics Recognition. Current Trends and Challenges, Fachbücher von Jean-Marc Ogier, Bart Lamiroy

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

Membrane Computing, Fachbücher von Artiom Alhazov, Grzegorz Rozenberg, Marian Gheorghe, Arto Salomaa, Svetlana Cojocaru,...

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

Advanced Parallel Processing Technologies, Fachbücher von Albert Cohen, Chenggang Wu

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

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

Trustworthy Global Computing, Fachbücher von Alberto Lluch Lafuente, Martín Abadi

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

Selected Areas in Cryptography -- SAC 2013, Fachbücher von Tanja Lange, Petr Lison k, Kristin Lauter