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ě
více ...
prev ...
1
Fábera, Vít, 1975-
1
Fähndrich, Manuel
1
Feys, Robert, 1889-1961
1
Fiadeiro, José Luiz
2
Fiadeiro, José Luiz, 1961-
1
Fiala, Jiří
1
Filé, Gilberto
2
Filliâtre, Jean-Christophe
1
Finkbeiner, Bernd
1
Finkel, Alain
1
Finocchi, Irene
4
Fisher, Michael
2
Fisher, Michael, 1962-
1
Fitting, Melvin, 1942-
1
Fitzgerald, John, 1965-
2
Flašková, Jana, 1978-
1
Flesca, Sergio, 1971-
1
Fleuriot, Jacques, 1972-
1
Fliedl, Günther
1
Flum, Jörg
1
Fodor, János, 1956-
1
Fomin, Fedor V
1
Fontaine, Pascal
1
Forman, Sylvia
1
Formenti, Enrico
1
Fradet, Pascal
1
Francesconi, Enrico
1
Franceschinis, Giuliana
1
Frappier, Marc
2
Frasconi, Paolo
1
Fraser, Gordon
1
Freivalds, Rūsiņš
1
Freund, Rudolf
1
Fribourg, Laurent
1
Frid, Anna
1
Frisco, Pierluigi
1
Froncek, Dalibor
1
Frühwirth, Thom, 1962-
2
Fuchs, Norbert E
1
Fuchs, Shay
1
Fulcher, John
2
Furbach, Ulrich, 1948-
1
Furche, Tim
1
Furia, Carlo A
1
Fürnkranz, Johannes
2
Futatsugi, Kokichi
2
Gabbay, Dov M., 1945-
1
Gabbrielli, Maurizio
1
Gabelaia, David
1
Galmiche, Didier
1
Galmiche, Didier, 1958-
1
Galton, Antony, 1952-
1
Gama, João
1
Gamboa, Ruben
1
Ganesalingam, Mohan
2
Ganter, Bernhard
3
Ganter, Bernhard, 1949-
1
Gao, Helena Hong
1
Gao, Yuan
1
Garay, Juan A
1
Garcia de la Banda, Maria
1
Gargantini, Angelo
1
Garg, Naveen
2
Garrigue, Jacques
1
Gasteren, Antonetta Johanna Maria, van, 1952-2002
1
Gaudel, Marie-Claude
1
Gavanelli, Marco
1
Gavrilova, Marina L
1
Gębala, Maciej
5
Gelbukh, Alexander
3
Gelbukh, Alexander, 1962-
1
Gent, Ian P
1
Gentile, Claudio
2
George, Chris W.
1
George, Laurent
1
Gerla, Brunella
1
Gerstein, Larry J.
1
Geuvers, Herman
1
Geuvers, Herman, 1964-
2
Gheorghe, Marian
1
Gheyi, Rohit
1
Ghilardi, Silvio
1
Giacobazzi, Roberto
1
Giagkou, Maria
1
Giachino, Elena
3
Giannakopoulou, Dimitra
1
Giavitto, Jean-Louis
1
Gibbons, Jeremy
2
Gibbons, Jeremy, 1966-
2
Giese, Holger, 1970-
1
Giese, Martin
2
Giesl, Jürgen
1
Gilbert, Henri
1
Gill, Andy
1
Gillibert, Pierre
1
Giménez, Eduardo
1
Ginter, Filip
1
Girard, Jean-Yves, 1947-
1
Głąb, Szymon
1
Glässer, Uwe
1
Glässer, Uwe, 1959-
2
Glesner, Manfred, 1943-
1
Glimm, Birte
1
Glodeanu, Cynthia Vera
1
Gnesi, Stefania
1
Gnesi, Stefania, 1954-
1
Goble, Lou
1
Godefroy, Gilles
2
Godin, Robert
2
Godo, Lluís
2
Goertzel, Ben
2
Goethals, Bart
1
Gogolla, Martin
1
Gogolla, Martin, 1954-
1
Göker, Mehmet H.
1
Goldblatt, Robert, 1949-
1
Goldreich, Oded
2
Gomes, Carla
1
Gonczarowski, Yannai A., 1981-
1
Gonthier, Georges
1
Gonzales, Christophe
3
Gopalakrishnan, Ganesh
1
Gopal, T. V.
2
Goranko, Valentin
1
Gorkin, Pamela
1
Gorla, Daniele
1
Görz, Günther
1
Gottfried, Björn
2
Gottlob, Georg
2
Gottlob, Georg, 1956-
3
Governatori, Guido
1
Grädel, Erich
1
Graf, Susanne
1
Gramlich, Bernhard
2
Gramlich, Bernhard, -2014
1
Grandjean, Etienne
1
Greco, Gianluigi
3
Greco, Salvatore
1
Greco, Sergio, 1955-
1
Griffin, Timothy G
1
Groce, Alex
1
Groote, J. F. (Jan Frisco), 1965-
4
Groote, Philippe de
2
Grossi, Davide
1
Gruhn, Volker
1
Grumberg, Orna
1
Grumberg, Orna, 1952-
2
Grundy, Jim
1
Grzymala-Busse, Jerzy
1
Grzymała-Busse, Jerzy
1
Grzymała-Busse, Jerzy W
2
Grzymala-Busse, Jerzy W., 1942-
1
Gschwind, Thomas
1
Güdemann, Matthias
3
Gunopulos, Dimitrios
1
Gunter, Elsa L.
1
Guo, Feng
1
Gupta, Aarti
2
Gupta, Gopal, 1963-
1
Gupta, Rajiv
1
Gurevich, Yuri
1
Güvenir, H. Altay, 1957-
2
Habib, M. (Michel), 1951-
1
Haemmerlé, Ollivier
2
Hage, Jurriaan
3
Hagiya, Masami, 1957-
2
Hähnle, Reiner
2
Hähnle, Reiner, 1962-
1
Hájek, Petr, 1940-2016
1
Hajnicz, Elżbieta
1
Hameurlain, Abdelkader
2
Hamkins, Joel David
1
Hammack, Richard H., 1960-
1
Hammer, Eric M.
1
Handschuh, Helena
1
Hanft, Alexandre
2
Hanika, Jiří, 1974-
1
Hankin, Chris
1
Hannemann, Ulrich
1
Hanus, Michael, 1959-
1
Harju, T.
1
Harman, Neil
1
Harmelen, Frank van
2
Harrison, John, 1966-
1
Hartenstein, Reiner W.
1
Hasegawa, Masahito
2
Hassanien, Aboul Ella, 1964-
1
Hata, Yutaka
1
Hatcliff, John
2
Havelund, Klaus, 1955-
1
Haveraaen, Magne
1
Hawblitzel, Chris
1
Hayes, Ian, 1956-
1
Heath, Chip, 1963-
1
Hedin, Görel
1
Heering, Jan
1
Hendren, Laurie
1
Hennicker, Rolf
1
Henson, Martin
1
Henzinger, Monika
3
Henzinger, T. A., 1962-
1
Hepting, Daryl H
1
Herik, H. Jaap van den
1
Hermann, Miki
1
Hermann, Miki, 1958-
1
Hermanns, Holger
1
Hermenegildo, Manuel V
1
Herrlich, Horst
1
Hertzberg, Joachim, 1958-
1
Herzberg, Frederik
1
Herzig, Andreas
1
Heutte, Laurent
1
He, Xiangdong
1
Hierons, Robert M.
1
Hill, Patricia M
2
Hill, Richard
1
Hindley, J. Roger, 1939-
1
Hinchey, Mike
1
Hinman, Peter G.
2
Hinze, Ralf
1
Hinze, Thomas
1
Hirano, Shoji
2
Hirsch, Edward A
1
Hodges, Andrew, 1949-
3
Hodges, Wilfrid, 1941-
2
Hoek, Wiebe van der
1
Hofmann, Martin
1
Hofmann, Martin, 1965-
3
Hofmann, Thomas
1
Höfner, Peter
1
Hofstadter, Douglas R., 1945-
1
Holcombe, Mike
1
Hole, Daniel
3
Hölldobler, Steffen
1
Holliday, Wesley H
1
Holub, Jan, 1973-
2
Holzer, Markus
1
Holzinger, Andreas, 1963-
1
Hölzl, Matthias
1
Holzmann, Gerald J., 1951-
1
Homer, S. (Steven)
1
Honavar, Vasant
1
Hong, Hoon
1
Honsell, Furio
1
Hoogeboom, Hendrik Jan
1
Hoos, Holger H
3
Horimoto, Katsuhisa
2
Horrocks, Ian
1
Horty, John
3
Horváth, Zoltán
1
Howse, John
4
Huang, De-Shuang
1
Huang, Huaxin
1
Huang, Chenchen
1
Huang, Jun
1
Huet, Gérard
1
Hund, Marcus
1
Hung, Dang Van
1
Hunter, Anthony
1
Huo, Qiang
2
Hurd, Joe, 1975-
1
Hurst, Stanley Leonard
1
Hutter, Dieter
1
Hutter, Marcus
1
Hu, Zhenjiang
1
Ianni, Giovambattista
4
Ibarra, Oscar H., 1941-
1
Icard, Thomas
1
Idani, Akram
2
Ida, Tetsuo
2
Idziak, Pawel, 1958-
1
Igarashi, Atsushi
1
Ignatov, Dmitrij Igorevič, 1983-
2
Iida, Hiroyuki
1
Iida, Shusaku
1
Iliopoulos, Costas S
1
Imiya, Atsushi
1
Inenaga, Shunsuke
1
Ingólfsdóttir, Anna
1
Inoue, Katsumi
1
International Fedration for Computational Logic
4
Inuiguchi, Masahiro
1
Ionescu, Armand Mihai
1
Irwin, G. W. (George William), 1950-
1
Isahara, Hitoshi
1
Italiano, Giuseppe F
1
Italiano, Giuseppe F., 1961-
1
Itō, Masami, 1941-
1
Jackson, Ethan
1
Jackson, Paul
1
Jackson, Paul B., 1962-
2
Jäger, Gerhard
1
Jager, Tikitu de
1
Jain, L. C., 1946-
1
Jain, Rahul
2
Jain, Sanjay
1
Jain, Sanjay, 1965 únor 22.-
2
Jamroga, Wojtek
1
Janda, Jiří
1
Jánešová, Mária, 1952-
1
Jáneš, Vlastimil, 1935-
1
Janicki, Ryszard
1
Janzing, Dominik, 1966-
1
Jaoua, Ali Mohamed
1
Järvisalo, Matti
1
Jarvis, Ray
1
Jäschke, Robert
1
Jenčová, Anna
1
Jensen, Kurt
1
Jensen, Thomas
1
Jermann, Christophe
1
Jeřábek, Emil
1
Jeuring, Johan, 1965-
1
Jha, Girish Nath
2
Jhala, Ranjit
1
Jiao, Li-cheng
2
Jin, Yaochu, 1966-
1
Jipsen, Peter
2
Johnsen, Einar Broch
2
Johnson, Michael
2
Jo, Kang-Hyun
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Cliff
1
Jones, Cliff B
1
Jones, Neil D.
1
Jones, Richard
1
Jones, Robert B. (Robert Brent), 1969-
1
Jonoska, Nataša
1
Jorge, Alípio Mário
2
Joshi, Rajeev
2
Jouannaud, Jean-Pierre
2
Jouannaud, Jean-Pierre, 1947-
1
Joyce, Jeffrey J.
2
Julliand, Jacques
1
Jurdziński, Marcin
2
Jürgensen, Helmut, 1942-
1
Ju, Shier
1
Jüttler, Bert
1
Kacprzyk, Janusz, 1947-
1
Kahle, Reinhard
3
Kahl, Wolfram
1
Kaiser, Łukasz
1
Kalina, Martin
1
Kaliszyk, Cezary
1
Kaljurand, Kaarel
1
Kallmeyer, Laura
2
Kaminski, Michael
2
Kanazawa, Makoto
1
Kandel, Abraham, 1941-
1
Kang, Byeong-ho
1
Kang, Hee-Jun
1
Kannan, Rajkumar
1
Kanzaki, Kyoko
1
Kapetanios, Epaminondas
1
Kapur, Deepak
1
Karaçal, Funda
5
Karhumäki, Juhani, 1949-
1
Kari, Jarkko
1
Karttunen, Lauri
1
Kashefi, Elham
2
Katona, Gyula, 1941-
1
Katrenko, Sophia
1
Katz, Graham
1
Katz, Shmuel
1
Kauers, Manuel
1
Kaufmann, Matt
1
Kaytoue, Mehdi
1
Kazuo, Iwama
2
Kedad, Zoubida
1
Kefalas, Petros
2
Keisler, H. Jerome, 1936-
1
Kelemen, Jozef
1
Kelemenová, Alica
1
Kerber, Manfred
1
Kern-Isberner, Gabriele
1
Kern-Isberner, Gabriele, 1956-
1
Kersting, Kristian, 1973-
1
Kesicioğlu, M. Nesibe
1
Kesim Çiçekli, Nihan
1
Khoussainov, Bakhadyr
1
Khuri, Sami
2
Khurshid, Sarfraz
1
Kimmelman, Vadim
1
Kim, Myung-Soo
1
King, Andy
1
King, Steve
1
Kirchner, Claude
1
Kirchner, Hélene
1
Kirchner, Hélène
1
Kitzelmann, Emanuel
1
Kivinen, Jyrki
1
Klautau, Aldebaro
1
Kleinberg, Samantha, 1983-
1
Kleine Büning, Hans
1
Klein, Gerwin
2
Kleiter, Gernot D.
1
Klettke, Meike
1
Klin, Bartek
1
Klusch, Matthias
1
Knoop, Jens
1
Kobayashi, Kazumasa
3
Kobayashi, Naoki, 1968-
1
Kobayashi, Satoshi
1
Koenigsmann, Jochen
1
Kofod-Petersen, Anders
2
Kohlenbach, Ulrich
1
Kohlhase, Michael
1
Koch, Nora
2
Kokinov, Boicho
1
Kok, Joost N
1
Kolaitis, Phokion
1
Kolesárová, Anna, 1951-
1
Komjáth, Péter
3
Konev, Boris
1
König, Barbara
1
Konstantinidis, Stavros
2
Koopman, Pieter
2
Kop, Christian
2
Kornai, András
1
Köroğlu, Tuncay
1
Koronacki, Jacek
1
Kosmatov, Nikolai
1
Koubarakis, Manolis
1
Kouchnarenko, Olga
2
Koutny, Maciej
2
Kovacs, Tim
1
Kracht, Marcus
2
Krajíček, Jan
3
Krajíček, Jan, 1960-
1
Královič, Rastislav
1
Kramer, Stefan
1
Krantz, Steven G. (Steven George), 1951-
1
Kratochvíl, Jan
1
Kratochvíl, Jan, 1959-
1
Krennwallner, Thomas
2
Kreowski, Hans-Jörg
1
Kreowski, Hans-Jörg, 1949-
1
Krishnamurthi, Shriram
1
Krishna, Shankara Narayanan
1
Kristensen, Lars M
1
Kristiansen, Lars
3
Kroening, Daniel
1
Krüger, Antonio
3
Kryszkiewicz, Marzena B.
1
Ktari, Béchir
1
Kučera, Antonín, 1971-
1
Kühnberger, Kai-Uwe
1
Kuhn, Tobias
1
Kühr, Jan
1
Kuchen, Herbert
1
Kuich, Werner
1
Kulikov, Alexander
1
Kullmann, Oliver
1
Kulmann, Friedhelm
1
Kulmann, Friedhelm, 1959-
1
Kuncak, Viktor
1
Küng, Josef
1
Kupke, Clemens
1
Kuri Morales, Ángel Fernando
1
Kurz, Alexander
4
Kutrib, Martin
1
Kutsia, Temur
1
Kutyłowski, Mirosław
1
Kuznecov, Sergej Olegovič
4
Kuznetsov, Sergei O
2
Kwong, Oi Yee
1
Kwuida, Léonard
1
La Higuera, Colin de
1
Lai, Xuejia
1
Lakhneck, Yassine
1
Lal, Akash
1
Laleau, Régine
1
Lalitha Devi, Sobha
1
Lamarche, Francois
1
Lamma, Evelina
1
Lammari, Nadira
1
Lanese, Ivan, 1978-
1
Lange, Christoph
3
Lang, Jérôme
1
Langmaack, Hans, 1934-
1
Lanzi, Pier Luca
1
Lara, Juan de
1
Larchey-Wendling, Dominique
1
Larrosa, Javier
1
Larsen, K. G. (Kim G.), 1957-
2
Lascar, Daniel, 1942-
2
Laskey, Kathryn B
2
Laskey, Kenneth J
1
Lasota, Slawomir
1
Lassiter, Daniel
1
Latella, Diego
1
Lau, Lap Chi
1
Launchbury, John
1
Lausen, Georg
1
Lavrač, Nada, 1953-
1
Lawless, William
1
Lawrence, Neil (Neil D.), 1972-
1
Leake, David
1
Leake, David B., 1957-
1
Leary, Christopher C., 1957-
více ...
zavřít
×
Načítá se...