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
1 773
softwarové inženýrství
1 376
počítače
1 246
vyhledávání v datech
799
systémy řízení báze dat
742
programování
649
více ...
Formal concept analysis : summary of Ph.D. thesis = Formální analýza koncepcí
Autor Bernard, Otto Vydáno: 2003
Rukopis
Asymptotics of some histogram-based density estimates : disertační práce
Autor Hobza, Tomáš, 1975- Vydáno: 2003
Rukopis
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