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

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

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

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

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

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