Výsledky vyhledávání

1

Term rewriting and all that /

Autor Baader, Franz, 1959-, Nipkow, Tobias, 1958-
Vydáno 1998

Kniha

2

Náš život s počítači.

Autor Tůma, Jan, 1930-
Vydáno 1990

Kniha

3

Jak pracují multimédia /

Autor Holsinger, Erik
Vydáno 1995

Kniha

4

The text mining handbook : advanced approaches in analyzing unstructured data /

Autor Feldman, Ronen, 1962-, Sanger, James, 1965-
Vydáno 2007

Kniha

5

Mathematical Foundations of Computer Science 2001 : 26th International symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001 : proceedings /

Vydáno 2001

Kniha

6

Mathematical foundations of computer science. Volume I, Sets, relations, and induction /

Autor Fejer, Peter A., Simovici, Dan A.
Vydáno 1991

Kniha

7

Mathematical theory of domains /

Autor Stoltenberg-Hansen, Viggo
Vydáno 1994

Kniha

8

Metoda Guha : automatická tvorba hypotéz /

Autor Hájek, Petr, 1940-2016, Havránek, Tomáš, 1947-1991, Chytil, Metoděj
Vydáno 1983

Kniha

9

Neural networks : tricks of the trade /

Vydáno 1998

Kniha

10

Programming in Prolog /

Autor Clocksin, W. F. 1955-, Mellish, C. S. 1954-
Vydáno 1987

Kniha

11

A proof theory for general unification /

Autor Snyder, Wayne
Vydáno 1991

Kniha

12

Rational series and their languages /

Autor Berstel, Jean, 1941-, Reutenauer, Christophe, 1953-
Vydáno 1988

Kniha

13

Resolution of equations in algebraic structures. 1, Algebraic techniques /

Vydáno 1989

Kniha

14

Resolution of equations in algebraic structures. 2, Rewriting techniques /

Autor Aït-Kaci, Hassan, 1954-2020
Vydáno 1989

Kniha

15

Rough sets : theoretical aspects of reasoning about data /

Autor Pawlak, Zdzisław, 1926-2006
Vydáno 1991

Kniha

16

Semantics of Systems of Concurrent Processes : LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23-27, 1990. Proceedings /

Vydáno 1990

Kniha

17

Spravočnik po rasčetam na mikrokal'kuljatorach /

Autor D'jakonov, Vladimir Pavlovič
Vydáno 1989

Kniha

18

STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science /

Vydáno 1987

Kniha

19

TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice Software Development, Pisa, Italy, March 23-27, 1987. Volume 1, Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP '87) /

Vydáno 1987

Kniha

20

Úvod do teorie počítačů /

Autor Rajlich, Václav
Vydáno 1979

Elektronická verze přístupná pouze pro studenty a pracovníky MU

Kniha

Upřesnit hledání