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ě
prev ...
1
Brazdil, Pavel, 1945-
1
Breitman, Karin
1
Breuel, Thomas M
1
Breugel, Franck van
1
Brewka, Gerhard
1
Brorsson, Mats
1
Brucker, Achim D
1
Bruni, Roberto
1
Bruza, Peter
1
Brézillon, Patrick
1
Brünnler, Kai
1
Bshouty, Nader H
1
Bshouty, Nader H.
1
Bugarín, Alberto
1
Bulatov, Andrei A.
1
Bursa, Miroslav
1
Busquets, Joan, 1959-
1
Buss, Samuel R., 1957-
1
Butler, Alastair
1
Butler, Michael, 1967-
1
Butterfield, Andrew
1
Butz, Cory J.
1
Butz, Martin V
1
Béal, Marie-Pierre
1
Béchet, Denis
1
Cabalar, Pedro
1
Cabot, Jordi
1
Caires, Luís
1
Calimeri, Francesco
1
Calinescu, Radu
1
Calmet, Jacques
1
Calmet, Jacques, 1941-
1
Calude, Elena
1
Camacho, Rui
1
Campbell, J. A., 1940-
1
Canal, Carlos
1
Candeias, Sara
1
Cariani, Fabrizio
1
Caron, Pascal
1
Carton, Olivier
1
Carvalho, Rommel N
1
Casadio, Claudia
1
Caseli, Helena
1
Cassez, Franck
1
Castagna, Giuseppe
1
Castillo, Luis, 1969-
1
Castillo, Oscar, 1959-
1
Cate, Balder D. ten
1
Cellier, Peggy
1
Cercone, Nick J
1
Cerro, Luis Fariñas del
1
Cervesato, Iliano
1
Chakraborty, Mihir K.
1
Chakraborty, Mihir Kumar
1
Chambers, Sally
1
Champarnaud, Jean-Marc
1
Chan, Chien-Chung
1
Chan, Keith C. C
1
Chan, T-H. Hubert
1
Charatonik, Witold
1
Chemello, Gaetano
1
Chen, Falai
1
Chen, Jianer
1
Chen, Kefei
1
Chen, Peter P. S., 1947-
1
Chitil, Olaf
1
Chng, Eng-Siong
1
Ciabattoni, Agata
1
Cimatti, Alessandro
1
Ciucci, Davide
1
Clark, Alexander
1
Clarke, E. M., 1945-
1
Clavel, Manuel
1
Cluzeau, Thomas
1
Codescu, Mihai
1
Codish, Michael
1
Coelho, Helder, 1944-
1
Cohen, David
1
Cohen, Ernie
1
Colinet, Margot
1
Combemale, Benoît
1
Comon-Lundh, Hubert
1
Conchon, Sylvain
1
Cook, Byron
1
Coppo, Mario
1
Corby, Olivier
1
Corchado, Juan M., 1971-
1
Corne, David
1
Corradini, Andrea
1
Corradini, Andrea, 1960-
1
Cortellessa, Vittorio
1
Costa, Augusto Loureiro da
1
Costa, Paulo C. G
1
Costa, Paulo C.G
1
Coste, François
1
Cousot, Radhia
1
Coventry, Kenny R
1
Craven, Robert
1
Csuhaj-Varjú, E., 1954-
1
Cucchiara, Rita
1
Cummins, Fred
1
Curien, Pierre-Louis
1
Cutland, Nigel, 1944-
1
Czarnecki, Krzysztof, 1970-
1
Cîrstea, Corina
1
D'Souza, Deepak
1
Daelemans, Walter
1
Daelemans, Walter, 1960-
1
Dagan, Ido
1
Dahl, Véronica
1
Dale, Robert, 1959-
1
Damiani, Ferruccio
1
Damm, Werner
1
Dams, Dennis
1
Dang, Zhe, 1967-
1
Danvy, Olivier
1
Dapoigny, Richard
1
Dastani, Mehdi
1
Datta, Anupam
1
Davenport, J. H. (James Harold), 1953-
1
Davenport, James H
1
Davies, Jim
1
Davis, Brian
1
Davis, Jesse
1
Davis, Martin, 1928-2023
1
Dawar, Anuj, 1966-
1
De Felice, Clelia, 1959-
1
De Nicola, Rocco
1
De Nivelle, Hans
1
Dediu, Adrian Horia
1
Degano, Pierpaolo
1
Delgrande, James P.
1
Delzanno, Giorgio
1
Demri, Stéphane
1
Dengel, Andreas R
1
Dennunzio, Alberto
1
Denoeux, Thierry
1
Derrick, John
1
Desharnais, Jules
1
Desmedt, Yvo
1
Destercke, Sébastien
1
Dey, Anind
1
Di Nasso, Mauro, 1963-
1
Diaconescu, Răzvan
1
Dias, Maria Carmelita
1
Diekert, Volker
1
Dierkes, Michael
1
Dignum, Frank
1
Dikovsky, Alexander
1
Dingel, Juergen
1
Distel, Felix
1
Dodos, Pandelis
1
Doesburg, Willem van
1
Domenach, Florent
1
Domingo-Ferrer, Josep
1
Dovier, Agostino, 1965-
1
Dowek, Gilles
1
Dowek, Gilles, 1966-
1
Downey, R. G. (Rod G.), 1957-
1
Downey, Rod
1
Drewes, Frank
1
Dries, Lou van den
1
Drossopoulou, Sophia
1
Dubois, Didier
1
Duchier, Denys
1
Duparc, Jacques, 1962-
1
Durand, Bruno
1
Durand-Lose, Jerome
1
Durán, Francisco
1
Durán, Franciso
1
Díaz, Josep, 1950-
1
Düsterhöft, Antje
1
D’Souza, Meenakshi
1
Edelkamp, Stefan, 1969-
1
Eekelen, Marko van
1
Egg, Markus
1
Egyed, Alexander
1
Ehrig, Hartmut
1
Ehrig, Hartmut, 1944-
1
Eker, Steven
1
Eklund, Peter W., 1962-
1
Elgesem, Dag
1
Embley, David W.
1
Englert, Roman
1
Erwig, Martin, 1963-
1
Esposito, Anna
1
Etessami, Kousha
1
European Cooperation in the Field of Scientific and Technical Research (organizace). COST Action 274 TARSKI (projekt)
1
Faber, Wolfgang
1
Faber, Wolfgang, 1974-
1
Fahrenberg, Uli
1
Fajardo, Sergio, 1956-
1
Falaschi, Moreno
1
Faltings, Boi V
1
Fanelli, Anna Maria
1
Farmer, William M.
1
Farré, Jacques
1
Fehnker, Ansgar
1
Feliachi, Abderrahmane
1
Felty, Amy
1
Feng, Xinyu
1
Fermé, Eduardo
1
Fermüller, Christian G., 1963-
1
Fernandes, João M
1
Fernau, Henning
1
Fiadeiro, José Luiz
1
Fiala, Jiří
1
Filliâtre, Jean-Christophe
1
Filé, Gilberto
1
Finkbeiner, Bernd
1
Finkel, Alain
1
Finocchi, Irene
1
Fitzgerald, John, 1965-
1
Fleuriot, Jacques, 1972-
1
Fliedl, Günther
1
Fomin, Fedor V
1
Fontaine, Pascal
1
Formenti, Enrico
1
Fradet, Pascal
1
Franceschinis, Giuliana
1
Francesconi, Enrico
1
Franconi, Enrico
1
Frappier, Marc
1
Fraser, Gordon
1
Freivalds, Rūsiņš
1
Freund, Rudolf
1
Frid, Anna
1
Frisco, Pierluigi
1
Froncek, Dalibor
1
Frühwirth, Thom, 1962-
1
Fuchs, Norbert E.
1
Furbach, Ulrich, 1948-
1
Furche, Tim
1
Furia, Carlo A
1
Futatsugi, Kokichi
1
Fähndrich, Manuel
1
Fürnkranz, Johannes
1
Gaag, Linda C. van der
1
Gabbrielli, Maurizio
1
Gabelaia, David
1
Galmiche, Didier
1
Gama, João
1
Gamboa, Ruben
1
Ganesalingam, Mohan
1
Ganter, Bernhard, 1949-
1
Gao, Helena Hong
1
Gao, Yuan
1
Garay, Juan A
1
Garcia de la Banda, Maria
1
Garg, Naveen
1
Gargantini, Angelo
1
Gaudel, Marie-Claude
1
Gavanelli, Marco
1
Gavrilova, Marina L
1
Gent, Ian P
1
Gentile, Claudio
1
George, Chris W.
1
George, Laurent
1
Gerla, Brunella
1
Geuvers, Herman
1
Gheyi, Rohit
1
Ghilardi, Silvio
1
Ghosh, Sujata
1
Giachino, Elena
1
Giacobazzi, Roberto
1
Giagkou, Maria
1
Giavitto, Jean-Louis
1
Gibbons, Jeremy
1
Giese, Martin
1
Gill, Andy
1
Gillibert, Pierre
1
Ginter, Filip
1
Glimm, Birte
1
Glodeanu, Cynthia Vera
1
Glässer, Uwe
1
Glässer, Uwe, 1959-
1
Gnesi, Stefania
1
Gnesi, Stefania, 1954-
1
Goble, Lou
1
Godin, Robert
1
Goertzel, Ben, 1966-
1
Gogolla, Martin
1
Gogolla, Martin, 1954-
1
Goldreich, Oded
1
Gomes, Carla
1
Gonthier, Georges
1
Gonzales, Christophe
1
Gopal, T. V.
1
Gopalakrishnan, Ganesh
1
Gorla, Daniele
1
Gottfried, Björn
1
Graf, Susanne
1
Gramlich, Bernhard
1
Gramlich, Bernhard, -2014
1
Greco, Gianluigi
1
Greco, Sergio, 1955-
1
Griffin, Timothy G
1
Groce, Alex
1
Gruhn, Volker
1
Grumberg, Orna
1
Grumberg, Orna, 1952-
1
Grzymala-Busse, Jerzy
1
Grzymała-Busse, Jerzy
1
Grzymała-Busse, Jerzy W
1
Grädel, Erich
1
Gschwind, Thomas
1
Gupta, Aarti
1
Gupta, Rajiv
1
Gutierrez, Claudio
1
Göker, Mehmet H.
1
Güdemann, Matthias
1
Güvenir, H. Altay, 1957-
1
Gębala, Maciej
1
Haemmerlé, Ollivier
1
Hameurlain, Abdelkader
1
Handschuh, Siegfried
1
Hanft, Alexandre
1
Hankin, Chris
1
Hannemann, Ulrich
1
Hanus, Michael, 1959-
1
Harju, T.
1
Harman, Neil
1
Harmelen, Frank van
1
Hasegawa, Masahito
1
Hata, Yutaka
1
Hatcliff, John
1
Haveraaen, Magne
1
Hawblitzel, Chris
1
Hayes, Ian, 1956-
1
He, Xiangdong
1
Hedin, Görel
1
Hendren, Laurie
1
Hennicker, Rolf
1
Henson, Martin
1
Henzinger, Monika
1
Hepting, Daryl H
1
Herik, H. Jaap van den
1
Hermann, Miki
1
Hermanns, Holger
1
Hermenegildo, Manuel V
1
Herrlich, Horst
1
Hertzberg, Joachim, 1958-
1
Herzberg, Frederik
1
Herzig, Andreas
1
Heutte, Laurent
1
Hierons, Robert M.
1
Hill, Patricia M
1
Hinchey, Mike
1
Hinze, Thomas
1
Hirano, Shoji
1
Hitzler, Pascal, 1971-
1
Hodges, Wilfrid, 1941-
1
Hofmann, Martin
1
Holcombe, Mike
1
Hole, Daniel
1
Holliday, Wesley H
1
Holub, Jan, 1973-
1
Holzinger, Andreas, 1963-
1
Holzmann, Gerald J., 1951-
1
Hong, Hoon
1
Honsell, Furio
1
Hoogeboom, Hendrik Jan
1
Hoos, Holger H
1
Horty, John
1
Howse, John
1
Hu, Zhenjiang
1
Huang, Huaxin
1
Hund, Marcus
1
Hung, Dang Van
1
Hunter, Anthony
1
Huo, Qiang
1
Hurd, Joe, 1975-
1
Hutter, Dieter
1
Hutter, Marcus
1
Hájek, Petr, 1940-2016
1
Hähnle, Reiner
1
Höfner, Peter
1
Hölzl, Matthias
1
Ianni, Giovambattista
1
Icard, Thomas
1
Idani, Akram
1
Igarashi, Atsushi
1
Ignatov, Dmitrij Igorevič, 1983-
1
Iida, Shusaku
1
Iklé, Matthew
1
Iliopoulos, Costas S
1
Imiya, Atsushi
1
Inenaga, Shunsuke
1
Ingólfsdóttir, Anna
1
Inoue, Katsumi
1
Ionescu, Armand Mihai
1
Irwin, G. W. (George William), 1950-
1
Isahara, Hitoshi
1
Ishizuka, Mitsuru, 1948-
1
Issarny, Valérie
1
Italiano, Giuseppe F
1
Italiano, Giuseppe F., 1961-
1
Itō, Masami, 1941-
1
Jackson, Ethan
1
Jackson, Paul
1
Jager, Tikitu de
1
Jain, Rahul
1
Jain, Sanjay, 1965 únor 22.-
1
Janhunen, Tomi
1
Janicki, Ryszard
1
Jaoua, Ali Mohamed
1
Jarvis, Ray
1
Jensen, Kurt
1
Jensen, Thomas
1
Jermann, Christophe
1
Jeuring, Johan, 1965-
1
Jeřábek, Emil
1
Jha, Girish Nath
1
Jiao, Li-cheng
1
Jipsen, Peter
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Cliff
1
Jones, Cliff B
1
Jones, Richard
1
Jones, Robert B. (Robert Brent), 1969-
1
Jonoska, Nataša
1
Jorge, Alípio Mário
1
Ju, Shier
1
Jurdziński, Marcin
1
Järvisalo, Matti
1
Jäschke, Robert
1
Jüttler, Bert
1
Kacprzyk, Janusz, 1947-
1
Kahle, Reinhard
1
Kaiser, Łukasz
1
Kaliszyk, Cezary
1
Kaljurand, Kaarel
1
Kallmeyer, Laura
1
Kang, Byeong-ho
1
Kang, Hee-Jun
1
Kannan, Rajkumar
1
Kanzaki, Kyoko
1
Kapetanios, Epaminondas
1
Kapur, Deepak
1
Kari, Jarkko
1
Karttunen, Lauri
1
Kaschek, Roland
1
Kashefi, Elham
1
Katrenko, Sophia
1
Katz, Graham
1
Katz, Shmuel
1
Kaufmann, Matt
1
Kaytoue, Mehdi
1
Kazuo, Iwama
1
Kedad, Zoubida
1
Kefalas, Petros
1
Keisler, H. Jerome, 1936-
1
Kelemen, Jozef
1
Kelemenová, Alica
1
Kerber, Manfred
1
Kern-Isberner, Gabriele
1
Kersting, Kristian, 1973-
1
Kesim Çiçekli, Nihan
1
Khoussainov, Bakhadyr
1
Khuri, Sami
1
Kim, Myung-Soo
1
Kimmelman, Vadim
1
King, Andy
1
King, Steve
1
Kirchner, Claude
1
Kirchner, Hélène
1
Kitzelmann, Emanuel
1
Kivinen, Jyrki
1
Klautau, Aldebaro
1
Klein, Gerwin
1
Kleine Büning, Hans
1
Klettke, Meike
1
Klin, Bartek
1
Klusch, Matthias
1
Knoop, Jens
1
Kobayashi, Satoshi
1
Koch, Nora
1
Koenigsmann, Jochen
1
Kofod-Petersen, Anders
1
Kohlhase, Michael
1
Kok, Joost N
1
Kolaitis, Phokion
1
Konstantinidis, Stavros
1
Koronacki, Jacek
1
Kosmatov, Nikolai
1
Koubarakis, Manolis
1
Kouchnarenko, Olga
1
Kracht, Marcus
1
Kramer, Stefan
1
Kratochvíl, Jan
1
Kratochvíl, Jan, 1959-
1
Krennwallner, Thomas
1
Kreowski, Hans-Jörg, 1949-
1
Krishna, Shankara Narayanan
1
Krishnamurthi, Shriram
1
Kristensen, Lars M
1
Královič, Rastislav
1
Krüger, Antonio
1
Ktari, Béchir
1
Kuchen, Herbert
více ...
více ...
zavřít
×
Načítá se...