Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Verification of programs with complex data structures : dissertation thesis
Autor Rogalewicz, Adam, 1978- Vydáno: 2007
Kniha
Podpora automatizovaného návrhu řídicích systémů disertační práce
Autor Kymla, Lukáš Vydáno: 2006
Rukopis
Generating connectors for homogeneous and heterogeneous deployment doctoral thesis
Autor Bureš, Tomáš, 1978- Vydáno: 2006
Rukopis
Performance in software development cycle regression benchmarking : doctoral thesis
Autor Kalibera, Tomáš, 1978- Vydáno: 2006
Rukopis
Specification-based component substitutability and revision identification : doctoral thesis
Autor Brada, Přemysl Vydáno: 2003
Rukopis
Image fusion via multichannel blind deconvolution : Ph.D. thesis
Autor Šroubek, Filip 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
Advanced transactions in component-based software architectures : doktorská disertace
Autor Procházka, Marek Vydáno: 2002
Rukopis
Modeling software components using behavior protocols : doctoral thesis
Autor Višňovský, Stanislav Vydáno: 2002
Rukopis