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ě
10
SpringerLink (online služba)
2
Coecke, Bob, 1968-
1
Abrial, Jean-Raymond, 1938-
1
Casadio, Claudia
1
De Nicola, Rocco
1
Dershowitz, Nachum, 1951-
1
Glässer, Uwe, 1959-
1
Goldreich, Oded, 1957-
1
Grumberg, Orna, 1952-
1
Hennicker, Rolf
1
Iida, Shusaku
1
Jones, C. B. (Cliff B.), 1944-
1
Kaminski, Michael
1
Katz, Shmuel
1
Lloyd, John L.
1
Manna, Zohar, 1939-2018
1
Meseguer, José
1
Moortgat, Michael
1
Nissan, Ephraim
1
Ogata, Kazuhiro
1
Ong, Luke
1
Panangaden, Prakash
1
Peled, Doron A., 1962-
1
Rosenberg, Arnold L., 1941-
1
Scott, P. J.
1
Selman, Alan L.
1
Wintner, Shuly, 1963-
zavřít
×
Načítá se...