Počítačová věda

NASA Formal Methods

Visual Saliency Computation

Neural Networks - Garson, George David

Geocomputation

Runtime Verification

Selected Topics In Communication Networks And Distributed Systems

Pattern Recognition and Machine Intelligence

User Modeling, Adaptation and Personalization

Handbook of Computer Vision Algorithms in Image Algebra - Wilson, Joseph N. a Ritter, Gerhard X.

Informatics in Control, Automation and Robotics 12th International Conference, ICINCO 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers

Haptic Teleoperation Systems - Lee, Jae-young a Payandeh, Shahram

Natural Language Processing and Chinese Computing

Handbook of Supply Chain Management - Ayers, James B.

P, NP, and NP-Completeness - Goldreich, Oded (Weizmann Institute of Science, Israel)

Formal Techniques for Distributed Objects, Components, and Systems

Topics in Theoretical Computer Science

Computer Vision - ECCV 2014 Workshops

Computer Vision -- ACCV 2014

Malicious Bots - Dunham, Ken a Melnick, Jim

Combinatorial Optimization and Applications