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

Large Scale Network-Centric Distributed Systems

High Performance Computing for Computational Science -- VECPAR 2014

Integrated Formal Methods

Technical Drawing with Engineering Graphics - Giesecke, Frederick a Spencer, Henry a Hill, Ivan Leroy a Dygdon, John a Novak, James a Lockhart, Shawna a Mitchell, Alva a Goodman, Marla

Zend Enterprise PHP Patterns - Coggeshall, John a Tocker, Morgan

API Design for C++ - Reddy, Martin (Fellow of the IEEE, a Fellow of the AAIA, and a Distinguished Member of the ACM.)

Verification of Computer Codes in Computational Science and Engineering - Knupp, Patrick a Salari, Kambiz

Image Analysis and Processing - ICIAP 2015

Internet - Cantoni, Lorenzo a Tardini, Stefano

Cellular Automata and Discrete Complex Systems

Thinking Recursively with Java - Roberts, Eric S. (Stanford University)

DevOps on the Microsoft Stack - de Kort, Wouter

Pleasures of Computer Gaming

Nano-Electronic Devices

Descriptional Complexity of Formal Systems

VLSI Risc Architecture and Organization - Furber, S. B.

Model-Based Design for Embedded Systems - Nicolescu, Gabriela (Ecole Polytechnique de Montreal, Quebec, Canada) a Mosterman, Pieter J. (MathWorks, Natick, Massachusetts, USA, and McGill University, Montreal, Quebec, Canada)

Modern Digital Halftoning - Lau, Daniel L. (University of Kentucky, Lexington, USA) a Arce, Gonzalo R. (University of Delaware, Newark, USA)

Getting StartED with Dojo - Hayes, Kyle a Higgins, Peter a Hayes, Dennis

Biomedical Image Processing