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

Coalgebraic Methods in Computer Science, Fachbücher von Marcello M. Bonsangue

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

Multi-Agent-Based Simulation XV, Fachbücher von Francisco Grimaldo, Emma Norling

Engineering Multi-Agent Systems, Fachbücher von Fabiano Dalpiaz, M. Birna van Riemsdijk, Jürgen Dix

Adaptive Resource Management and Scheduling for Cloud Computing, Fachbücher von Florin Pop, Gradinariu Potop-Butucaru

Knowledge Representation for Health Care, Fachbücher von Silvia Miksch, Annette ten Teije, David Riaño

Automated Deduction in Geometry, Fachbücher von Pedro Quaresma, Francisco Botana

Smart Card Research and Advanced Applications, Fachbücher von Marc Joye, Amir Moradi

Advances in Communication Networking, Fachbücher von Yvon Kermarrec

Big Data Benchmarking, Fachbücher

Principles of Security and Trust, Fachbücher von Martín Abadi, Steve Kremer

Foundations of Software Science and Computation Structures, Fachbücher von Anca Muscholl

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Klaus Havelund, Erika Abraham

Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challeng, Fachbücher von Alistair Young...

Service-Oriented Computing - ICSOC 2014 Workshops, Fachbücher von Daniela Grigori, Jan Mendling, Barbara Pernici, Farouk...