Zobrazuji výsledky
1 - 3
z
3
pro vyhledávání '
'
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í
Zrušit filtry
Autor:
NOT
Horyna, Mojmír, 1945-2011
AND
Liu, Zhiming, 1961-
Doporučená témata:
Filtry: 4
simulace a modelování
NOT
bezdrátová komunikace
NOT
numerická analýza
NOT
umělá inteligence
Oblast:
NOT
Kunštát (Česko)
NOT
Morava, řeka-tok horní
PSH:
softwarové inženýrství
Zrušit filtry
Zobrazit filtry (9)
Autor:
NOT
Horyna, Mojmír, 1945-2011
AND
Liu, Zhiming, 1961-
Doporučená témata:
Filtry: 4
simulace a modelování
NOT
bezdrátová komunikace
NOT
numerická analýza
NOT
umělá inteligence
Oblast:
NOT
Kunštát (Česko)
NOT
Morava, řeka-tok horní
PSH:
softwarové inženýrství
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
simulace a modelování
softwarové inženýrství
3
řízení v reálném čase
3
analýza časové řady
2
matematická logika
2
sémantika programovacích jazyků
2
vestavěné systémy
2
více ...
aplikační programy
1
distribuované zpracování
1
méně ...
Zobrazuji výsledky
1 - 3
z
3
pro vyhledávání '
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures
Vydáno:
2007
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods and hybrid real-time systems : essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
3
NTK
Médium
2
Kniha
1
E-kniha
Signatura
2
Q - Věda
Autor
Liu, Zhiming, 1961-
3
Woodcock, Jim, 1956-
2
George, Chris W.
1
Jones, C. B. (Cliff B.), 1944-
1
SpringerLink (online služba)
Jazyk
3
angličtina
Žánr
2
sborníky konferencí
1
elektronicke knihy
1
sborníky
Rok vydání
Od:
do:
PSH
3
simulace a modelování
softwarové inženýrství
3
řízení v reálném čase
2
analýza časové řady
2
matematická logika
2
sémantika programovacích jazyků
více ...
1
aplikační programy
1
distribuované zpracování
Zobrazit vše ...
méně ...
×
Načítá se...