Počítačová věda

Hardware and Software: Verification and Testing

Logic for Computer Science and Artificial Intelligence - Caferra, Ricardo (Grenoble INP, France)

Choice - Harper, Richard a Randall, Dave a Sharrock, Wes (University of Manchester)

Engineering General Intelligence, Part 1 - Goertzel, Ben a Pennachin, Cassio a Geisweiller, Nil

Advances in Multimedia Modeling

Towards Autonomous Robotic Systems

What Every Engineer Should Know About Developing Real-Time Embedded Products - Fowler, Kim R.

Certified Programs and Proofs

Auctions, Market Mechanisms and Their Applications

Intelligent Computing Theories and Methodologies

Pipelined Multi-core MIPS Machine - Kovalev, Mikhail a Muller, Silvia M. a Paul, Wolfgang J.

Bulgarian Language in the Digital Age

Machine in Me - Downey, Gary Lee

Biologically-Inspired Collaborative Computing

Machine Learning for Hackers - Conway, Drew

Reasoning About Fuzzy Temporal And Spatial Information From The Web - Schockaert, Steven (Ghent Univ, Belgium) a Kerre, Etienne E (Ghent Univ, Belgium) a De Cock, Martine (Ghent Univ, Belgium)

Mathematical Theory of Finite Element Methods - Brenner, Susanne a Scott, Ridgway

Course in Digital Signal Processing - Porat, Boaz (Technion, Israel Institute of Technology)

Mastering Data-Intensive Collaboration and Decision Making

Computational Methods for Corpus Annotation and Analysis - Lu, Xiaofei