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
Publikace dané osoby
Misra, Jayadev
Biografické údaje:
Indický autor publikací z oboru počítačové vědy.
Zdroj:
Misra, J. - Nipkow, T. - Sekerinski, E.: FM 2006
LC (Names)
DNB
Další informace:
Publikace dané osoby
2
Publikace o dané osobě
0
Metadata
Podrobné výsledky >>
FM 2006: formal methods : 14th International symposium on formal methods, Hamilton, Canada, August 21-27, 2006 : proceedings
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings
Publikace dané osoby
×
Načítá se...