Výsledky vyhľadávania
- Embedded Systems Design : The ARTIST Roadmap for Research and Development
Bouyssounouse Bruno (ed.) Sifakis J (ed.)
Springer Berlin Heidelberg, 2005 . - 492 s
ISBN 978-3-540-25107-1
monografiaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 - Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 / Sprac.: Sifakis,J
Sifakis J (zost.)
Berlin : Springer Verlag, 1990 . - 382 s
ISBN 3-540-52148-8
počítače navrhovanie počítačových systémov matematická kybernetika overovanie
zborník (príspevkov)Fakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 - Železo. Fakty i legendy / [aut.] Beckert,Manfred
Beckert Manfred
2.izd.
Moskva : Metallurgija, 1988 . - 239 s
monografiaFakulta Voľné Prezenčne Vypožičané Nedostupné SJF 0 0 0 1