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

Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management: Human, Fachbücher von Vincent G....

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

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

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

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

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

Algebraic Informatics, Fachbücher

MultiMedia Modeling, Fachbücher

Computational Logistics, Fachbücher

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

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