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í
1 892
informatika
1 697
programování
656
programovací jazyky
630
počítače
604
umělá inteligence
463
algoritmizace
431
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
Specification-based component substitutability and revision identification : doctoral thesis
Autor Brada, Přemysl Vydáno: 2003
Rukopis