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ě
142
SpringerLink (online služba)
6
Müller, Jörg P., 1965-
5
Voronkov, Andrei
4
Garcia, Alessandro, 1976-
4
Giorgini, Paolo
4
Odell, James J., 1946-
4
Zambonelli, Franco, 1966-
3
Bebis, George
3
Boyle, Richard
3
Choren, Ricardo
3
Dignum, Virginia
3
Gleizes, Marie-Pierre
3
Koracin, Darko
3
Lucena, Carlos J. P. de, 1943-
3
Padgham, Lin
3
Parvin, Bahram
3
Remagnino, Paolo
3
Romanovsky, Alexander, 1954-
2
Armando, Alessandro
2
Arns, Laura
2
Baral, Chitta
2
Bartenstein, Oskar
2
Barthe, Gilles, 1967-
2
Beliczynski, Bartlomiej
2
Boissier, Olivier
2
Chun, Yu Ka
2
Dastani, Mehdi
2
Dillon, Tharam S., 1943-
2
Dobnikar, Andrej
2
Dzielinski, Andrzej
2
Geske, Ulrich
2
Giese, Holger
2
Gomez-Sanz, Jorge J
2
Herrero, Pilar
2
Iwanowski, Marcin
2
Klosowski, James
2
Klusch, Matthias
2
Klügl, Franziska
2
Konev, Boris
2
Lindemann, Gabriela
2
Lotrič, Uroš
2
Luck, Michael
2
Matson, Eric
2
Meersman, R., 1947-
2
Monroe, Laura
2
Ossowski, Sascha
2
Peters, Jörg
2
Picard, Gauthier
2
Porikli, Fatih
2
Rhyne, Theresa-Marie
2
Ribeiro, Bernardete
2
Ringeissen, Christophe
2
Seipel, Dietmar
2
Veith, Helmut
2
Vázquez-Salceda, Javier
2
Weyns, Danny
2
Wolter, Frank
2
Šter, Branko
1
Abbass, Hussein A., 1969-
1
Abdulla, Parosh Aziz
1
Abramsky, Samson
1
Aguilera, Marcos K
1
Albert, Elvira
1
Aldewereld, Huib
1
Ali, Moonis, 1944-
1
Alpuente, María
1
Arnellos, Argyris
1
Artikis, Alexander
1
Baader, Franz
1
Baldoni, Matteo
1
Baresi, Luciano
1
Barker-Plummer, Dave
1
Baumgartner, Peter
1
Beckert, Bernhard
1
Beek, Peter van
1
Benatallah, Boualem, 1966-
1
Benhamou, Frédéric
1
Berardi, Stefano
1
Bergmann, Ralph, 1965-
1
Bessière, Christian
1
Beyer, Hans-Georg
1
Bikakis, Antonis
1
Blockeel, Hendrik
1
Boella, Guido
1
Bolc, Leonard
1
Borzemski, Leszek, 1952-
1
Bowers, Rachel
1
Branke, Jürgen
1
Bresciani, Paolo
1
Brewka, Gerhard
1
Broersen, Jan
1
Bräunl, Thomas, 1962-
1
Brünnler, Kai
1
Burke, Edmund
1
Burke, Edmund, 1964-
1
Buttfield-Addison, Paris
1
Cabalar, Pedro
1
Campilho, Aurélio
1
Carballal, Adrian
1
Cariani, Fabrizio
1
Carpin, Stefano
1
Casati, Fabio, 1971-
1
Cervesato, Iliano
1
Cheng, Betty H. C.
1
Chitil, Olaf
1
Ciesielski, Vic
1
Cioppa, Antonio Della
1
Clavel, Manuel
1
Codish, Michael
1
Cohen, Ernie
1
Collier, Rem
1
Cossentino, Massimo
1
Cossu, Sebastiano M.
1
Cox, Richard
1
Dahl, Véronica
1
Dalpiaz, Fabiano, 1981-
1
Damiani, Ferruccio
1
Darzentas, John
1
Dawar, Anuj
1
De Nicola, Rocco
1
De Nivelle, Hans
1
Deb, Kalyanmoy, 1963-
1
Delcambre, Lois, 1950-
1
Dershowitz, Nachum
1
Dhillon, Vikram
1
Dignum, Frank, 1961-
1
Dikenelli, Oğuz
1
Dix, Jürgen
1
Dix, Jürgen, 1961-
1
Dowek, Gilles
1
Dunin-Keplicz, Barbara
1
Durán, Francisco
1
Eekelen, Marko van
1
Eker, Steven
1
Elgesem, Dag
1
Erdem, Esra
1
Esparcia Alcázar, Anna Isabel
1
European Coordinating Committee for Artificial Intelligence
1
Eymann, Torsten
1
Falaschi, Moreno
1
Falco, Ivanoe De
1
Fallah Seghrouchni, Amal El
1
Fiscus, Jonathan G.
1
Flanagan, Cormac
1
Fong, Joseph
1
Fontaine, Pascal
1
Fornara, Nicoletta
1
Galmiche, Didier
1
Garcia de la Banda, Maria
1
Gavoille, Cyril
1
Georgeff, Michael
1
Geuvers, Herman
1
Ghose, Aditya K.
1
Giannakopoulou, Dimitra
1
Giese, Holger, 1970-
1
Giese, Martin
1
Giunchiglia, Fausto, 1958-
1
Giurca, Adrian
1
Gopalakrishnan, Ganesh
1
Governatori, Guido
1
Gramlich, Bernhard
1
Gramlich, Bernhard, -2014
1
Greaves, Mark
1
Greco, Gianluigi
1
Green, David
1
Grossi, Davide
1
Grzech, Adam, 1954-2016
1
Gupta, Gopal, 1963-
1
Gustafson, Steven
1
Haddow, Pauline C
1
Hanus, Michael, 1959-
1
Henderson-Sellers, Brian, 1951-
1
Hendtlass, Tim
1
Hennicker, Rolf
1
Hermann, Miki
1
Hill, Patricia M
1
Hill, Patricia M.
1
Hirsch, Edward A.
1
Hodges, Wilfrid, 1941-
1
Holvoet, Tom
1
Honsell, Furio
1
Hooper, Max
1
Hornby, Gregory S
1
Howse, John
1
Hsu, Ching-Hsien
1
Huang, De-Shuang
1
Huhns, Michael N
1
Hölzl, Matthias
1
Inverardi, Paola
1
Jeusfeld, Manfred
1
Jo, Kang-Hyun
1
Johnson, Michael
1
Joshi, Rajeev
1
Kamel, Mohamed
1
Kang, Byeong-Ho
1
Kappel, Gerti
1
Karkaletsis, Vangelis
1
Kim, Tai-hoon
1
King, Andy
1
Kirchner, Claude
1
Kirchner, Hélene
1
Kirley, Michael
1
Kirn, Stefan
1
Kitzelmann, Emanuel
1
Koch, Nora
1
Kolp, Manuel
1
Konstantopoulos, Stasinos
1
Kramer, Stefan
1
Kroening, Daniel
1
Kulikowski, Juliusz L
1
Kulkarni, Akshay
1
Kwan, Reggie
1
König, Barbara
1
Lamersdorf, Winfried
1
Larchey-Wendling, Dominique
1
Launchbury, John
1
Laure, Erwin
1
Lea, Doug
1
Lee, John
1
Lee, Joohyung
1
Lee, Young-hoon
1
Leino, K. Rustan M.
1
Lemos, Rogério de
1
Lemos, Rogério de, 1961-
1
Leone, Nicola
1
Leung, Ho-fung
1
Levine, Daniel S
1
Li, Xiaodong
1
Lierler, Yuliya
1
Lincoln, Patrick
1
Ling, Tok Wang
1
Liu, Wenyin, 1966-
1
Liu, Zhiming, 1961-
1
Lladós, Josep (Lladós Canet)
1
Machado, José Manuel
1
Machado, Penousal
1
Magee, Jeff
1
Malzbender, Tom
1
Manning, Jon
1
Markidis, Stefano
1
Martí-Oliet, Narciso
1
Mayer, Philip
1
Mařík, Vladimír, 1952-
1
McMillan, Kenneth L.
1
Meenakshisundaram, Gopi
1
Meheus, Joke
1
Merelo-Guervós, Juan J
1
Meseguer, José
1
Metcalf, David
1
Metcalfe, George
1
Meyden, Ron van der
1
Meyer auf der Heide, Friedhelm
1
Meyer, Bertrand
1
Meyer, Bertrand, 1950-
1
Michalewicz, Zbigniew
1
Michel, Fabien
1
Miculan, Marino
1
Middeldorp, Aart, 1963-
1
Molineros, Jose
1
Mouratidis, Haralambos
1
Muggleton, Stephen
1
Müller, Hausi A
1
Müller, Peter
1
Nawarecki, Edward
1
Nefian, Ara
1
Neves, José
1
Nguyễn, Ngọc Thanh
1
Nielsen, Frank, 1971-
1
Niemelä, Ilkka
1
Noda, Itsuki
1
Nordio, Martin
1
Noriega, Pablo
1
Novák, Peter
1
Nugent, Tim
1
Olken, Frank
1
Otero, Ramon
1
O’Neill, Michael
1
Padget, Julian A., 1959-
1
Pagello, Enrico, 1946-
1
Palmirani, Monica
1
Pardo, Alberto
1
Parent, Xavier
1
Park, Jong Hyuk
1
Parsons, Jeffrey
1
Pascucci, Valerio
1
Pavlovic, Dusko
1
Pearce, David
1
Peled, Doron A
1
Perantonis, Stavros
1
Petta, Paolo
1
Peña, Ricardo, 1950-
1
Pfahringer, Bernhard
1
Phillips, Andrew
1
Plasmeijer, Rinus
1
Podelski, Andreas
1
Pontelli, Enrico
1
Pěchouček, Michal, 1972-
1
Qadeer, Shaz
1
Queiroz, Ruy J. G. B. de
1
Ramon, Jan
1
Razborov, Alexander A.
1
Reggiani, Monica
1
Ricci, Alessandro, 1973-
1
Riemsdijk, M. Birna van, 1978-
1
Rocha, Ricardo
1
Romero, Juan
1
Rossi, Gustavo
1
Runarsson, Thomas Philip
1
Russo, Claudio
1
Rybalchenko, Andrey
1
Saeki, Motoshi
1
Santos, Manuel Filipe
1
Sartor, Giovanni
1
Scagnetto, Ivan
1
Schaefer, Ina
1
Schlipf, John
1
Schmaltz, Julien
1
Schmid, Ute
1
Schmidt, Renate A
1
Schneider, Gerardo
1
Scholz, Sven-Bodo
1
Schreye, Danny De
1
Sekanina, Lukáš
1
Semenov, Alexei
1
Shavlik, Jude
1
Shaw, Mary
1
Shi, Yuhui
1
Shivananda, Adarsha
1
Shoval, Peretz
1
Sichman, Jaime Simão
1
Sirjani, Marjan
1
Slissenko, Anatol
1
Smaus, Jan-Georg
1
Son, Tran Cao
1
Sottara, Davide
1
Spirakis, Paul G
1
Spyropoulos, Constantine D
1
Stamelos, Ioannis
1
Stapleton, Gem
1
Stiefelhagen, Rainer
1
Stryk, Oskar von
1
Stuckey, Peter J
1
Sumii, Eijiro
1
Sutcliffe, Geoff
1
Swoboda, Nik
1
Tadepalli, Prasad
1
Takata, Osamu
1
Talcott, Carolyn
1
Tamaddoni-Nezhad, Alireza
1
Tan, Kay Chen
1
Tarantino, Ernesto
1
Terracina, Giorgio
1
Theisel, Holger
1
Trick, Michael A., 1960-
1
Umeda, Masanobu
1
Vanneschi, Leonardo
1
Vercouter, Laurent
1
Voronkov, Andrei, 1959-
1
Vosinakis, Spyros
1
Vouros, George
1
Vouros, George A
1
Waaler, Arild
1
Wand, Yair
1
Wang, Fu Lee
1
Warren, David S.
1
Wayner, Peter, 1964-
1
Weiss, Gerhard, 1962-
1
Whitley, L. Darrell
1
Wiedijk, Freek
1
Wiil, Uffe Kock
1
Winikoff, Michael
1
Wirsing, Martin
1
Wojciechowski, Konrad
1
Wolf, Armin
1
Woo, Carson
1
Woodcock, Jim
1
Woodcock, Jim, 1956-
1
Wooldridge, Michael J
1
Wunsch, Donald C
1
Yang, Laurence T
1
Yao, Xin
1
Yeo, Sang-Soo
1
Yin, Peng
1
Zara, Jiri
1
Zavattaro, Gianluigi
1
Zhang, Mengjie
1
Zhou, Neng-Fa
1
Zhu, Huibiao
1
de’Liguoro, Ugo
1
Ågotnes, Thomas
1
Ślęzak, Dominik
zavřít
×
Načítá se...