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ě
8
SpringerLink (online služba)
1
Blanchette, Jasmin Christian
1
Brucker, Achim D
1
Corne, David
1
Frisco, Pierluigi
1
Havelund, Klaus, 1955-
1
Holzmann, Gerald J., 1951-
1
Joshi, Rajeev
1
Julliand, Jacques
1
Kosmatov, Nikolai
1
Pol, Jaco van de, 1969-
1
Păun, Gheorghe
1
Rozenberg, Grzegorz
1
Salomaa, Arto
1
Seidl, Martina
1
Tillmann, Nikolai
1
Veanes, Margus
1
Viganò, Luca
1
Weber, Michael
1
Yahav, Eran
zavřít
×
Načítá se...