Počítačové programování, software

Communication Complexity - Kushilevitz, Eyal (Technion - Israel Institute of Technology, Haifa) a Nisan, Noam (Hebrew University of Jerusalem)

Formal Methods for Components and Objects

Design Thinking Research

Elements of UML™ 2.0 Style - Ambler, Scott W.

Algorithms of the Intelligent Web, Second Edition - McIlwraith, Douglas a Marmanis, Haralambos a Babenko, Dmitry

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

VI and VIM Editors Pocket Reference - Robbins, Arnold

SOFSEM 2015: Theory and Practice of Computer Science

Computational Science and Its Applications - ICCSA 2014

Randomized Algorithms - Motwani, Rajeev (Stanford University, California) a Raghavan, Prabhakar

Verilog HDL - Cavanagh, Joseph (Santa Clara University, California, USA)

Automata, Languages, and Programming

Formal Aspects of Component Software

Analysis of Boolean Functions - O'Donnell, Ryan (Carnegie Mellon University, Pennsylvania)

Physics for Game Developers 2e - Bourg, David M

Applied Reconfigurable Computing

Practical Guide to Information Systems Strategic Planning - Cassidy, Anita

COBOL Software Modernization - Barbier, Franck (University of Pau, France) a Recoussine, Jean-Luc (BLU AGE Corporation, Dallas, TX, USA)

Functional and Logic Programming

Behavior Modeling -- Foundations and Applications