Zobrazuji výsledky
1 - 6
z
6
pro vyhledávání '
Alur, Rajeev, 1966-
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Hlavní strana
Autor
Alur, Rajeev, 1966-
Zobrazuji výsledky
1 - 6
z
6
pro vyhledávání '
Alur, Rajeev, 1966-
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Principles of cyber-physical systems
Autor
Alur
,
Rajeev
,
1966
-
Vydáno:
2015
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Hybrid systems III : verification and control
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
hybridní počítače
verifikace programu
automatické řízení
automatizované systémy řízení
digitální řídicí systémy
internet věcí
kvalita programu
průmyslová automatizace
robotika
simulace a modelování
software
softwarové inženýrství
umělá inteligence
vestavěné systémy
×
Načítá se...