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ě
85
SpringerLink (online služba)
5
Voronkov, Andrei
3
Dignum, Virginia
2
Baral, Chitta
2
Beliczynski, Bartlomiej
2
Boissier, Olivier
2
Dastani, Mehdi
2
Dillon, Tharam S., 1943-
2
Dobnikar, Andrej
2
Dzielinski, Andrzej
2
Giorgini, Paolo
2
Gleizes, Marie-Pierre
2
Herrero, Pilar
2
Iwanowski, Marcin
2
Klusch, Matthias
2
Klügl, Franziska
2
Lotrič, Uroš
2
Matson, Eric
2
Meersman, R., 1947-
2
Müller, Jörg P., 1965-
2
Nguyễn, Ngọc Thanh
2
Odell, James J., 1946-
2
Ossowski, Sascha
2
Padgham, Lin
2
Picard, Gauthier
2
Ribeiro, Bernardete
2
Veith, Helmut
2
Vázquez-Salceda, Javier
2
Weyns, Danny
2
Šter, Branko
1
Abramsky, Samson
1
Aguilera, Marcos K
1
Albert, Elvira
1
Aldewereld, Huib
1
Ali, Moonis, 1944-
1
Alpuente, María
1
Armando, Alessandro
1
Arnellos, Argyris
1
Artikis, Alexander
1
Baader, Franz
1
Baldoni, Matteo
1
Baresi, Luciano
1
Baumgartner, Peter
1
Beek, Peter van
1
Benhamou, Frédéric
1
Bessière, Christian
1
Beyer, Hans-Georg
1
Bikakis, Antonis
1
Blockeel, Hendrik
1
Boella, Guido
1
Borzemski, Leszek, 1952-
1
Brewka, Gerhard
1
Brueckner, Sven A.
1
Brünnler, Kai
1
Burke, Edmund
1
Cabalar, Pedro
1
Cervesato, Iliano
1
Cheng, Betty H. C.
1
Chitil, Olaf
1
Choren, Ricardo
1
Cioppa, Antonio Della
1
Clavel, Manuel
1
Codish, Michael
1
Collier, Rem
1
Dahl, Véronica
1
Darzentas, John
1
Dawar, Anuj
1
De Nicola, Rocco
1
De Nivelle, Hans
1
Delcambre, Lois, 1950-
1
Dershowitz, Nachum
1
Dix, Jürgen
1
Dowek, Gilles
1
Durán, Francisco
1
Eekelen, Marko van
1
Eker, Steven
1
Erdem, Esra
1
Esparcia Alcázar, Anna Isabel
1
Eymann, Torsten
1
Falco, Ivanoe De
1
Fontaine, Pascal
1
Fornara, Nicoletta
1
Galmiche, Didier
1
Garcia, Alessandro, 1976-
1
Gavoille, Cyril
1
Georgeff, Michael
1
Geuvers, Herman
1
Giese, Holger
1
Giese, Holger, 1970-
1
Giunchiglia, Fausto, 1958-
1
Giurca, Adrian
1
Gomez-Sanz, Jorge J
1
Gopalakrishnan, Ganesh
1
Gramlich, Bernhard
1
Greco, Gianluigi
1
Grzech, Adam, 1954-2016
1
Guerrero, Pablo
1
Gustafson, Steven
1
Haddow, Pauline C
1
Hennicker, Rolf
1
Hermann, Miki
1
Holvoet, Tom
1
Hornby, Gregory S
1
Howse, John
1
Hsu, Ching-Hsien
1
Huhns, Michael N
1
Hölzl, Matthias
1
Inverardi, Paola
1
Jeusfeld, Manfred
1
Joshi, Rajeev
1
King, Andy
1
Kirchner, Claude
1
Kitzelmann, Emanuel
1
Koch, Nora
1
Konev, Boris
1
Kowalczyk, Ryszard, 1961-
1
Kramer, Stefan
1
Lamersdorf, Winfried
1
Larchey-Wendling, Dominique
1
Launchbury, John
1
Lea, Doug
1
Lee, John
1
Lee, Joohyung
1
Lemos, Rogério de
1
Lemos, Rogério de, 1961-
1
Leone, Nicola
1
Lierler, Yuliya
1
Lincoln, Patrick
1
Lindemann, Gabriela
1
Ling, Tok Wang
1
Lucena, Carlos J. P. de, 1943-
1
Luck, Michael
1
Magee, Jeff
1
Martí-Oliet, Narciso
1
Mayer, Philip
1
McMillan, Kenneth L.
1
Merelo-Guervós, Juan J
1
Meseguer, José
1
Metcalfe, George
1
Meyden, Ron van der
1
Meyer auf der Heide, Friedhelm
1
Meyer, Bertrand
1
Meyer, J.-J. Ch., 1954-
1
Michel, Fabien
1
Middeldorp, Aart, 1963-
1
Muggleton, Stephen
1
Müller, Hausi A
1
Müller, Peter
1
Niemelä, Ilkka
1
Noriega, Pablo
1
Novák, Peter
1
Olken, Frank
1
Otero, Ramon
1
O’Neill, Michael
1
Padget, Julian A., 1959-
1
Palmirani, Monica
1
Park, Jong Hyuk
1
Parsons, Jeffrey
1
Pearce, David
1
Peled, Doron A
1
Petrov, Ilia
1
Petta, Paolo
1
Pfahringer, Bernhard
1
Plasmeijer, Rinus
1
Podelski, Andreas
1
Qadeer, Shaz
1
Ramon, Jan
1
Ringeissen, Christophe
1
Rocha, Ricardo
1
Romanovsky, Alexander, 1954-
1
Runarsson, Thomas Philip
1
Russo, Claudio
1
Sachs, Kai
1
Saeki, Motoshi
1
Schaefer, Ina
1
Schlipf, John
1
Schmaltz, Julien
1
Schmid, Ute
1
Schmidt, Renate A
1
Scholz, Sven-Bodo
1
Schreye, Danny De
1
Sekanina, Lukáš
1
Shavlik, Jude
1
Shaw, Mary
1
Shoval, Peretz
1
Sichman, Jaime Simão
1
Sirjani, Marjan
1
Smaus, Jan-Georg
1
Son, Tran Cao
1
Sottara, Davide
1
Spirakis, Paul G
1
Stamelos, Ioannis
1
Stapleton, Gem
1
Sumii, Eijiro
1
Sutcliffe, Geoff
1
Tadepalli, Prasad
1
Talcott, Carolyn
1
Tamaddoni-Nezhad, Alireza
1
Tambe, Milind
1
Tarantino, Ernesto
1
Terracina, Giorgio
1
Vanneschi, Leonardo
1
Vercouter, Laurent
1
Voronkov, Andrei, 1959-
1
Vosinakis, Spyros
1
Vouros, George A
1
Wand, Yair
1
Weiss, Gerhard, 1962-
1
Whitley, L. Darrell
1
Wiedijk, Freek
1
Wiil, Uffe Kock
1
Wirsing, Martin
1
Wolter, Frank
1
Woo, Carson
1
Woodcock, Jim
1
Wooldridge, Michael J
1
Yang, Laurence T
1
Yao, Xin
1
Yeo, Sang-Soo
1
Zambonelli, Franco, 1966-
1
Zavattaro, Gianluigi
1
Zhou, Neng-Fa
zavřít
×
Načítá se...