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

Logic and Its Applications, Fachbücher

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

Deepak D'souza (u. A.) | Verification, Model Checking, And Abstract...

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

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

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

Runtime Verification, Fachbücher

MultiMedia Modeling, Fachbücher

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