Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kim Gulstrand Larsen, Deepak D'Souza, Akash La...

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Gilles Barthe, Manuel Hermenegildo

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kenneth McMillan, Xavier Rival

Intelligent Data Engineering and Automated Learning – IDEAL 2015, Fachbücher von Krzysztof Walkowiak, Konrad Jackowski, ...

Passive and Active Measurement, Fachbücher

Distributed Computing and Networking, Fachbücher von Mainak Chatterjee, Sergio Rajsbaum, Kishore Kothapalli, Jian-Nong C...

Progress in Cryptology - INDOCRYPT 2013, Fachbücher von Paul Vaudenay, Goutam Paul

Computer Analysis of Images and Patterns, Fachbücher von Nicolai Petkov, George Azzopardi

Applied Algorithms, Fachbücher von Prosenjit Gupta, Christos Zaroliagis

Software Reuse for Dynamic Systems in the Cloud and Beyond, Fachbücher

Web-Age Information Management, Fachbücher von Yizhou Sun, Jian Li

MultiMedia Modeling, Fachbücher

Similarity Search and Applications, Fachbücher von Claudio Gennaro, Richard Connor, Giuseppe Amato, Fabrizio Falchi

MultiMedia Modeling, Fachbücher von Dacheng Tao, Changsheng Xu, Jie Yang, Suhuai Luo, Muhammad Abul Hasan

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Bernhard Steffen, Giorgio Levi

Security, Privacy, and Applied Cryptography Engineering, Fachbücher von Peter Schwabe, Jon Solworth, Rajat Subhra Chakra...