Výsledky vyhledávání

1

Decidability issues for processes with infinitely many states

Autor Kučera, Antonín, 1971-
Vydáno 1997

VŠ práce nebo rukopis

2

Verification of Probabilistic Recursive Sequential Programs

Autor Brázdil, Tomáš, 1979-
Vydáno 2007

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

VŠ práce nebo rukopis

3

Automaty a formální jazyky. I. [Kapitola 1],

Autor Černá, Ivana, 1963-, Křetínský, Mojmír, 1950-, Kučera, Antonín, 1971-
Vydáno 2000

Kniha

4

Automaty a formální jazyky. I. Kapitola 2, Regulární jazyky a konečné automaty

Autor Černá, Ivana, 1963-, Křetínský, Mojmír, 1950-, Kučera, Antonín, 1971-
Vydáno 2000

Kniha

5

Automaty a formální jazyky. I. Kapitola 3, Bezkontextové jazyky a zásobníkové automaty

Autor Černá, Ivana, 1963-, Křetínský, Mojmír, 1950-, Kučera, Antonín, 1971-
Vydáno 2000

Kniha

6

Automaty a formální jazyky. I. Kapitola 4, Turingovy stroje a jazyky typu 0

Autor Černá, Ivana, 1963-, Křetínský, Mojmír, 1950-, Kučera, Antonín, 1971-
Vydáno 2000

Kniha

7

Automaty a formální jazyky. I. Kapitola 5. Nerozhodnutelnost /

Autor Černá, Ivana, 1963-, Křetínský, Mojmír, 1950-, Kučera, Antonín, 1971-
Vydáno 2000

Kniha

8

Automaty a formální jazyky. I /

Autor Černá, Ivana, 1963-, Křetínský, Mojmír, 1950-, Kučera, Antonín, 1971-
Vydáno 1999

Kniha

9

Matematická logika - cvičení : prezentace ke kurzu MA 007 2005. 1. část, Výroková logika

Autor Kučera, Antonín, 1971-
Vydáno 2006

Kniha

10

Matematická logika - cvičení : prezentace ke kurzu MA 007 2005. 2. část, Predikátová logika

Autor Kučera, Antonín, 1971-
Vydáno 2006

Kniha

11

Matematická logika prezentace ke kurzu MA 007 2005. [Díl 1.] /

Autor Kučera, Antonín, 1971-
Vydáno 2006

Kniha

12

Matematická logika prezentace ke kurzu MA 007 2005. [Díl 2.] /

Autor Kučera, Antonín, 1971-
Vydáno 2006

Kniha

13