Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
informatika
umělá inteligence
2 274
algoritmizace
1 890
počítače
1 865
softwarové inženýrství
1 723
programování
997
matematická logika
868
více ...
Metriky v informatice : jak objektivně zjistit přínosy informačního systému
Autor Učeň, Pavel Vydáno: 2001
Kniha
Systémy, procesy a signály : studijní texty pro obor výpočetní technika a informatika
Autor Jan, Jiří, 1941- Vydáno: 2000
Kniha
Automated theorem proving in structured theory specifications : Abstract of doctoral thesis
Autor Vanoušek, Pavel Vydáno: 1999
Rukopis
Automated theorem proving in structured theory specifications : Doctoral thesis
Autor Vanoušek, Pavel Vydáno: 1999
Rukopis
Experimentální deduktivní databázový systém s neurčitostí : disertační práce
Autor Zíma, Martin Vydáno: 2002
Rukopis
Probability and random processes with applications to signal processing
Autor Stark, Henry Vydáno: 2002
Kniha