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ě
6
SpringerLink (online služba)
1
Coecke, Bob, 1968-
1
De Nicola, Rocco
1
Hennicker, Rolf
1
Hutter, Dieter
1
Härder, Theo, 1945-
1
Iida, Shusaku
1
Jones, C. B. (Cliff B.), 1944-
1
Lehner, Wolfgang, 1969-
1
Lloyd, John L.
1
Meseguer, José
1
Ogata, Kazuhiro
1
Ong, Luke
1
Panangaden, Prakash
1
Stephan, Werner, 1947-
zavřít
×
Načítá se...