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

Verified Software: Theories, Tools and Experiments, Fachbücher

Fundamentals of Software Engineering, Fachbücher von Marjan Sirjani, Farhad Arbab

Simulation of Urban Mobility, Fachbücher von Michael Behrisch, Melanie Weber, Daniel Krajzewicz

e-Infrastructure and e-Services for Developing Countries, Fachbücher von Gertjan van Stam, Tegawendé F. Bissyandé

Camera-Based Document Analysis and Recognition, Fachbücher

Web Information Systems and Technologies, Fachbücher von Karl-Heinz Krempels, Alexander Stocker

Networked Systems, Fachbücher von Guevara Noubir, Michel Raynal

Information Hiding, Fachbücher von Kenneth Sullivan, Upamanyu Madhow, Kaushal Solanki

Trends in Functional Programming, Fachbücher von Jay McCarthy

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

Discrete and Computational Geometry and Graphs, Fachbücher von Jin Akiyama, Toshinori Sakai, Hiro Ito

Resource Discovery, Fachbücher von Zoé Lacroix, Maria-Esther Vidal, Edna Ruckhaus

Intelligence Science and Big Data Engineering. Image and Video Data Engineering, Fachbücher

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation, Fachbücher

Languages and Compilers for Parallel Computing, Fachbücher von Calin Cacaval, Pablo Montesinos