Verification, Model Checking, and Abstract Interpretation, Fachbücher

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

Passive and Active Measurement, Fachbücher

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

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

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

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

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

Model-Driven Engineering Languages and Systems, Fachbücher von Peter Clarke, Jeff Gray, Bernhard Schätz, Antonio Valleci...

Model Checking Software, Fachbücher von Bernd Fischer

Pattern Recognition and Machine Intelligence, Fachbücher von Ashish Ghosh, Sankar K. Pal, M. Narasimha Murty, Pradipta M...

Applied Cryptography and Network Security, Fachbücher von Bart Preneel, Frederik Vercauteren