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 432
počítače
510
programování
501
algoritmizace
410
programovací jazyky
392
umělá inteligence
350
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