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ě
115
SpringerLink (online služba)
3
Gunopulos, Dimitrios
3
Hofmann, Thomas
3
Malerba, Donato
3
Vazirgiannis, Michalis
2
Bacchus, Fahiem
2
Biere, Armin, 1967-
2
Csuhaj-Varjú, Erzsébet
2
Dau, Frithjof
2
De Raedt, Luc, 1964-
2
Dietzfelbinger, Martin
2
Fages, François
2
Goertzel, Ben
2
Goethals, Bart
2
Gomes, Carla
2
Kwong, Oi Yee
2
Marques-Silva, João
2
Muggleton, Stephen
2
O’Sullivan, Barry
2
Paulin-Mohring, Christine, 1962-
2
Pfahringer, Bernhard
2
Queiroz, Ruy J. G. B. de
2
Rossi, Francesca
2
Rudolph, Sebastian
2
Sakallah, Karem A.
2
Schürr, Andy
2
Walsh, Toby
2
Wong, Kam-Fai
2
Ésik, Zoltán
1
Aoki, Toshiaki
1
Artemov, Sergei
1
Arumugam, S., 1943-
1
Azevedo, Francisco de Moura e Castro Ascensão de, 1969-
1
Bach, Joscha
1
Barahona, Pedro, 1954-
1
Barceló, Pablo
1
Barkatou, Moulay
1
Bartocci, Ezio
1
Beckmann, Arnold
1
Beierle, Christoph
1
Bezhanishvili, Nick
1
Bieger, Jordi
1
Blass, Andreas
1
Blazy, Sandrine
1
Blockeel, Hendrik
1
Bonacina, Maria Paola
1
Bonakdarpour, Borzoo
1
Branco, António
1
Brazdil, Pavel, 1945-
1
Bulling, Nils
1
Butler, Michael
1
Calude, Cristian, 1952-
1
Camacho, Rui
1
Chatterjee, Krishnendu
1
Chng, Eng-Siong
1
Cluzeau, Thomas
1
Coelho, Helder, 1944-
1
Cohen, David
1
Colinet, Margot
1
Conchon, Sylvain
1
Daelemans, Walter
1
Daelemans, Walter, 1960-
1
Dagan, Ido
1
Dale, Robert, 1959-
1
Datta, Anupam
1
Derrick, John
1
Dershowitz, Nachum
1
Dias, Maria Carmelita
1
Dias, Sérgio M.
1
Dinneen, M. J. (Michael J.), 1967-
1
Domenach, Florent
1
Downey, R. G. (Rod G.), 1957-
1
Ehrig, Hartmut
1
Ehrig, Hartmut, 1944-
1
Engels, Gregor
1
Etessami, Kousha
1
Fahrenberg, Uli
1
Faltings, Boi V
1
Fiala, Jiří
1
Filliâtre, Jean-Christophe
1
Fontaine, Pascal
1
Frasconi, Paolo
1
Froncek, Dalibor
1
Frühwirth, Thom, 1962-
1
Fürnkranz, Johannes
1
Gama, João
1
Gamboa, Ruben
1
Gelbukh, Alexander, 1962-
1
Ghosh, Sujata
1
Gibbons, Jeremy, 1966-
1
Giese, Holger, 1970-
1
Gnesi, Stefania
1
Goertzel, Ben, 1966-
1
Goranko, Valentin
1
Gupta, Aarti
1
Hill, Richard
1
Hitzler, Pascal, 1971-
1
Hoos, Holger H
1
Huang, Chenchen
1
Huo, Qiang
1
Höfner, Peter
1
Ignatov, Dmitrij Igorevič, 1983-
1
Iklé, Matthew
1
Iliopoulos, Costas S
1
Jain, Rahul
1
Jain, Sanjay
1
Janhunen, Tomi
1
Janzing, Dominik, 1966-
1
Jha, Girish Nath
1
Jhala, Ranjit
1
Jipsen, Peter
1
Jorge, Alípio Mário
1
Jurdziński, Marcin
1
Kahl, Wolfram
1
Karhumäki, Juhani, 1949-
1
Karttunen, Lauri
1
Katrenko, Sophia
1
Kedad, Zoubida
1
Kersting, Kristian, 1973-
1
Khurshid, Sarfraz
1
Klein, Gerwin
1
Knoop, Jens
1
Kohlenbach, Ulrich
1
Kok, Joost N
1
Koronacki, Jacek
1
Kramer, Stefan
1
Kratochvíl, Jan
1
Kratochvíl, Jan, 1959-
1
Kreowski, Hans-Jörg, 1949-
1
Kullmann, Oliver
1
Kuncak, Viktor
1
Kuznetsov, Sergei O
1
Kwuida, Léonard
1
König, Barbara
1
Kühnberger, Kai-Uwe
1
Lammari, Nadira
1
Langmaack, Hans, 1934-
1
Larrosa, Javier
1
Latella, Diego
1
Lavrač, Nada, 1953-
1
Lawrence, Neil (Neil D.), 1972-
1
Lecroq, Thierry, 1965-
1
Lee, Jong-Hyeok
1
Leivant, Daniel Maurice Raphaël
1
Levit, Vadim E.
1
Li, Haizhou
1
Li, Jinhai
1
Lipshteyn, Marina
1
Liu, Weiru, 1962-
1
Looks, Moshe
1
Lukasiewicz, Thomas
1
Ma, Bin
1
Maffei, Matteo
1
Magnini, Bernardo
1
Majumdar, Rupak
1
Malik, Sharad
1
Mamede, Nuno J
1
Mantaras, Raomon Lopez de
1
Marchetti-Spaccamela, Alberto
1
Matsumoto, Yuji, 1955-
1
Matwin, Stan
1
McConnell, Ross M.
1
Meghini, Carlo
1
Merz, Stephan
1
Meziane, Farid
1
Miller, Mirka
1
Miller, Mirka, 1949-2016
1
Mitchell, David G
1
Mladenič, Dunja
1
Morik, Katharina
1
Morik, Katharina, 1954-
1
Moss, Lawrence S.
1
Mouchard, Laurent
1
Mugnier, Marie-Laure
1
Métais, Elisabeth, 1959-
1
Müller, M. E., 1970-
1
Müller-Hannemann, Matthias, 1969-
1
Nagl, Manfred, 1944-
1
Nerode, Anil
1
Niemelä, Ilkka, 1961-
1
Niranjan, Mahesan
1
Ničković, Dejan
1
Nogueira, Pablo
1
Nunes, Maria das Graças Volpe
1
Oliveira, Cláudia
1
Orseau, Laurent
1
Otero, Ramon
1
O’Boyle, Michael
1
Pang, Jun
1
Parisi-Presicce, Francesco
1
Pesant, Gilles
1
Petcu, Adrian
1
Peters, Jonas, 1984-
1
Pichardie, David
1
Pnueli, A. (Amir), 1941-
1
Poelmans, Jonas
1
Polovina, Simon
1
Potapov, Alexey
1
Priss, Uta
1
ProQuest Ebook Central (online služba)
1
Puebla, Germán
1
Qadeer, Shaz
1
Qin, Shengchao
1
Qiu, Zongyan
1
Quaresma, Paulo
1
Quiñonero-Candela, Joaquin, 1977-
1
Rajamani, Sriram K., 1970-
1
Ramon, Jan
1
Regensburger, Georg
1
Reisig, Wolfgang
1
Rendsvig, Rasmus K.
1
Rensink, Arend
1
Renz, Jochen
1
Rezende, Solange Oliveira, 1964-
1
Rezgui, Yacine
1
Ringeissen, Christophe
1
Roever, W.-P. de, 1943-
1
Rosenkranz, Markus
1
Rovan, Branislav
1
Rozenberg, Grzegorz
1
Rozenberg, Grzegorz, 1942-
1
Rybalchenko, Andrey
1
Sali, Attila
1
Sassone, Vladimiro
1
Scheffer, Tobias
1
Schirra, Stefan, 1961-
1
Schmidhuber, Jürgen
1
Schmidt, David
1
Schmidt, Renate A
1
Schrijvers, Tom
1
Schulte, Christian
1
Schärfe, Henrik, 1968-
1
Schölkopf, Bernhard, 1968-
1
Segal, Michael
1
Sen, Koushik
1
Sertkaya, Barış
1
Sgall, Jirí
1
Shavlik, Jude
1
Sichman, Jaime S. (Jaime Simão), 1962-
1
Skowron, Andrzej
1
Smolka, Scott A
1
Smyth, William F
1
Smyth, William F.
1
Snaider, Javier
1
Sofronie-Stokkermans, Viorica
1
Spiliopoulou, Myra, 1965-
1
Sproat, Richard W
1
Stephan, Frank
1
Strichman, Ofer
1
Stumme, Gerd
1
Su, Jian
1
Su, Keh-Yih
1
Szeider, Stefan
1
Tadepalli, Prasad
1
Taguchi, Kenji
1
Tamaddoni-Nezhad, Alireza
1
Tasiran, Serdar
1
Thórisson, Kristinn R.
1
Tinelli, Cesare
1
Torgo, Luís
1
Treharne, Helen
1
Tripakis, Stavros
1
Tsujii, Jun’ichi
1
Tuosto, Emilio
1
Urban, Christian
1
Urzyczyn, Pawel
1
Vajnovszki, Vincent
1
Verbrugge, Rineke, 1965-
1
Vieira, Renata
1
Vos, Alexis De
1
Wang, Pei
1
Werner, Benjamin
1
Westfechtel, Bernhard, 1958-
1
Widmayer, Peter
1
Wille, Robert
1
Winkler, Joab
1
Yli-Jyrä, Anssi
1
Zaïdi, Fatiha
1
Zhang, Min
1
Zhang, Xingyuan
1
Zündorf, Albert
1
d'Alché-Buc, Florence
1
de Oliveira, Anjolina G.
1
de Paiva, Valeria
1
van Benthem, Johan
1
Øhrstrøm, Peter, 1949-
1
Železný, Filip, 1974-
zavřít
×
Načítá se...