Model checking /

Autor Clarke, E. M., 1945-, Grumberg, Orna, 1952-, Peled, Doron, 1962-, Kroening, Daniel, Veith, Helmut
Vydáno 2018

Computability : computable functions, logic, and the foundations of mathematics /

Autor Epstein, Richard L., 1947-, Carnielli, Walter Alexandre, 1952-
Vydáno 2008

Computation and reasoning : a type theory for computer science /

Autor Luo, Zhaohui
Vydáno 1994

What to do next? : analysing and optimising system behaviour in time /

Autor Wijs, Antonius Jacobus
Vydáno 2007

The Cambridge handbook of computing education research /

Vydáno 2019

Turing's vision : the birth of computer science /

Autor Bernhardt, Chris
Vydáno 2017

Turing's cathedral : the origins of the digital universe /

Autor Dyson, George, 1953-
Vydáno 2013

Introduction to algorithms /

Autor Cormen, Thomas H., Leiserson, Charles Eric, 1953-, Rivest, Ronald L., 1947-, Stein, Clifford, 1965-
Vydáno 2022

Algebraic graph algorithms : a practical guide using Python /

Autor Erciyes, Kayhan, 1956-
Vydáno 2021

Mathematical foundations of computer science /

Autor Vaníček, Jiří, 1937-2011
Vydáno 2008

Pattern recognition and machine learning /

Autor Bishop, Christopher M., 1959-
Vydáno 2006

Against nature : the metaphysics of information systems /

Autor Kreps, David, 1963-
Vydáno 2018

Guide to teaching computer science : an activity-based approach /

Autor Hazzan, Orit, 1962-, Lapidot, Tami, Ragonis, Noa
Vydáno 2020

Guide to intelligent data science : how to intelligently make use of real data /

Autor Berthold, M. 1966-, Borgelt, Christian, 1967-, Höppner, Frank, Klawonn, Frank, 1964-, Silipo, Rosaria
Vydáno 2020

Recommender systems : the textbook /

Autor Aggarwal, Charu C.
Vydáno 2016

Mathematical foundations of computer science 2010 : 35th International Symposium, MFCS 2010 : Brno, Česká republika, August 23-27, 2010 : proceedings /

Vydáno 2010

The discrepancy method : randomness and complexity /

Autor Chazelle, Bernard, 1955-
Vydáno 2000

Welsch Braille code

Vydáno 2006

Deontic logic in computer science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings /

Vydáno 2010

Law and order in virtual worlds : exploring avatars, their ownership and rights /

Autor Adrian, Angela, 1968-
Vydáno 2010