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ě
7
SpringerLink (online služba)
Voronkov, Andrei
1
Baader, Franz
1
Cervesato, Iliano
1
Dershowitz, Nachum
1
Hermann, Miki
1
Pnueli, Amir
1
Sutcliffe, Geoff
1
Veith, Helmut
1
Virbitskaite, Irina
1
Weidenbach, Christoph
zavřít
×
Načítá se...