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ě
4
Boer, Frank S. de
3
Brinksma, Ed
3
Graf, Susanne
3
Peled, Doron A., 1962-
2
Alur, Rajeev, 1966-
2
Ball, Thomas (Thomas Jaudon), 1965-
2
Bin, Eyal
2
Edelkamp, Stefan, 1969-
2
Emerson, E. Allen
2
Foster, Harry D., 1956-
2
Godefroid, Patrice
2
Gurevich, Yuri, 1940-
2
Hermanns, Holger, 1967-
2
Hu, Alan J. (Alan John)
2
Krolnik, Adam
2
Kropf, Thomas
2
Margaria, Tiziana
2
Meyer, Bertrand, 1950-
2
Namjoshi, Kedar S.
2
Pudlák, Petr
2
Rajamani, Sriram K., 1970-
2
Smith, Graeme, 1966-
2
Steffen, Bernhard
2
Steffen, Bernhard, 1958-
2
Univerzita Karlova. Katedra teoretické informatiky a matematické logiky
2
Ur, Shmuel
2
Vysoké učení technické v Brně. Fakulta informačních technologií
1
Alt, René
1
Andrews, Jason R.
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Bauer, Jörg, 1955-
1
Beckert, Bernhard
1
Bernardo, Marco, 1970-
1
Berry, Gérard
1
Boiten, Eerke, 1966-
1
Borrione, Dominique
1
Bowen, Jonathan P.
1
Bošnački, Dragan, 1963-
1
Brim, Luboš, 1952-
1
Burkart, Olaf
1
Camilleri, Albert
1
Camurati, Paolo E.
1
Carvey, Harlan A.
1
Casey, Eoghan
1
Cimatti, Alessandro
1
Clavel, Manuel, 1969-
1
Cleaveland, W. R. (Walter Rance), 1961-2024
1
Comon, Hubert, 1957-
1
Cook, Byron, 1971-
1
Cortesi, Agostino, 1963-
1
Cousot, Radhia
1
Dam, Mads, 1955-
1
Damm, Werner
1
Davies, Jim, 1964-
1
Derrick, John, 1963-
1
Dershowitz, Nachum, 1951-
1
Dill, David L.
1
Eisner, Cindy
1
Ekendahl, Robert
1
Etessami, Kousha
1
Eveking, Hans
1
Filé, Gilberto, 1951-
1
Finkel, Alain, 1958-
1
Fisman, Dana
1
Fitzgerald, John, 1965-
1
Giacobazzi, Roberto, 1964-
1
Gibbons, Jeremy, 1966-
1
Gopalakrishnan, Ganesh
1
Grumberg, Orna
1
Grumberg, Orna, 1952-
1
Halbwachs, Nicolas
1
Hankin, Chris, 1954-
1
Havelund, Klaus, 1955-
1
Henzinger, Thomas A.
1
Huth, Michael, 1962-
1
Hähnle, Reiner, 1962-
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Robert B. (Robert Brent), 1969-
1
Larsen, Kim Guldstrand
1
Levi, Giorgio, 1942-
1
Lomuscio, Alessio
1
Lucas, Peter
1
Margaria-Steffen, Tiziana, 1964-
1
Martin, Andrew K.
1
Mauw, Sjouke
1
Mayr, Ernst W., 1950-
1
Melham, T. F. (Tom F.), 1960-
1
Mintz, Mike
1
Misra, Jayadev
1
Mounier, Laurent
1
Mycroft, Alan
1
Müller-Olm, Markus
1
Nielson, Hanne Riis, 1954-
1
Nipkow, Tobias, 1958-
1
Núnez, Manuel
1
Olderog, Ernst-Rüdiger
1
Oliveira, José
1
Palamidessi, Catuscia
1
Palsberg, Jens, 1964-
1
Paul, Wolfgang J., 1951-
1
Pierre, Laurence
1
Podelski, Andreas
1
Pol, Jaco van de, 1969-
1
Prömel, Hans Jürgen
1
Reps, Thomas W. (Thomas William), 1956-
1
Rogalewicz, Adam, 1978-
1
Romijn, Judi Maria Tirza, 1971-
1
Sagiv, Mooly
1
Schmitt, Peter H., 1948-
1
Schwartzbach, Michael
1
Sekerinski, Emil, 1963-
1
Sistla, A. Prasad
1
Siveroni, Igor
1
Spear, Chris
1
SpringerLink (online služba)
1
Srivas, Mandayam
1
Steger, Angelika
1
Thomas, Don
1
Tsay, Yih-Kuen, 1962-
1
Valmari, Antti
1
Vardi, Moshe Y., 1954-
1
Vojnar, Tomáš, 1973-
1
Wang, Farn
1
Williams, John
1
Windley, Phillip
1
Wolfsthal, Yaron
1
Wolper, Pierre
1
Yi, Kwangkeun
1
Yi, Wang
1
Zave, Pamela
1
Zhang, Wenhui, 1963-
1
Ziv, Avi
1
Zuck, Lenore D., 1958-
1
České vysoké učení technické v Praze. Katedra kybernetiky
1
Štěpánek, Petr, 1943-2012
1
Šusta, Richard, 1956-
zavřít
×
Načítá se...