Počítače a informační technologie

Formal Modeling and Analysis of Timed Systems

OCUP 2 Certification Guide - Chonoles, Michael Jesse (Michael Jesse Chonoles, recently retired from Lockheed Martin as Chief Methodologist, now takes a lead role in writing the exams for the latest OMG Certification for UML® Professionals (OCUP2).)

Future Data and Security Engineering

Swarm Intelligence

Data and Applications Security and Privacy XXX

Virtual and the Real in Planning and Urban Design

Mobile Device Management - Pierer, Markus

Current Challenges in Patent Information Retrieval

Canon EOS Rebel T6/1300D For Dummies - King, Julie Adair (Indianapolis, Indiana)

Decision Procedures - Kroening, Daniel a Strichman, Ofer

Knowledge Science, Engineering and Management

Research on e-Learning and ICT in Education

Cultural Robotics

Learning Analytics

IT and European Bank Performance - Beccalli, E.

Intelligent Robotics and Applications

Advances in Neural Networks - ISNN 2016

Mathematical Software - ICMS 2016

Data Mining for Managers - Boire, R.

Foundations of EU Data Protection Law - Lynskey, Dr Orla (Assistant Professor of Law, Lecturer, London School of Economics)