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

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

Simulation of Urban Mobility, Fachbücher

Cloud Computing, Fachbücher

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

Theory of Quantum Computation, Communication, and Cryptography, Fachbücher von Mio Murao, Kazuo Iwama, Yasuhito Kawano

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

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

Swarm, Evolutionary, and Memetic Computing, Fachbücher von Ponnuthurai Nagaratnam Suganthan, Bijaya Ketan Panigrahi, Swa...

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

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

Geo-Spatial Knowledge and Intelligence, Fachbücher von Hanning Yuan, Jing Geng, Chuanlu Liu, Tisinee Surapunt, Fuling Bi...

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