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
Henzinger, T. A., 1962-
Biografické údaje:
Rakouský počítačový odborník.
Alternativně jako:
Henzinger, Thomas A., 1962-
Henzinger, Thomas, 1962-
Zdroj:
Duparc, J. - Henzinger, T. A.: Computer science logic
ONB
DNB
www(EPFL)
Další informace:
Publikace dané osoby
5
Publikace o dané osobě
0
Metadata
Podrobné výsledky >>
Computational methods in systems biology : 11th international conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013 : proceedings
Computer science logic : 21st international workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
Computer science logic : 21st international workshop, CSL 2007, 16th Annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Hybrid systems III : verification and control
Publikace dané osoby
×
Načítá se...