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

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

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

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 Shumaker, 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

Passive and Active Measurement, Fachbücher von Aleksandar Kuzmanovic, Michalis Faloutsos

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 Zhao Zhang, Ding-Zhu Du, Lidong Wu, Wen Xu

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

Algorithms and Models for the Web-Graph, Fachbücher von Anthony Bonato, Fan R. K. Chung

Practical Aspects of Declarative Languages, Fachbücher von Kostis Sagonas