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

Logic and Its Applications, Fachbücher

Distributed Computing and Networking, Fachbücher

Similarity Search and Applications, Fachbücher

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

Applied Algorithms, Fachbücher von Prosenjit Gupta

Runtime Verification, Fachbücher

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

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

Model-Driven Engineering Languages and Systems, Fachbücher von Peter Clarke

Security, Privacy, and Applied Cryptography Engineering, Fachbücher von Rajat Subhra Chakraborty

Computer Aided Verification, Fachbücher

Coordination Models and Languages, Fachbücher

Information Systems, Technology and Management, Fachbücher

Learning and Intelligent Optimization, Fachbücher

Applied Cryptography and Network Security, Fachbücher