Types for Proofs and Programs, Fachbücher

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...

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

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

Fast Software Encryption, Fachbücher

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

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

Graphics Recognition. Current Trends and Challenges, Fachbücher

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

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

Rewriting Logic and Its Applications, Fachbücher von Santiago Escobar

Task Models and Diagrams for Users Interface Design, Fachbücher