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ě
74
SpringerLink (online služba)
6
Voronkov, Andrei, 1959-
2
Berardi, Stefano
2
Calude, Cristian, 1952-
2
Damiani, Ferruccio
2
Filliâtre, Jean-Christophe
2
Hagiya, Masami, 1957-
2
Hoek, Wiebe van der
2
Löwe, Benedikt
2
Paulin-Mohring, Christine, 1962-
2
Queiroz, Ruy J. G. B. de
2
Rudolph, Sebastian
2
Torroni, Paolo
2
Werner, Benjamin
2
Zaverucha, Gerson
2
Železný, Filip, 1974-
1
Abrial, Jean-Raymond, 1938-
1
Altenkirch, Thorsten, 1962-
1
Archibald, Margaret
1
Armando, Alessandro
1
Baader, Franz, 1959-
1
Baaz, Matthias, 1960-
1
Bacardit, Jaume
1
Balduccini, Marcello
1
Berghammer, Rudolf, 1952-
1
Bernadó-Mansilla, Ester
1
Bonanno, Giacomo
1
Bramer, M. A. (Max A.), 1948-
1
Brattka, Vasco
1
Broersen, Jan
1
Bruza, Peter
1
Butz, Martin V
1
Callaghan, Paul, 1970 -
1
Cariani, Fabrizio
1
Cerro, Luis Fariñas del
1
Charatonik, Witold
1
Chemello, Gaetano
1
Christiansen, Henning
1
Clark, Alexander
1
Comon, Hubert, 1957-
1
Coppo, Mario, 1947-
1
Coquand, Thierry
1
Corby, Olivier
1
Corne, David
1
Costa, Augusto Loureiro da
1
Coste, François
1
Croitoru, Madalina
1
Datta, Anupam
1
Dau, Frithjof
1
Davis, Jesse
1
Dawar, Anuj, 1966-
1
De Raedt, Luc, 1964-
1
Dershowitz, Nachum, 1951-
1
Dinneen, M. J. (Michael J.), 1967-
1
Durand-Lose, Jérôme
1
Ebert, Christian
1
Eiter, Thomas
1
Eklund, Peter W., 1962-
1
Elgesem, Dag
1
Erdem, Esra
1
Etalle, Sandro
1
Fermé, Eduardo
1
Fernau, Henning
1
Finkbeiner, Bernd
1
Fisher, Michael
1
Frasconi, Paolo
1
Frisco, Pierluigi
1
Frühwirth, Thom, 1962-
1
Gabbay, Dov M., 1945-
1
Gao, Yuan
1
Garcia de la Banda, Maria
1
Garrigue, Jacques
1
Gelbukh, Alexander, 1962-
1
Geuvers, Herman, 1964-
1
Giesl, Jürgen
1
Glesner, Manfred, 1943-
1
Glässer, Uwe, 1959-
1
Goranko, Valentin
1
Governatori, Guido
1
Grossi, Davide
1
Gębala, Maciej
1
Haemmerlé, Ollivier
1
Hartenstein, Reiner W.
1
Hermann, Miki, 1958-
1
Hermenegildo, Manuel V
1
Herzig, Andreas
1
Hill, Patricia M
1
Hodges, Wilfrid, 1941-
1
Homer, S. (Steven)
1
Howse, John
1
Huang, De-Shuang
1
Hutter, Marcus
1
Hähnle, Reiner, 1962-
1
Hölldobler, Steffen
1
Ibarra, Oscar H., 1941-
1
Jaoua, Ali Mohamed
1
Jo, Kang-Hyun
1
Jouannaud, Jean-Pierre, 1947-
1
Jäger, Gerhard
1
Kaminski, Michael
1
Kersting, Kristian, 1973-
1
Kirchner, Hélene
1
Kleine Büning, Hans
1
Klusch, Matthias
1
Konev, Boris
1
Kornai, András
1
Kovacs, Tim
1
Kutyłowski, Mirosław
1
Kuznetsov, Sergei O
1
Lavrač, Nada, 1953-
1
Lawless, William
1
Lecroq, Thierry, 1965-
1
Leite, João
1
Leite, João, 1970-
1
Levine, Daniel S
1
Li, Wenjie
1
Lin, Fangzhen
1
Lingras, Pawan J. (Pawan Jayawantrao), 1963-
1
Lisi, Francesca A
1
Lisitsa, Alexei
1
Llorà, Xavier
1
Loidl, Hans-Wolfgang+
1
Lu, Hanlin
1
Lutz, Carsten
1
Lutz, Carsten, 1971-
1
Maneth, Sebastian
1
Manna, Zohar, 1939-2018
1
Marché, Claude
1
Margenstern, Maurice
1
Martini, Simone, 1959-
1
Martín-Vide, Carlos
1
McBride, Conor
1
Meheus, Joke
1
Mengin, Jérôme
1
Miao, Duoqian
1
Michaelis, Jens
1
Miclet, Laurent
1
Miguel, Ian
1
Mollá-Aliod, Diego
1
Morales, Eduardo F.
1
Morita, Kenichi
1
Mouchard, Laurent
1
Muggleton, Stephen
1
Muggleton, Stephen H
1
Möller, Bernhard, 1953-
1
Narukawa, Yasuo, 1964-
1
Ohlbach, Hans Jürgen
1
Otto, Friedrich
1
Paes, Aline
1
Parent, Xavier
1
Peled, Doron A., 1962-
1
Peters, James F., 1936-
1
Peña, Ricardo, 1950-
1
Pontelli, Enrico
1
Pu, Geguang
1
Păun, Gheorghe
1
Ramanujam, R
1
Ramon, Jan
1
Ranise, Silvio
1
Ravikumar, B.
1
Riguzzi, Fabrizio
1
Rijsbergen, Keith van
1
Ringeissen, Christophe
1
Ronchi Della Rocca, Simona, 1946-
1
Rozenberg, Grzegorz
1
Rozenberg, Grzegorz, 1942-
1
Ruml, Wheeler
1
Sakarovitch, Jacques, 1947-
1
Salomaa, Arto
1
Santos Costa, Vítor
1
Sartor, Giovanni
1
Sarukkai, Sundar
1
Schaub, Torsten
1
Schrijvers, Tom
1
Seki, Shinnosuke
1
Skadhauge, Peter Rossen
1
Skowron, Andrzej
1
Sofge, Donald
1
Son, Tran Cao
1
Sossai, Claudio
1
Steels, Luc
1
Stephan, Frank
1
Strass, Hannes
1
Stuckey, Peter J
1
Sutcliffe, Geoff, 1961-
1
Słowiński, Roman
1
Takadama, Keiki
1
Tamaddoni-Nezhad, Alireza
1
Timmis, Jon
1
Toni, Francesca
1
Torra, Vicenç
1
Treinen, Ralf
1
Truszczyński, Mirosław
1
Tsumoto, Shūsaku, 1963-
1
Urzyczyn, Pawel
1
Vajnovszki, Vincent
1
Vardi, Moshe Y., 1954-
1
Villadsen, Jørgen
1
Vovk, Vladimir
1
Wadler, Philip, 1956-
1
Wansing, Heinrich
1
Watson, Bruce
1
Wiedijk, Freek, 1961-
1
Wilson, Nic
1
Wobcke, Wayne
1
Woltran, Stefan
1
Wunsch, Donald C
1
Yli-Jyrä, Anssi
1
Yu, Sheng
1
Zeugmann, Thomas
1
Zhang, Lijun
1
Zhang, Mengjie
1
Zhao, Xishun
1
de’Liguoro, Ugo
1
Ågotnes, Thomas
zavřít
×
Načítá se...