Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
ISoLA 2010 (Herákleion, Řecko)
'
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
ISoLA 2010 (Herákleion, Řecko)
Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
ISoLA 2010 (Herákleion, Řecko)
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Leveraging applications of formal methods, verification, and validation : 4th International symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...
Vydáno:
2010
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
distribuované informační systémy
informatika
informační systémy
internet
počítače
programovací jazyky
softwarové inženýrství
vestavěné systémy
vyhledávání v datech
×
Načítá se...