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
Amadio, Roberto M.
Biografické údaje:
Francouzský odborník v oblasti výpočetní techniky.
Zdroj:
Amadio, R. M. - Curien, P.-L.: Domains and lambda-calculi, 2008
BNF
www(Université Paris Diderot)
DNB
Další informace:
Publikace dané osoby
2
Publikace o dané osobě
0
Metadata
Podrobné výsledky >>
Domains and lambda-calculi
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 : proceedings
Publikace dané osoby
×
Načítá se...