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 908
programování
795
programovací jazyky
706
počítače
703
umělá inteligence
581
algoritmizace
536
více ...
Design of multithreaded software : the entity-life modeling approach
Autor Sandén, Bo, 1946- Vydáno: 2011
Kniha
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