Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
informatika
6 568
umělá inteligence
2 572
počítače
2 137
algoritmizace
2 085
softwarové inženýrství
1 908
vyhledávání v datech
1 079
programování
1 064
více ...
Information flow : the logic of distributed systems
Autor Barwise, Jon, 1942-2000 Vydáno: 1997
Kniha
Manažerská informatika : Textový procesor Microsoft Word verze 6.0
Autor Kubálek, Tomáš, 1963- Vydáno: 1996
Kniha
Automated theorem proving in structured theory specifications : Abstract of doctoral thesis
Autor Vanoušek, Pavel Vydáno: 1999
Rukopis