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ě
2
Bin, Eyal
2
Ur, Shmuel
1
Andrews, Jason R.
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Beckert, Bernhard
1
Bošnački, Dragan, 1963-
1
Edelkamp, Stefan, 1969-
1
Godefroid, Patrice
1
Graf, Susanne
1
Grumberg, Orna, 1952-
1
Gurevich, Yuri, 1940-
1
Havelund, Klaus, 1955-
1
Hermanns, Holger, 1967-
1
Huth, Michael, 1962-
1
Hähnle, Reiner, 1962-
1
Meyer, Bertrand, 1950-
1
Mounier, Laurent
1
Oliveira, José
1
Palsberg, Jens, 1964-
1
Rajamani, Sriram K., 1970-
1
Schmitt, Peter H., 1948-
1
Valmari, Antti
1
Wolfsthal, Yaron
1
Zave, Pamela
1
Ziv, Avi
zavřít
×
Načítá se...