Trends in Functional Programming, Fachbücher von Jay McCarthy

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

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

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

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

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

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

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

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