Types for Proofs and Programs, Fachbücher

Modelling and Simulation for Autonomous Systems, Fachbücher von Jan Hodicky

Web Information Systems and Technologies, Fachbücher von José Cordeiro, Karl-Heinz Krempels

Business Intelligence for the Real-Time Enterprises, Fachbücher von Malu Castellanos, Sham Navathe, Christoph Bussler, U...

Constructive Side-Channel Analysis and Secure Design, Fachbücher von Emmanuel Prouff

Knowledge Discovery and Emergent Complexity in Bioinformatics, Fachbücher von Ronald Westra, Karl Tuyls, Ann Nowé, Yvan ...

Adaptive Multimedia Retrieval:User, Context, and Feedback, Fachbücher von Marcin Detyniecki, Eric J. Bruno, Stéphane Mar...

Environments for Multi-Agent Systems III, Fachbücher von Fabien Michel, H. Van Dyke Parunak, Danny Weyns

Logic-Based Program Synthesis and Transformation, Fachbücher

Data Privacy Management and Autonomous Spontaneous Security, Fachbücher von Nora Cuppens-Boulahia, Simon Foley, Georgios...

Security Protocols, Fachbücher von Joseph Bonneau, James Malcolm, Jonathan Anderson, Frank Stajano, Bruce Christianson

Energy Efficient Data Centers, Fachbücher von Sonja Klingert, Milagros Rey Porto, Marta Chinnici

Fast Software Encryption, Fachbücher von Carlos Cid, Christian Rechberger

Simulation Science, Fachbücher von Marcus Baum, Stefan Hartmann, Thomas Hanschke, Anita Schöbel, Gunther Brenner, Jens G...

Automated Deduction in Geometry, Fachbücher von Jacques Fleuriot, Tetsuo Ida

Information Security Applications, Fachbücher von Moti, Jae-Kwang Yi, Okyeon Yung, Lee