Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
softwarové inženýrství
informatika
1 821
programování
699
počítače
651
programovací jazyky
636
umělá inteligence
513
algoritmizace
485
více ...
Ověření funkce systémů odolných proti poruchám metodou simulací : habilitační práce
Autor Herout, Pavel, 1961- Vydáno: 2003
Rukopis
Methods applied in the preliminary phases of the information systems life cycle : PhD thesis
Autor Rivas, Luis Vydáno: 2002
Rukopis
Verification of PLC programs : doctoral dissertation
Autor Šusta, Richard, 1956- Vydáno: 2002
Rukopis