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ě
Havelund, Klaus
4
SpringerLink (online služba)
2
Roşu, Grigore
1
Barringer, Howard
1
Bobaru, Mihaela
1
Falcone, Ylies
1
Finkbeiner, Bernd
1
Holzmann, Gerard J
1
Joshi, Rajeev
1
Lee, Insup
1
Majumdar, Rupak
1
Núñez, Manuel
1
Pace, Gordon J.
1
Palsberg, Jens
1
Sokolsky, Oleg
1
Tillmann, Nikolai
1
Wolff, Burkhart
zavřít
×
Načítá se...