Počítačová věda

Tests and Proofs

Hybrid Metaheuristics

Human-Computer Interaction. Novel User Experiences

Optimality in Biological and Artificial Networks?

Semantic Web. Latest Advances and New Domains

Wearable Sensors and Robots

Transactions on Computational Science XXVIII

Head-Up Displays: Designing the Way Ahead - Newman, Richard L.

Autonomy Requirements Engineering for Space Missions - Vassev, Emil a Hinchey, Mike

Interactive Theorem Proving

Computational Social Networks

Troubleshooting iOS - McFedries, Paul

Uncertain Digital Revolution - Vitalis, Andre (University of Bordeaux-Montaigne)

Conceptual Modeling

Statistical Modeling and Machine Learning for Molecular Biology - Moses, Alan (University of Toronto, Canada)

Computer Vision - ECCV 2016

Mobile SmartLife via Sensing, Localization, and Cloud Ecosystems - Liu, Kaikai a Li, Xiaolin

FM 2016: Formal Methods

Pattern Recognition

Trends in Applied Knowledge-Based Systems and Data Science