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
Heering, Jan
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
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
Hierons, Robert M.
1
Hill, Patricia M
1
Hinchey, Mike
1
Hindley, J. Roger, 1939-
1
Hinman, Peter G.
1
Hinze, Thomas
1
Hirano, Shoji
1
Hodges, Andrew, 1949-
1
Hofmann, Martin
1
Hofmann, Martin, 1965-
1
Hofstadter, Douglas R., 1945-
1
Holcombe, Mike
1
Hole, Daniel
1
Holliday, Wesley H
1
Holub, Jan, 1973-
1
Holzinger, Andreas, 1963-
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
1
Horty, John
1
Howse, John
1
Hu, Zhenjiang
1
Huang, Chenchen
1
Huang, Huaxin
1
Huang, Jun
1
Huet, Gérard
1
Hund, Marcus
1
Hung, Dang Van
1
Hunter, Anthony
1
Huo, Qiang
1
Hurst, Stanley Leonard
1
Hutter, Dieter
1
Hutter, Marcus
1
Hájek, Petr, 1940-2016
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
Iliopoulos, Costas S
1
Imiya, Atsushi
1
Inenaga, Shunsuke
1
Ingólfsdóttir, Anna
1
Inoue, Katsumi
1
International Fedration for Computational Logic
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-
1
Jager, Tikitu de
1
Jain, L. C., 1946-
1
Jain, Rahul
1
Jain, Sanjay, 1965 únor 22.-
1
Janda, Jiří
1
Janicki, Ryszard
1
Janzing, Dominik, 1966-
1
Jaoua, Ali Mohamed
1
Jarvis, Ray
1
Jensen, Kurt
1
Jensen, Thomas
1
Jenčová, Anna
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, Neil D.
1
Jones, Richard
1
Jones, Robert B. (Robert Brent), 1969-
1
Jonoska, Nataša
1
Jorge, Alípio Mário
1
Joyce, Jeffrey J.
1
Ju, Shier
1
Jurdziński, Marcin
1
Jáneš, Vlastimil, 1935-
1
Jánešová, Mária, 1952-
1
Järvisalo, Matti
1
Jäschke, Robert
1
Jüttler, Bert
1
Kacprzyk, Janusz, 1947-
1
Kahle, Reinhard
1
Kaiser, Łukasz
1
Kalina, Martin
1
Kaliszyk, Cezary
1
Kaljurand, Kaarel
1
Kallmeyer, Laura
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
1
Kari, Jarkko
1
Karttunen, Lauri
1
Kashefi, Elham
1
Katrenko, Sophia
1
Katz, Graham
1
Katz, Shmuel
1
Kauers, Manuel
1
Kaufmann, Matt
1
Kaytoue, Mehdi
1
Kazuo, Iwama
1
Kefalas, Petros
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
1
Kim, Myung-Soo
1
Kimmelman, Vadim
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
Klein, Gerwin
1
Kleinberg, Samantha, 1983-
1
Kleine Büning, Hans
1
Klettke, Meike
1
Klin, Bartek
1
Klusch, Matthias
1
Knoop, Jens
1
Kobayashi, Kazumasa
1
Kobayashi, Satoshi
1
Koch, Nora
1
Koenigsmann, Jochen
1
Kofod-Petersen, Anders
1
Kohlhase, Michael
1
Kok, Joost N
1
Kolaitis, Phokion
1
Kolesárová, Anna, 1951-
1
Komjáth, Péter
1
Konstantinidis, Stavros
1
Koronacki, Jacek
1
Kosmatov, Nikolai
1
Koubarakis, Manolis
1
Kouchnarenko, Olga
1
Kracht, Marcus
1
Kramer, Stefan
1
Krantz, Steven G. (Steven George), 1951-
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
Kristiansen, Lars
1
Královič, Rastislav
1
Krüger, Antonio
1
Ktari, Béchir
1
Kuchen, Herbert
1
Kuhn, Tobias
1
Kuich, Werner
1
Kulikov, Alexander
1
Kullmann, Oliver
1
Kulmann, Friedhelm
1
Kulmann, Friedhelm, 1959-
1
Kuncak, Viktor
1
Kupke, Clemens
1
Kuri Morales, Ángel Fernando
1
Kurz, Alexander
1
Kutsia, Temur
1
Kutyłowski, Mirosław
1
Kuznecov, Sergej Olegovič
1
Kučera, Antonín, 1971-
1
Kwuida, Léonard
1
König, Barbara
1
Köroğlu, Tuncay
1
Kühnberger, Kai-Uwe
1
Kühr, Jan
1
Küng, Josef
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
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-
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-
1
Leavens, Gary T
1
Lecroq, Thierry, 1965-
1
Lee, Hong-Hee
1
Lee, Jimmy
1
Lee, Jong-Hyeok
1
Lee, Joohyung
1
Leitsch, Alexander
1
Lenisa, Marina
1
Lenski, Wolfgang, 1952-
1
Lenz, Mario
1
Leone, Nicola
1
Leporati, Alberto
1
Leroux, Jérôme
1
Leucker, Martin
1
Levesque, Hector J., 1951-
1
Levine, Daniel S
1
Levit, Vadim E.
1
Lewerentz, Claus
1
Li, Gang
1
Li, Haizhou
1
Li, Huaxiong
1
Li, Jinhai
1
Li, Kang
1
Li, Wenjie
1
Li, Xuandong
1
Li, Xue, 1963-
1
Li, Yongmin
1
Li, Yuefeng
1
Libkin, Leonid, 1965-
1
Lierler, Yuliya
1
Lima, Vera Lúcia Strube de
1
Lin, Lin
1
Lincoln, Patrick
1
Link, Sebastian
1
Lipparini, Paolo
1
Lipshteyn, Marina
1
Lisi, Francesca A
1
Lisi, Francesca A.
1
Lisitsa, Alexei
1
Litovsky, Igor
1
Liu, Hua-Wen
1
Liu, Jing
1
Liu, Zhi-Qiang
1
Liśkiewicz, Maciej
1
Lloyd, John W.
1
Lluch Lafuente, Alberto
1
Lodi, Elena
1
Logozzo, Francesco
1
Loidl, Hans-Wolfgang+
1
Lolli, Gabriele, 1942-
1
Lomuscio, Alessio
1
Long, Philip M
1
Loog, Marco
1
Lu, Hanlin
1
Lu, Qin
1
Lugosi, Gábor
1
Luk, Wayne
1
Lukose, Dickson
1
Lumpe, Markus
1
Luo, Bin
1
Lutz, Carsten
1
Löwe, Welf
1
Ma, Bin
1
MacCaull, Wendy
1
MacNish, Craig
1
Macpherson, H. Dugald
1
Maddox, Randall B.
1
Madhusudan, P
1
Magnani, Lorenzo
1
Magnini, Bernardo
1
Mahajan, Meena
1
Mainzer, Klaus, 1947-
1
Majumdar, Rupak
1
Makowsky, Johann A., 1948-
1
Maldonado, José Carlos
1
Maler, Oded
1
Maletti, Andreas
1
Malik, Sharad
1
Mamede, Nuno
1
Mamede, Nuno J
1
Manara, Corrado
1
Manea, Florin
1
Maneth, Sebastian
1
Manna, Zohar, 1939-2018
1
Mantaras, Raomon Lopez de
1
Manzano, María
1
Manzoni, Luca
1
Manzoni, Sara
1
Marchetti-Spaccamela, Alberto
1
Marciniak, Małgorzata
1
Marcinkowski, Jerzy
1
Marcolli, Matilde, 1969-
1
Marek, Victor W.
1
Margaria, Tiziana
1
Margaria-Steffen, Tiziana, 1964-
1
Marinaro, Maria, 1933-
1
Mariño, Julio
1
Marquis, Pierre
1
Marshall, I.
1
Martel, Matthieu
1
Martell, Craig
1
Martini, Simone, 1959-
1
Marx, Dániel
1
Marín, Roque
1
Mastroeni, Isabella
1
Masulli, Francesco, 1952-
1
Masáková, Zuzana, 1975-
1
Matijasevič, Ju. V. (Jurij Vladimirovič)
1
Matsumoto, Yuji, 1955-
1
Matwin, Stan
1
Maudet, Nicolas
1
Maurel, Denis
1
May, Wolfgang
1
Mayer, Philip
1
Mayr, Ernst W., 1950-
1
Mayr, Heinrich C
1
Mayr, Heinrich C.
1
McClellan-Broussard, Bonnie
1
McConnell, Ross M.
1
McCune, William W.
1
McGinty, Lorraine
1
McIver, Annabelle, 1964-
1
Medina, Raoul
1
Medina-Moreno, Jesús
1
Meghini, Carlo
1
Meheus, Joke
1
Meinke, Karl
1
Meir, Ron
1
Melin, Patricia
1
Melkebeek, Dieter van
1
Mellouli, Khaled
1
Mendelson, Elliott, 1931-
1
Mengin, Jérôme
1
Merayo, Mercedes G.
1
Mertsching, Bärbel
1
Mesiar, Radko
1
Metcalfe, George
1
Meyer, Bertrand
1
Meyer, Bertrand, 1950-
1
Meyer, Roland
1
Meziane, Farid
1
Micalizio, Roberto
1
Michaelis, Jens
1
Michel, Olivier
1
Miculan, Marino
1
Miglioli, P.
1
Miguel, Ian
1
Milano, Michela, 1970-
1
Mileti, Joseph, 1978-
1
Miller, D. M.
1
Miller, Mirka
1
Miller, Mirka, 1949-2016
1
Minor, Mirjam
1
Miné, Antoine
1
Mirkin, Boris G
1
Mishra, Bhubaneswar, 1958-
1
Misra, Jayadev
1
Mitchell, David G
1
Mitkov, Ruslan
1
Mitrana, Victor
1
Miyaji, Atsuko
1
Miyamoto, Sadaaki
1
Miyamoto, Sadaaki, 1950-
1
Mladenič, Dunja
1
Mohamed, Otmane Ait
1
Moller, Faron
1
Mollá-Aliod, Diego
1
Molnár, Lajos
1
Montanari, Ugo
1
Monteiro, Luís
1
Montemagni, Simonetta
1
Montoyo, Andrés
1
Moor, Oege de
1
Moore, Margaret H.
1
Morales, Eduardo F.
1
Moreno-Díaz, Roberto, 1939-
1
Morgan, Carroll
1
Morik, Katharina
1
Morik, Katharina, 1954-
1
Morita, Kenichi
1
Morozov, Andrey
1
Morrill, Glyn V.
1
Moss, Lawrence S.
1
Mosses, Peter D., 1948-
1
Motoda, Hiroshi
1
Mouchard, Laurent
1
Močkoř, Jiří, 1950-
1
Muggleton, Stephen H
1
Mugnier, Marie-Laure
1
Mundici, Daniele
1
Munos, Rémi
1
Muntean, Traian
1
Murlak, Filip
1
Murray, Neil V.
1
Musatov, Daniil V.
1
Muscholl, Anca
1
Musuvathi, Madanlal
1
Muzio, Jon C.
1
Muñoz, César
1
Muñoz-Avila, Héctor
1
Muńoz, Rafael
1
Muňoz, César A.
1
Mycielski, Jan
1
Mycroft, Alan
1
Mykowiecka, Agnieszka
1
Mylopoulos, John, 1943-
1
Métais, Elisabeth
1
Möller, Bernhard
1
Möller, Bernhard, 1953-
1
Müller, M. E., 1970-
1
Müller, Peter
1
Müller-Hannemann, Matthias, 1969-
1
Müller-Olm, Markus
1
Nagel, Ernest, 1901-1985
1
Nagl, Manfred, 1944-
1
Nagy, Benedek
1
Nahir, Amir
1
Nakatsui, Masahiko
1
Nanz, Sebastian
1
Naraschewski, Wolfgang
1
Narboux, Julien
1
Navara, Mirko, 1959-
1
Neumaier, Arnold
1
Newey, Malcolm
1
Newman, James Roy, 1907-1966
1
Nguifo, Engelbert Mephu
1
Nicholson, Neil R.
1
Nicola, Rocco De
1
Nicosia, Giuseppe
1
Nielsen, Mogens
1
Nielson, Hanne Riis
1
Nielson, Hanne Riis, 1954-
1
Niemelä, Ilkka
1
Niemyska, Wanda
1
Nies, André
1
Nieuwenhuis, Robert
1
Nipkow, Tobias
1
Nipkow, Tobias, 1958-
1
Niranjan, Mahesan
1
Nisan, Noam
1
Nishino, Tetsuro
1
Niwiński, Damian
1
Ničković, Dejan
1
Noble, James
1
Nogueira, Pablo
1
Normann, Dag, 1947-
1
Norrish, Michael
1
Nouwen, Rick
1
Novák, Peter
1
Novák, Vilém, 1951-
1
Nunes, Maria das Graças Volpe
1
Núñez, Manuel
1
Ob“jedkov, Sergej Aleksandrovič
1
Odelstad, Jan, 1947-
1
Odersky, Martin, 1958-
1
Ogata, Kazuhiro
1
Ogihara, Mitsunori, 1963-
více ...
více ...
zavřít
×
Načítá se...