Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
PSH
Seřadit podle
Počet výsledků
Abecedně
16
programovací jazyky
sémantika programovacích jazyků
4
matematická lingvistika
2
formální jazyky
2
logické programování
2
matematická logika
2
verifikace programu
1
algoritmizace
1
kombinatorické logiky
1
logika
1
matematické programování
1
matematika
1
objektově orientované programování
1
počítače
1
software
1
teorie
1
testování
1
textová syntax
1
vývoj
1
zpracování textů
zavřít
×
Načítá se...