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 218
umělá inteligence
418
počítače
412
algoritmizace
337
programovací jazyky
321
matematická logika
216
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