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
Jäschke, Robert
1
Jones, Richard
1
Jones, Robert B. (Robert Brent), 1969-
2
Joshi, Rajeev
2
Jouannaud, Jean-Pierre
2
Julliand, Jacques
1
Ju, Shier
1
Jüttler, Bert
1
Kacprzyk, Janusz, 1947-
1
Kahle, Reinhard
2
Kahl, Wolfram
1
Kaiser, Łukasz
1
Kaliszyk, Cezary
1
Kaljurand, Kaarel
1
Kallmeyer, Laura
2
Kaminski, Michael
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
Kimmelman, Vadim
1
Kim, Myung-Soo
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
Kofod-Petersen, Anders
1
Kohlenbach, Ulrich
1
Kohlhase, Michael
1
Koch, Nora
1
Kokinov, Boicho
1
Kolaitis, Phokion
2
Konev, Boris
1
Koopman, Pieter
2
Kop, Christian
2
Kornai, András
1
Kosmatov, Nikolai
1
Koubarakis, Manolis
1
Kouchnarenko, Olga
1
Koutny, Maciej
2
Kovacs, Tim
1
Kracht, Marcus
1
Krennwallner, Thomas
2
Kreowski, Hans-Jörg
1
Krishnamurthi, Shriram
1
Krishna, Shankara Narayanan
1
Kristensen, Lars M
3
Kroening, Daniel
1
Krüger, Antonio
3
Kryszkiewicz, Marzena B.
1
Ktari, Béchir
1
Kučera, Antonín, 1971-
2
Kuhn, Tobias
1
Kuchen, Herbert
1
Kuich, Werner
1
Kulmann, Friedhelm
1
Küng, Josef
1
Kupke, Clemens
1
Kuri Morales, Ángel Fernando
1
Kurz, Alexander
3
Kutrib, Martin
1
Kutsia, Temur
2
Kuznetsov, Sergei O
1
Lai, Xuejia
1
Lakhneck, Yassine
1
Lal, Akash
1
Lalitha Devi, Sobha
1
Lamma, Evelina
2
Lämmel, Ralf
1
Lange, Christoph
2
Lang, Jérôme
1
Lanzi, Pier Luca
1
Lara, Juan de
1
Larchey-Wendling, Dominique
1
Larsen, K. G. (Kim G.), 1957-
2
Laskey, Kathryn B
2
Laskey, Kenneth J
1
Lasota, Slawomir
1
Lassiter, Daniel
1
Launchbury, John
1
Lausen, Georg
1
Leake, David B., 1957-
1
Leavens, Gary T
2
Lecomte, Alain
1
Lee, Hong-Hee
1
Lee, Joohyung
2
Legay, Axel
4
Leite, João
2
Leite, João, 1970-
1
Lenisa, Marina
1
Leone, Nicola
1
Leucker, Martin
1
Levine, Daniel S
1
Lewerentz, Claus
1
Libkin, Leonid, 1965-
1
Lierler, Yuliya
1
Li, Huaxiong
1
Lima, Vera Lúcia Strube de
1
Lincoln, Patrick
1
Lin, Fangzhen
3
Lingras, Pawan J. (Pawan Jayawantrao), 1963-
1
Lisi, Francesca A
1
Lisi, Francesca A.
1
Lisitsa, Alexei
3
Li, Tianrui
3
Liu, Shaoying
2
Liu, Zhiming
2
Liu, Zhiming, 1972-
1
Li, Xuandong
1
Li, Yuefeng
2
Llorà, Xavier
1
Lluch Lafuente, Alberto
2
Löbner, Sebastian, 1949-
1
Lodaya, Kamal
1
Logozzo, Francesco
1
Loidl, Hans-Wolfgang+
1
Lomuscio, Alessio
1
Loog, Marco
1
Löwe, Benedikt
1
Löwe, Welf
1
Lucas, Peter J. F.
2
Lukasiewicz, Thomas
1
Lukose, Dickson
1
Lukose, Dickson, 1963-
1
Lumpe, Markus
1
Lu, Qin
1
Lutz, Carsten
2
Lutz, Carsten, 1971-
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
Marciniak, Małgorzata
1
Marek, Victor W.
1
Margaria-Steffen, Tiziana, 1964-
1
Margaria, Tiziana
1
Margenstern, Maurice
1
Marché, Claude
1
Marinaro, Maria, 1933-
1
Mariño, Julio
1
Marín, Roque
1
Marquis, Pierre
2
Marra, Vincenzo
1
Martell, Craig
1
Martel, Matthieu
1
Martini, Simone, 1959-
1
Martín-Mateos, Francisco J.
2
Martín-Vide, Carlos
4
Martí-Oliet, Narciso
1
Mastroeni, Isabella
2
Masulli, Francesco
1
Masulli, Francesco, 1952-
1
Maudet, Nicolas
1
Mauri, Giancarlo, 1949-
1
Mayer, Philip
1
Mayr, Heinrich C
1
Mayr, Heinrich C.
1
May, Wolfgang
1
McBride, Conor
3
McBurney, Peter
1
McGinty, Lorraine
1
McIver, Annabelle, 1964-
2
McMillan, Kenneth L.
1
Medina-Moreno, Jesús
1
Medina, Raoul
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
2
Méry, Dominique
1
Merz, Stephan
5
Meseguer, José
1
Métais, Elisabeth, 1959-
1
Metcalfe, George
2
Meyden, Ron van der
1
Meyer, Bertrand
1
Meyer, Bertrand, 1950-
2
Meyer, John-Jules Ch
1
Meyer, Roland
2
Miao, Duoqian
1
Micalizio, Roberto
1
Miclet, Laurent
2
Middeldorp, Aart, 1963-
1
Miguel, Ian
1
Michel, Olivier
2
Miller, Dale (Dale A.), 1956-
1
Miné, Antoine
1
Mineshima, Koji
1
Minor, Mirjam
1
Mirkin, Boris G
1
Misra, Jayadev
1
Missaoui, Rokia, 1949-
1
Mitkov, Ruslan
2
Mitra, Sushmita
1
Miyaji, Atsuko
1
Miyamoto, Sadaaki
1
Miyamoto, Sadaaki, 1950-
1
Mohamed, Otmane Ait
1
Möller, Bernhard
1
Montanari, Ugo
2
Montanari, Ugo, 1943-
1
Monteiro, Luís
1
Montemagni, Simonetta
1
Moor, Oege de
1
Moortgat, Michael
2
Moot, Richard
2
Morazán, Marco T
1
Moreira, Nelma
1
Moreno-Díaz, Roberto, 1939-
1
Morgan, Carroll
1
Morrill, Glyn
1
Morrill, Glyn V.
2
Mossakowski, Till
1
Mosses, Peter D., 1948-
1
Motoda, Hiroshi
1
Motomura, Yoichi
1
Muggleton, Stephen H
1
Müller-Olm, Markus
1
Müller, Peter
1
Muñoz-Avila, Héctor
1
Muñoz, César
1
Muntean, Traian
1
Murata, Tsuyoshi
1
Muscholl, Anca
2
Muskens, Reinhard, 1953-
1
Musuvathi, Madanlal
1
Mykowiecka, Agnieszka
1
Mylopoulos, John, 1943-
1
Nahir, Amir
1
Nakatsui, Masahiko
1
Nanz, Sebastian
1
Narboux, Julien
2
Narukawa, Yasuo
3
Narukawa, Yasuo, 1964-
2
Naumann, David
2
Nederhof, Mark-Jan
2
Nerode, Anil
1
Neumaier, Arnold
4
Nguyen, Hung Son
2
Nickles, Matthias
1
Nicosia, Giuseppe
1
Nielson, Hanne Riis
1
Niemelä, Ilkka
1
Nieuwenhuis, Robert
1
Nipkow, Tobias, 1958-
1
Nishino, Tetsuro
1
Noble, James
2
Nordio, Martin
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
O’Hearn, Peter
1
Ojeda Aciego, Manuel, 1967-
1
Okumura, Manabu
1
Olivé, Antoni, 1946-
1
Oliveira, José
1
Oliveira, José Nuno
1
Olivetti, Nicola, 1963-
1
Onaindia, Eva
3
Ong, Luke
1
Oostrom, Vincent van
1
Orejas, Fernando
1
Orejas, Fernando, 1952-
1
Orgun, Mehmet A.
2
Orłowska, Ewa
1
Orłowska, Ewa, 1935-
1
Osswald, Rainer
1
Otsuka, Akira
1
Otto, Friedrich
1
Ouaknine, Joël
1
Pacuit, Eric
1
Paech, Barbara
1
Paes, Aline
1
Page, Rex, 1944-
1
Pahikkala, Tapio
1
Paige, Richard F.
3
Palamidessi, Catuscia
1
Palchunov, Dmitry E
1
Palomino, Miguel
1
Pal, Sankar K., 1950-
1
Palsberg, Jens
1
Palsberg, Jens, 1964-
1
Paoli, Flavio De
1
Papadelis, Georgios
1
Paraboni, Ivandré
1
Pardo, Thiago Alexandre Salgueiro
1
Pardo, Thiago A. S
1
Parent, Christine
1
Parent, Xavier
1
Park, Seong-Bae
1
Park, Sungwoo
1
Parmentier, Yannick
3
Parsons, Simon
1
Păsăreanu, Corina S
1
Păsăreanu, Corina S.
1
Paschke, Adrian
2
Pasi, Gabriella, 1961-
1
Pastor, Óscar, 1962-
1
Pattinson, Dirk, 1970-
1
Paulin-Mohring, Christine, 1962-
1
Paulson, Lawrence C
1
Paul, Wolfgang
6
Păun, Gheorghe
1
Paun, Gheorghe, 1950-
1
Pavlovic, Dusko
1
Pazienza, Maria Teresa
1
Pearce, David
1
Pearce, David J.
2
Pedrycz, Witold, 1953-
1
Pecheur, Charles
1
Peled, Doron A
1
Peled, Doron A., 1962-
1
Peñaloza, Rafael
2
Peña, Ricardo, 1950-
1
Perdigão, Fernando
1
Pérez Jiménez, Mario de J., 1948-
1
Pérez-Jiménez, Mario J
2
Perner, Petra
3
Perner, Petra, 1958-
18
Peters, James F., 1936-
1
Peters, Wim
4
Petrosino, Alfredo
1
Petrucci, Laure
3
Pfenning, Frank
1
Pham, Duc-Nghia
1
Piazza, Carla
1
Pierantonio, Alfonso
2
Pighizzini, Giovanni
1
Pihlajasaari, Pekka
1
Pichler, Franz, 1936-
1
Pichler, Reinhard
1
Pinho, Luís Miguel
1
Pirrone, Roberto
1
Piterman, Nir
1
Pitts, A. M. (Andrew M.), 1956-
3
Plasmeijer, Rinus
1
Platzer, André
1
Podelski, Andreas
2
Pogodalla, Sylvain
1
Pol, Jaco van de, 1969-
4
Polkowski, Lech
1
Polovina, Simon
1
Pontelli, Enrico
1
Pontelli, Enrico, 1967-
2
Pool, Michael
1
Popov, Nikolaj Vasil'jevič
3
Potapov, Igor
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
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
2
Rabe, Florian
3
Rahonis, George
3
Rahwan, Iyad
1
Rajamani, Sriram K
2
Ramanna, Sheela
1
Ramon, Jan
1
Ram, Sudha, 1959-
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
2
Retoré, Christian, 1964-
1
Reyes-Garcia, Carlos Alberto
1
Ricci, Francesco, 1959-
2
Riguzzi, Fabrizio
1
Richardson, Daniel C
2
Richter, Frank
1
Richter-Gebert, Jürgen
1
Richter, Michael M
1
Riscos-Núñez, Agustín
1
Rival, Xavier
1
Rödder, Wilhelm
1
Roelofsen, Floris
1
Roggenbach, Markus
1
Rocha, Ricardo
1
Rolland, Robert
1
Romanovsky, Alexander
1
Ronchi Della Rocca, Simona, 1946-
1
Rooij, Robert van
1
Rosenkranz, Markus
1
Rosner, Michael
1
Rossi, Francesca, 1962-
1
Roşu, Grigore
1
Roşu, Grigore, 1971-
3
Roth-Berghofer, Thomas R
2
Roth-Berghofer, Thomas R., 1967-
1
Roubens, Marc, 1940-
1
Rousset, Marie-Christine
1
Roy, Bimal
1
Roychoudhury, Abhik
1
Roy, Olivier
8
Rozenberg, Grzegorz
1
Rozenberg, Grzegorz, 1942-
3
Rudolph, Sebastian
1
Rudolph, Sebastian, 1976-
1
Rueda, Camilo
1
Ruiz, Ernestina Menasalvas
1
Ruml, Wheeler
1
Rumpe, Bernhard
1
Russo, Claudio
2
Rutten, Jan
1
Rybalchenko, Andrey
1
Rybinski, Henryk
1
Rybiński, Henryk
2
Sacarea, Christian, 1970-
1
Sadighi, Babak
1
Sadri, Fariba
2
Sagiv, Mooly
1
Saitta, Lorenza, 1944-
1
Sakai, Hiroshi
1
Sakakibara, Yasubumi
1
Sakarovitch, Jacques, 1947-
1
Salakoski, Tapio
2
Salaün, Gwen
7
Salomaa, Arto
1
Salomaa, Arto, 1934-
1
Sam, Djamila
1
Sampaio, Augusto
1
Sankaranarayanan, Sriram
1
Sannella, D. (Donald), 1956-
1
Santos Costa, Vítor
1
Santos, José
2
Saraiva, João
1
Sartor, Giovanni
1
Sassone, Vladimiro
1
Sassoon, Galit W.
1
Satoh, Ken
1
Satoh, Ken, 1959-
1
Sato, Kengo
1
Sattar, Abdul
1
Sattler, Ulrike, 1966-
1
Sauerland, Uli
1
Savaci, F. Acar (Ferit Acar)
1
Schaefer, Ina
1
Schaerf, Marco
2
Schaub, Torsten
4
Schewe, Klaus-Dieter
1
Schilder, Frank
1
Schlipf, John
1
Schmaltz, Julien
1
Schmidt, David
1
Schmidt, Gunther, 1939-
1
Schmidt, Jürg
více ...
zavřít
×
Načítá se...