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ě
SpringerLink (online služba)
2
Biere, Armin, 1967-
2
Fiadeiro, José Luiz, 1961-
1
Alpuente, María
1
Audebaud, Philippe
1
Bacchus, Fahiem
1
Bernardo, Marco, 1970-
1
Bloem, Roderick
1
Bouajjani, Ahmed
1
Dovier, Agostino, 1965-
1
Drossopoulou, Sophia
1
Etalle, Sandro
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
Hoos, Holger H
1
Issarny, Valérie
1
Joshi, Rajeev
1
Jürgensen, Helmut, 1942-
1
Kleine Büning, Hans
1
Kobayashi, Naoki, 1968-
1
Kroening, Daniel
1
Kullmann, Oliver
1
Kučera, Antonín, 1971-
1
Maler, Oded
1
Marques-Silva, João
1
Miculan, Marino
1
Misra, Jayadev
1
Mitchell, David G
1
Mosses, Peter D., 1948-
1
Mycroft, Alan
1
Nipkow, Tobias, 1958-
1
Oliveira, José Nuno
1
Orejas, Fernando, 1952-
1
Palsberg, Jens, 1964-
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
Sakallah, Karem A.
1
Sarukkai, Sundar
1
Scagnetto, Ivan
1
Schobbens, Pierre-Yves, 1961-
1
Sekerinski, Emil, 1963-
1
Sen, Sandeep
1
Sestoft, Peter
1
Shao, Zhong, 1968-
1
Su, Zhendong
1
Truszczyński, Mirosław
1
Vidal, Germán
1
Walsh, Toby
1
Weber, Michael
1
Zeller, Andreas, 1965-
1
Zhao, Xishun
1
Ölveczky, Peter Csaba
zavřít
×
Načítá se...