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ě
26
SpringerLink (online služba)
2
Fiadeiro, José Luiz, 1961-
1
Audebaud, Philippe
1
Bernardo, Marco, 1970-
1
Biere, Armin, 1967-
1
Bouajjani, Ahmed
1
Dovier, Agostino, 1965-
1
Drossopoulou, Sophia
1
Falaschi, Moreno
1
Gabbrielli, Maurizio
1
Gibbons, Jeremy, 1966-
1
Gomes, Carla
1
Gupta, Gopal, 1963-
1
Hanus, Michael, 1959-
1
Havelund, Klaus, 1955-
1
Holzmann, Gerald J., 1951-
1
Honsell, Furio
1
Issarny, Valérie
1
Joshi, Rajeev
1
Jürgensen, Helmut, 1942-
1
Kleine Büning, Hans
1
Kroening, Daniel
1
Kučera, Antonín, 1971-
1
Maler, Oded
1
Miculan, Marino
1
Mosses, Peter D., 1948-
1
Mycroft, Alan
1
Oliveira, José Nuno
1
Orejas, Fernando, 1952-
1
Paulin-Mohring, Christine, 1962-
1
Pol, Jaco van de, 1969-
1
Pontelli, Enrico, 1967-
1
Potapov, Igor
1
Puebla, Germán
1
Păsăreanu, Corina S.
1
Reis, Rogério
1
Rust, Heinrich
1
Sagiv, Mooly
1
Scagnetto, Ivan
1
Schobbens, Pierre-Yves, 1961-
1
Sestoft, Peter
1
Shao, Zhong, 1968-
1
Weber, Michael
1
Zeller, Andreas, 1965-
1
Zhao, Xishun
1
Ölveczky, Peter Csaba
zavřít
×
Načítá se...