Zobrazuji výsledky
1 - 4
z
4
pro vyhledávání '
Majumdar, Rupak
'
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
Majumdar, Rupak
Zobrazuji výsledky
1 - 4
z
4
pro vyhledávání '
Majumdar, Rupak
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Runtime verification : 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hybrid systems: computation and control : 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
informatika
softwarové inženýrství
programovací jazyky
programování
algoritmizace
architektura výpočetních systémů
matematická logika
mikroprocesory
operační systémy
počítače
počítačová architektura
umělá inteligence
×
Načítá se...