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
Frisco, Pierluigi
1
Fuchs, Norbert E.
1
Furbach, Ulrich, 1948-
1
Furche, Tim
1
Furia, Carlo A
1
Futatsugi, Kokichi
1
Fähndrich, Manuel
1
Gaag, Linda C. van der
1
Gabbrielli, Maurizio
1
Gabelaia, David
1
Galmiche, Didier
1
Ganesalingam, Mohan
1
Ganter, Bernhard, 1949-
1
Gao, Helena Hong
1
Garay, Juan A
1
Garcia de la Banda, Maria
1
Gargantini, Angelo
1
Gaudel, Marie-Claude
1
Gavanelli, Marco
1
Gavrilova, Marina L
1
Gelbukh, Alexander, 1962-
1
Gent, Ian P
1
George, Laurent
1
Gerla, Brunella
1
Geuvers, Herman
1
Gheyi, Rohit
1
Giachino, Elena
1
Giacobazzi, Roberto
1
Giagkou, Maria
1
Giavitto, Jean-Louis
1
Gibbons, Jeremy
1
Gibbons, Jeremy, 1966-
1
Giese, Holger, 1970-
1
Giese, Martin
1
Gill, Andy
1
Ginter, Filip
1
Glimm, Birte
1
Glodeanu, Cynthia Vera
1
Gnesi, Stefania, 1954-
1
Goble, Lou
1
Godin, Robert
1
Gogolla, Martin
1
Gogolla, Martin, 1954-
1
Gonthier, Georges
1
Gonzales, Christophe
1
Gopalakrishnan, Ganesh
1
Gorla, Daniele
1
Gottfried, Björn
1
Graf, Susanne
1
Gramlich, Bernhard
1
Gramlich, Bernhard, -2014
1
Greco, Gianluigi
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, Rajiv
1
Gutierrez, Claudio
1
Göker, Mehmet H.
1
Güdemann, Matthias
1
Güvenir, H. Altay, 1957-
1
Hagiya, Masami, 1957-
1
Hameurlain, Abdelkader
1
Handschuh, Siegfried
1
Hanft, Alexandre
1
Hankin, Chris
1
Hannemann, Ulrich
1
Harman, Neil
1
Harmelen, Frank van
1
Hasegawa, Masahito
1
Hata, Yutaka
1
Hatcliff, John
1
Havelund, Klaus, 1955-
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
Hepting, Daryl H
1
Hermann, Miki
1
Hermanns, Holger
1
Hermenegildo, Manuel V
1
Hertzberg, Joachim, 1958-
1
Herzig, Andreas
1
Heutte, Laurent
1
Hierons, Robert M.
1
Hill, Patricia M
1
Hill, Richard
1
Hinchey, Mike
1
Hinze, Thomas
1
Hirano, Shoji
1
Hofmann, Martin
1
Holcombe, Mike
1
Hole, Daniel
1
Holliday, Wesley H
1
Holzer, Markus
1
Holzinger, Andreas, 1963-
1
Holzmann, Gerald J., 1951-
1
Hommersom, Arjen
1
Hong, Hoon
1
Hoogeboom, Hendrik Jan
1
Horty, John
1
Hu, Zhenjiang
1
Huang, Huaxin
1
Hund, Marcus
1
Hung, Dang Van
1
Hunter, Anthony
1
Hurd, Joe, 1975-
1
Hutter, Dieter
1
Hähnle, Reiner
1
Hölzl, Matthias
1
Ianni, Giovambattista
1
Icard, Thomas
1
Idani, Akram
1
Igarashi, Atsushi
1
Iida, Shusaku
1
Imiya, Atsushi
1
Ingólfsdóttir, Anna
1
Inoue, Katsumi
1
Ionescu, Armand Mihai
1
Isahara, Hitoshi
1
Ishizuka, Mitsuru, 1948-
1
Issarny, Valérie
1
Italiano, Giuseppe F
1
Italiano, Giuseppe F., 1961-
1
Jackson, Ethan
1
Jackson, Paul
1
Jager, Tikitu de
1
Janicki, Ryszard
1
Jarvis, Ray
1
Jensen, Thomas
1
Jermann, Christophe
1
Jeuring, Johan, 1965-
1
Jeřábek, Emil
1
Jhala, Ranjit
1
Johnsen, Einar Broch
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
Ju, Shier
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
Kanazawa, Makoto
1
Kang, Byeong-ho
1
Kang, Hee-Jun
1
Kannan, Rajkumar
1
Kanzaki, Kyoko
1
Kapetanios, Epaminondas
1
Kapur, Deepak
1
Kashefi, Elham
1
Katz, Graham
1
Katz, Shmuel
1
Kaufmann, Matt
1
Kaytoue, Mehdi
1
Kefalas, Petros
1
Kelemen, Jozef
1
Kelemenová, Alica
1
Kerber, Manfred
1
Kern-Isberner, Gabriele
1
Kesim Çiçekli, Nihan
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
Klautau, Aldebaro
1
Klettke, Meike
1
Klin, Bartek
1
Kobayashi, Naoki, 1968-
1
Kobayashi, Satoshi
1
Koch, Nora
1
Kofod-Petersen, Anders
1
Kohlenbach, Ulrich
1
Kohlhase, Michael
1
Kokinov, Boicho
1
Kolaitis, Phokion
1
Koopman, Pieter
1
Kosmatov, Nikolai
1
Koubarakis, Manolis
1
Kouchnarenko, Olga
1
Koutny, Maciej
1
Kracht, Marcus
1
Krennwallner, Thomas
1
Krishna, Shankara Narayanan
1
Krishnamurthi, Shriram
1
Kristensen, Lars M
1
Krüger, Antonio
1
Ktari, Béchir
1
Kuchen, Herbert
1
Kuich, Werner
1
Kulmann, Friedhelm
1
Kupke, Clemens
1
Kuri Morales, Ángel Fernando
1
Kurz, Alexander
1
Kutsia, Temur
1
Kučera, Antonín, 1971-
1
Küng, Josef
1
Lai, Xuejia
1
Lakhneck, Yassine
1
Lal, Akash
1
Lalitha Devi, Sobha
1
Lamma, Evelina
1
Lange, Christoph
1
Lanzi, Pier Luca
1
Lara, Juan de
1
Larchey-Wendling, Dominique
1
Larsen, K. G. (Kim G.), 1957-
1
Lasota, Slawomir
1
Lassiter, Daniel
1
Launchbury, John
1
Lausen, Georg
1
Leake, David B., 1957-
1
Leavens, Gary T
1
Lee, Hong-Hee
1
Lee, Joohyung
1
Lenisa, Marina
1
Leone, Nicola
1
Leucker, Martin
1
Levine, Daniel S
1
Lewerentz, Claus
1
Li, Huaxiong
1
Li, Xuandong
1
Li, Yuefeng
1
Libkin, Leonid, 1965-
1
Lierler, Yuliya
1
Lima, Vera Lúcia Strube de
1
Lin, Fangzhen
1
Lincoln, Patrick
1
Lisi, Francesca A
1
Lisi, Francesca A.
1
Lisitsa, Alexei
1
Lluch Lafuente, Alberto
1
Lodaya, Kamal
1
Logozzo, Francesco
1
Loidl, Hans-Wolfgang+
1
Lomuscio, Alessio
1
Loog, Marco
1
Lu, Qin
1
Lucas, Peter J. F.
1
Lukose, Dickson
1
Lukose, Dickson, 1963-
1
Lumpe, Markus
1
Lutz, Carsten
1
Löwe, Benedikt
1
Löwe, Welf
1
MacCaull, Wendy
1
Madhusudan, P
1
Maletti, Andreas
1
Mamede, Nuno
1
Manara, Corrado
1
Manea, Florin
1
Manna, Zohar, 1939-2018
1
Manzano, María
1
Manzoni, Sara
1
Marché, Claude
1
Marciniak, Małgorzata
1
Marek, Victor W.
1
Margaria, Tiziana
1
Margaria-Steffen, Tiziana, 1964-
1
Margenstern, Maurice
1
Marinaro, Maria, 1933-
1
Mariño, Julio
1
Marquis, Pierre
1
Martel, Matthieu
1
Martell, Craig
1
Martini, Simone, 1959-
1
Martín-Mateos, Francisco J.
1
Marín, Roque
1
Mastroeni, Isabella
1
Masulli, Francesco, 1952-
1
Maudet, Nicolas
1
Mauri, Giancarlo, 1949-
1
May, Wolfgang
1
Mayer, Philip
1
Mayr, Heinrich C
1
Mayr, Heinrich C.
1
McBride, Conor
1
McGinty, Lorraine
1
McIver, Annabelle, 1964-
1
Medina, Raoul
1
Medina-Moreno, Jesús
1
Meheus, Joke
1
Melham, T. F. (Tom F.), 1960-
1
Melin, Patricia
1
Mellouli, Khaled
1
Mengin, Jérôme
1
Merayo, Mercedes G.
1
Mertsching, Bärbel
1
Merz, Stephan
1
Metcalfe, George
1
Meyer, Bertrand
1
Meyer, Bertrand, 1950-
1
Meyer, Roland
1
Micalizio, Roberto
1
Michel, Olivier
1
Miclet, Laurent
1
Miguel, Ian
1
Mineshima, Koji
1
Minor, Mirjam
1
Miné, Antoine
1
Mirkin, Boris G
1
Misra, Jayadev
1
Missaoui, Rokia, 1949-
1
Mitkov, Ruslan
1
Miyaji, Atsuko
1
Miyamoto, Sadaaki
1
Miyamoto, Sadaaki, 1950-
1
Mohamed, Otmane Ait
1
Montanari, Ugo
1
Monteiro, Luís
1
Montemagni, Simonetta
1
Moor, Oege de
1
Moortgat, Michael
1
Moreira, Nelma
1
Moreno-Díaz, Roberto, 1939-
1
Morgan, Carroll
1
Morrill, Glyn
1
Morrill, Glyn V.
1
Mosses, Peter D., 1948-
1
Motoda, Hiroshi
1
Motomura, Yoichi
1
Muggleton, Stephen H
1
Muntean, Traian
1
Murata, Tsuyoshi
1
Muscholl, Anca
1
Musuvathi, Madanlal
1
Muñoz, César
1
Muñoz-Avila, Héctor
1
Mykowiecka, Agnieszka
1
Mylopoulos, John, 1943-
1
Métais, Elisabeth, 1959-
1
Möller, Bernhard
1
Müller, Peter
1
Müller-Olm, Markus
1
Nahir, Amir
1
Nakatsui, Masahiko
1
Nanz, Sebastian
1
Narboux, Julien
1
Neumaier, Arnold
1
Nicosia, Giuseppe
1
Nielson, Hanne Riis
1
Niemelä, Ilkka
1
Nieuwenhuis, Robert
1
Nipkow, Tobias, 1958-
1
Nishino, Tetsuro
1
Noble, James
1
Nordström, Bengt
1
Norrish, Michael
1
Nouwen, Rick
1
Novák, Peter
1
Nowotka, Dirk
1
Núñez, Manuel
1
Ob“jedkov, Sergej Aleksandrovič
1
Odersky, Martin, 1958-
1
Ogata, Kazuhiro
1
Ogrodniczuk, Maciej
1
Ojeda Aciego, Manuel, 1967-
1
Okumura, Manabu
1
Oliveira, José
1
Oliveira, José Nuno
1
Olivetti, Nicola, 1963-
1
Olivé, Antoni, 1946-
1
Onaindia, Eva
1
Oostrom, Vincent van
1
Orejas, Fernando
1
Orejas, Fernando, 1952-
1
Orgun, Mehmet A.
1
Orłowska, Ewa, 1935-
1
Osswald, Rainer
1
Otsuka, Akira
1
Otto, Friedrich
1
Ouaknine, Joël
1
O’Hearn, Peter
1
Pacuit, Eric
1
Paech, Barbara
1
Paes, Aline
1
Page, Rex, 1944-
1
Pahikkala, Tapio
1
Paige, Richard F.
1
Pal, Sankar K., 1950-
1
Palchunov, Dmitry E
1
Palomino, Miguel
1
Palsberg, Jens
1
Palsberg, Jens, 1964-
1
Paoli, Flavio De
1
Papadelis, Georgios
1
Paraboni, Ivandré
1
Pardo, Thiago A. S
1
Pardo, Thiago Alexandre Salgueiro
1
Parent, Christine
1
Parent, Xavier
1
Park, Seong-Bae
1
Park, Sungwoo
1
Parmentier, Yannick
1
Paschke, Adrian
1
Pastor, Óscar, 1962-
1
Pattinson, Dirk, 1970-
1
Paul, Wolfgang
1
Paulin-Mohring, Christine, 1962-
1
Paulson, Lawrence C
1
Paun, Gheorghe, 1950-
1
Pavlovic, Dusko
1
Pazienza, Maria Teresa
1
Pearce, David
1
Pearce, David J.
1
Pecheur, Charles
1
Peled, Doron A
1
Peled, Doron A., 1962-
1
Perdigão, Fernando
1
Peters, Wim
1
Petrucci, Laure
1
Peñaloza, Rafael
1
Pham, Duc-Nghia
1
Piazza, Carla
1
Pichler, Franz, 1936-
1
Pichler, Reinhard
1
Pierantonio, Alfonso
1
Pihlajasaari, Pekka
1
Pinho, Luís Miguel
1
Pirrone, Roberto
1
Piterman, Nir
1
Pitts, A. M. (Andrew M.), 1956-
1
Platzer, André
1
Podelski, Andreas
1
Pol, Jaco van de, 1969-
1
Polovina, Simon
1
Pontelli, Enrico
1
Pontelli, Enrico, 1967-
1
Popov, Nikolaj Vasil'jevič
1
Poulakis, Dimitrios
1
Proietti, Maurizio
1
Prost, Jean-Philippe
1
Przepiórkowski, Adam
1
Pu, Geguang
1
Pugliese, Andrea
1
Puppis, Gabriele
1
Pustejovsky, J. (James), 1956-
1
Pyysalo, Sampo
1
Pérez Jiménez, Mario de J., 1948-
1
Pérez-Jiménez, Mario J
1
Păsăreanu, Corina S
1
Păsăreanu, Corina S.
1
Qadeer, Shaz
1
Qin, Shengchao
1
Quaresma, Pedro
1
Quatrini, Myriam
1
Queiroz, Ruy J. G. B. de
1
Quesada-Arencibia, Alexis
1
Raamsdonk, Femke van
1
Rajamani, Sriram K
1
Ram, Sudha, 1959-
1
Ramon, Jan
1
Ranise, Silvio
1
Ranta, Aarne
1
Raskin, Jean-François
1
Raś, Zbigniew W
1
Recio, Tomas
1
Regensburger, Georg
1
Reis, Gabriel Dos
1
Reis, Rogério
1
Remke, Anne
1
Renda, M. Elena
1
Rensink, Arend, 1964-
1
Reps, Thomas
1
Reyes-Garcia, Carlos Alberto
1
Ricci, Francesco, 1959-
1
Richardson, Daniel C
1
Richter, Michael M
1
Richter-Gebert, Jürgen
1
Riscos-Núñez, Agustín
1
Rival, Xavier
1
Rocha, Ricardo
1
Roelofsen, Floris
1
Roggenbach, Markus
1
Rolland, Robert
1
Romanovsky, Alexander
1
Ronchi Della Rocca, Simona, 1946-
1
Rooij, Robert van
1
Rosenkranz, Markus
1
Rosner, Michael
více ...
více ...
zavřít
×
Načítá se...