Logic and Its Applications, Fachbücher

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

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

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

Cryptology and Network Security, Fachbücher von Tatsuaki Okamoto, Chaoping Xing, Huaxiong Wang, San Ling, Feng Bao

Information Technology in Bio- and Medical Informatics, Fachbücher von Andreas Holzinger, M. Elena Renda, Miroslav Bursa...

Decision and Game Theory for Security, Fachbücher von Emmanouil Panaousis, Arman Khouzani, George Theodorakopoulos

Applications of Evolutionary Computation, Fachbücher von Antonio M. Mora, Giovanni Squillero

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

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

Pattern Recognition and Machine Intelligence, Fachbücher von Sankar K. Pal, Marzena Kryszkiewicz, Henryk Rybinski, Sangh...

Algebraic Informatics, Fachbücher

MultiMedia Modeling, Fachbücher

Runtime Verification, Fachbücher von Ezio Bartocci, Rupak Majumdar

Computational Logistics, Fachbücher

Interactive Theorem Proving, Fachbücher von Christian Urban, Xingyuan Zhang