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ě
11
SpringerLink (online služba)
2
Coecke, Bob, 1968-
1
Abrial, Jean-Raymond, 1938-
1
Bonacina, Maria Paola
1
Casadio, Claudia
1
De Nicola, Rocco
1
Glässer, Uwe, 1959-
1
Grumberg, Orna, 1952-
1
Hennicker, Rolf
1
Hutter, Dieter
1
Iida, Shusaku
1
Kaminski, Michael
1
Katz, Shmuel
1
Levit, Vadim E.
1
Lipshteyn, Marina
1
Manna, Zohar, 1939-2018
1
McConnell, Ross M.
1
Meseguer, José
1
Moortgat, Michael
1
Ogata, Kazuhiro
1
Ong, Luke
1
Panangaden, Prakash
1
Peled, Doron A., 1962-
1
Schaerf, Marco
1
Scott, P. J.
1
Stephan, Werner, 1947-
1
Stickel, Mark E.
1
Stock, Oliviero, 1950-
1
Wintner, Shuly, 1963-
zavřít
×
Načítá se...