Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kenneth McMillan, Xavier Rival

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

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Gilles Barthe, Manuel Hermenegildo

Practical Aspects of Declarative Languages, Fachbücher von Matthew Flatt, Hai-Feng Guo

Theory of Cryptography, Fachbücher von Yehuda Lindell

Human-Computer Interaction. Novel Interaction Methods and Techniques, Fachbücher von Julie A., Jacko

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

Virtual and Mixed Reality, Fachbücher von Randall

Internationalization, Design and Global Development, Fachbücher von Nuray Aykin

Ergonomics and Health Aspects of Work with Computers, Fachbücher von Ben-Tzion Karsh

Information Processing in Cells and Tissues, Fachbücher von Stephen Smith, Michael A. Lones, Gary Fogel, Andy Tyrrell

Combinatorial Optimization and Applications, Fachbücher von Wen Xu

Computer Aided Verification, Fachbücher

Computer Aided Verification, Fachbücher von Corina S. Pasareanu, Daniel Kroening

Computational Linguistics and Intelligent Text Processing, Fachbücher

Intelligent Data Engineering and Automated Learning -- IDEAL 2014, Fachbücher von Jose A. Lozano, Hujun Yin, Emilio S. C...