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ě
101
SpringerLink (online služba)
8
Voronkov, Andrei, 1959-
3
Kobayashi, Naoki, 1968-
3
Paulin-Mohring, Christine, 1962-
3
Vidal, Germán
2
Berardi, Stefano
2
Calude, Cristian, 1952-
2
Damiani, Ferruccio
2
Etalle, Sandro
2
Fiadeiro, José Luiz, 1961-
2
Filliâtre, Jean-Christophe
2
Gupta, Gopal, 1963-
2
Hagiya, Masami, 1957-
2
Kroening, Daniel
2
Liu, Zhiming, 1972-
2
Peña, Ricardo, 1950-
2
Qin, Shengchao
2
Torroni, Paolo
2
Werner, Benjamin
2
Železný, Filip, 1974-
1
Alpuente, María
1
Altenkirch, Thorsten, 1962-
1
Amadio, Roberto M.
1
Armando, Alessandro
1
Audebaud, Philippe
1
Baader, Franz, 1959-
1
Bartocci, Ezio
1
Beckert, Bernhard
1
Bensalem, Saddek
1
Berghammer, Rudolf, 1952-
1
Bernardo, Marco, 1970-
1
Bjørner, Nikolaj
1
Blume, Matthias
1
Bolduc, Claude
1
Bouajjani, Ahmed
1
Bravetti, Mario, 1971-
1
Calimeri, Francesco
1
Calinescu, Radu
1
Chatterjee, Krishnendu
1
Clarke, E. M., 1945-
1
Cohen, Ernie
1
Coppo, Mario, 1947-
1
Corby, Olivier
1
Croitoru, Madalina
1
Datta, Anupam
1
Davis, Martin, 1928-2023
1
Dawar, Anuj, 1966-
1
Delgrande, James P.
1
Dershowitz, Nachum, 1951-
1
Desharnais, Jules
1
Diekert, Volker, 1955-
1
Dinneen, M. J. (Michael J.), 1967-
1
Drossopoulou, Sophia
1
Durán, Franciso
1
Ebert, Christian
1
Edelkamp, Stefan, 1969-
1
Eklund, Peter W., 1962-
1
Erdem, Esra
1
Faber, Wolfgang, 1974-
1
Falaschi, Moreno
1
Fehnker, Ansgar
1
Fermüller, Christian G., 1963-
1
Fähndrich, Manuel
1
Gabbay, Dov M., 1945-
1
Gabbrielli, Maurizio
1
Gelbukh, Alexander, 1962-
1
Giannakopoulou, Dimitra
1
Gibbons, Jeremy, 1966-
1
Giese, Martin
1
Giesl, Jürgen
1
Godo, Lluís
1
Gogolla, Martin, 1954-
1
Gupta, Aarti
1
Habib, M. (Michel), 1951-
1
Haemmerlé, Ollivier
1
Hanus, Michael, 1959-
1
Havelund, Klaus, 1955-
1
Henzinger, T. A., 1962-
1
Hermann, Miki, 1958-
1
Hierons, Robert M.
1
Holzmann, Gerald J., 1951-
1
Homer, S. (Steven)
1
Honsell, Furio
1
Howse, John
1
Hähnle, Reiner, 1962-
1
Hölldobler, Steffen
1
Ianni, Giovambattista
1
Igarashi, Atsushi
1
Issarny, Valérie
1
Jaoua, Ali Mohamed
1
Jhala, Ranjit
1
Johnson, Michael
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Richard
1
Joshi, Rajeev
1
Julliand, Jacques
1
Jäger, Gerhard
1
Kaminski, Michael
1
Kirchner, Hélene
1
Kleine Büning, Hans
1
Koopman, Pieter
1
Kouchnarenko, Olga
1
Ktari, Béchir
1
Kučera, Antonín, 1971-
1
Lavrač, Nada, 1953-
1
Lecroq, Thierry, 1965-
1
Legay, Axel
1
Leite, João, 1970-
1
Li, Wenjie
1
Lin, Fangzhen
1
Logozzo, Francesco
1
Loidl, Hans-Wolfgang+
1
Lomuscio, Alessio
1
Lutz, Carsten, 1971-
1
Majumdar, Rupak
1
Maldonado, José Carlos
1
Maler, Oded
1
Malik, Sharad
1
Maneth, Sebastian
1
Martini, Simone, 1959-
1
McBride, Conor
1
McIver, Annabelle, 1964-
1
Merayo, Mercedes G.
1
Michaelis, Jens
1
Miculan, Marino
1
Miguel, Ian
1
Misra, Jayadev
1
Mollá-Aliod, Diego
1
Morales, Eduardo F.
1
Morita, Kenichi
1
Mosses, Peter D., 1948-
1
Mouchard, Laurent
1
Möller, Bernhard, 1953-
1
Narukawa, Yasuo, 1964-
1
Nipkow, Tobias, 1958-
1
Noble, James
1
Ohlbach, Hans Jürgen
1
Oliveira, José Nuno
1
Olivetti, Nicola, 1963-
1
Orejas, Fernando, 1952-
1
Palsberg, Jens, 1964-
1
Pavlovic, Dusko
1
Petrenko, Alexandre
1
Plasmeijer, Rinus
1
Pol, Jaco van de, 1969-
1
Potapov, Igor
1
Puebla, Germán
1
Pugliese, Andrea
1
Păsăreanu, Corina S.
1
Qiu, Zongyan
1
Queiroz, Ruy J. G. B. de
1
Ravn, Anders P., 1947-2019
1
Real, Jorge
1
Riguzzi, Fabrizio
1
Ringeissen, Christophe
1
Ronchi Della Rocca, Simona, 1946-
1
Rozenberg, Grzegorz, 1942-
1
Rudolph, Sebastian
1
Ruml, Wheeler
1
Rumpe, Bernhard
1
Rybalchenko, Andrey
1
Sagiv, Mooly
1
Sarukkai, Sundar
1
Sassone, Vladimiro
1
Scagnetto, Ivan
1
Schaub, Torsten
1
Schmidt, Renate A.
1
Schobbens, Pierre-Yves, 1961-
1
Schrijvers, Tom
1
Seidl, Helmut
1
Sekerinski, Emil, 1963-
1
Sen, Sandeep
1
Sestoft, Peter
1
Shao, Zhong, 1968-
1
Simão, Adenilso
1
Sofronie-Stokkermans, Viorica
1
Su, Zhendong
1
Sutcliffe, Geoff, 1961-
1
Swierstra, Doaitse
1
Thiemann, Peter
1
Timmis, Jon
1
Tinelli, Cesare
1
Toni, Francesca
1
Torra, Vicenç
1
Truszczyński, Mirosław
1
Truszczyński, Mirosław, 1955-
1
Urzyczyn, Pawel
1
Vajnovszki, Vincent
1
Vardanega, Tullio
1
Waaler, Arild
1
Wadler, Philip, 1956-
1
Wansing, Heinrich
1
Weber, Michael
1
Wilson, Nic
1
Wobcke, Wayne
1
Wolff, Burkhart, 1962-
1
Woodcock, Jim, 1956-
1
Yang, Hongseok
1
Zhang, Mengjie
1
Zhao, Xishun
1
de’Liguoro, Ugo
1
Ölveczky, Peter Csaba
zavřít
×
Načítá se...