Software Engineering and Formal Methods, Fachbücher von Carlos Canal, Akram Idani

Software Engineering and Formal Methods, Fachbücher von Steve Counsell, Manuel Núñez

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

Formal Aspects of Component Software, Fachbücher von Eric Madelaine, Ivan Lanese

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

Mining, Modeling, and Recommending 'Things' in Social Media, Fachbücher

Models in Software Engineering, Fachbücher von Thomas Kühne

In Memory Data Management and Analysis, Fachbücher von Thomas Neumann, Justin Levandoski, Arun Jagatheesan, Andrew Pavlo

Advances in Communication Networking, Fachbücher von Yvon Kermarrec

Data Analytics for Renewable Energy Integration, Fachbücher von Wei Lee Woon, Stuart Madnick, Zeyar Aung

Lightweight Cryptography for Security and Privacy, Fachbücher von Thomas Eisenbarth, Erdinç Öztürk

Behavior Modeling -- Foundations and Applications, Fachbücher von Ekkart Kindler, Christian Gerth, Ashley McNeile, Ella ...

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

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

Ad-hoc Networks and Wireless, Fachbücher von Stefan Ruehrup, Jaime Lloret, Carlos B. Westphall, Miguel Garcia Pineda, Sy...

Performance Characterization and Benchmarking. Traditional to Big Data, Fachbücher von Meikel Poess, Raghunath Nambiar