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í
Autor
Seřadit podle
Počet výsledků
Abecedně
25
SpringerLink (online služba)
2
Bin, Eyal
2
Ur, Shmuel
1
Abdulla, Parosh Aziz
1
Aceto, Luca, 1961-
1
Anna Ingólfsdóttir, 1952-
1
Baier, Christel
1
Bartocci, Ezio
1
Berghammer, Rudolf, 1952-
1
Brennan, Rob
1
Chen, Yunji, 1983-
1
Clarke, E. M., 1945-
1
Di Martino, Beniamino
1
Dong, Jin Song
1
Dongarra, Jack, 1950-
1
Drossopoulou, Sophia
1
Fleck, Joel
1
Gorentla Venkata, Manjunath
1
Gorton, Ian, 1962-
1
Guo, Minyi
1
Hanus, Michael, 1959-
1
Havelund, Klaus, 1955-
1
Hofmeister, Christine
1
Honsell, Furio
1
Ienne, Paolo
1
Imam, Neena
1
Issarny, Valérie
1
Jaoua, Ali Mohamed
1
Ji, Qing
1
Le Goues, Claire
1
Leino, K. Rustan M.
1
Lopez, M. Graham
1
Majumdar, Rupak
1
Meer, Sven van der
1
Miculan, Marino
1
Mirandola, Raffaela
1
Mycroft, Alan
1
Möller, Bernhard, 1953-
1
Ouaknine, Joël
1
Piterman, Nir
1
Qin, Shengchao
1
Qiu, Zongyan
1
Real, Jorge
1
Sarukkai, Sundar
1
Sassone, Vladimiro
1
Scagnetto, Ivan
1
Schantz, Richard E.
1
Sen, Sandeep
1
Shamis, Pavel
1
Smolka, Scott A.
1
Tang, Feilong
1
Tinelli, Cesare
1
Vaandrager, Frits W.
1
Vardanega, Tullio
1
Virbickajte, I. B.
1
Voronkov, Andrei, 1959-
1
Walukiewicz, Igor, 1968-
1
Wolfsthal, Yaron
1
Yang, Laurence Tianruo
1
Yoo, Shin
1
Zeller, Andreas, 1965-
1
Zhu, Huibiao
1
Zima, Hans, 1941-
1
Ziv, Avi
1
Ábrahám, Erika
zavřít
×
Načítá se...