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
Kobayashi, Satoshi
1
Kofod-Petersen, Anders
1
Kohlenbach, Ulrich
1
Kohlhase, Michael
1
Kokinov, Boicho
1
Kolaitis, Phokion
1
Koopman, Pieter
1
Kop, Christian
1
Kornai, András
1
Koubarakis, Manolis
1
Koutny, Maciej
1
Kovacs, Tim
1
Kracht, Marcus
1
Krennwallner, Thomas
1
Krishna, Shankara Narayanan
1
Krishnamurthi, Shriram
1
Kroening, Daniel
1
Krüger, Antonio
1
Kuchen, Herbert
1
Kuich, Werner
1
Kulmann, Friedhelm
1
Kupke, Clemens
1
Kuri Morales, Ángel Fernando
1
Kurz, Alexander
1
Kutsia, Temur
1
Kuznecov, Sergej Olegovič
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
Larsen, K. G. (Kim G.), 1957-
1
Lasota, Slawomir
1
Lassiter, Daniel
1
Lausen, Georg
1
Leake, David B., 1957-
1
Lee, Hong-Hee
1
Leite, João, 1970-
1
Lenisa, Marina
1
Leucker, Martin
1
Li, Huaxiong
1
Li, Xuandong
1
Li, Yuefeng
1
Libkin, Leonid, 1965-
1
Lima, Vera Lúcia Strube de
1
Lisi, Francesca A.
1
Liu, Zhiming, 1972-
1
Llorà, Xavier
1
Lluch Lafuente, Alberto
1
Lodaya, Kamal
1
Loog, Marco
1
Lu, Qin
1
Lucas, Peter J. F.
1
Lukose, Dickson
1
Lukose, Dickson, 1963-
1
Lumpe, Markus
1
Lutz, Carsten, 1971-
1
Löwe, Welf
1
MacCaull, Wendy
1
Madhusudan, P
1
Maletti, Andreas
1
Mamede, Nuno
1
Manara, Corrado
1
Manea, Florin
1
Manzano, María
1
Manzoni, Sara
1
Marciniak, Małgorzata
1
Marek, Victor W.
1
Margaria, Tiziana
1
Margaria-Steffen, Tiziana, 1964-
1
Marinaro, Maria, 1933-
1
Mariño, Julio
1
Marquis, Pierre
1
Martín-Mateos, Francisco J.
1
Martín-Vide, Carlos
1
Marín, Roque
1
Mastroeni, Isabella
1
Masulli, Francesco, 1952-
1
Maudet, Nicolas
1
Mauri, Giancarlo, 1949-
1
May, Wolfgang
1
Mayr, Heinrich C.
1
McBride, Conor
1
McGinty, Lorraine
1
McMillan, Kenneth L.
1
Medina, Raoul
1
Medina-Moreno, Jesús
1
Melham, T. F. (Tom F.), 1960-
1
Melin, Patricia
1
Mellouli, Khaled
1
Mertsching, Bärbel
1
Meyden, Ron van der
1
Meyer, Roland
1
Mezník, Ivan, 1942-
1
Miao, Duoqian
1
Micalizio, Roberto
1
Michel, Olivier
1
Middeldorp, Aart, 1963-
1
Mineshima, Koji
1
Minor, Mirjam
1
Miné, Antoine
1
Mirkin, Boris G
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
Montoyo, Andrés
1
Moor, Oege de
1
Moortgat, Michael
1
Moreira, Nelma
1
Moreno-Díaz, Roberto, 1939-
1
Morrill, Glyn
1
Morrill, Glyn V.
1
Motoda, Hiroshi
1
Motomura, Yoichi
1
Muntean, Traian
1
Murata, Tsuyoshi
1
Muscholl, Anca
1
Musuvathi, Madanlal
1
Muñoz, César
1
Muñoz-Avila, Héctor
1
Muńoz, Rafael
1
Mykowiecka, Agnieszka
1
Méry, Dominique
1
Métais, Elisabeth
1
Métais, Elisabeth, 1959-
1
Möller, Bernhard
1
Nahir, Amir
1
Nakatsui, Masahiko
1
Narboux, Julien
1
Neumaier, Arnold
1
Nicosia, Giuseppe
1
Nieuwenhuis, Robert
1
Nishino, Tetsuro
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
Onaindia, Eva
1
Oostrom, Vincent van
1
Orejas, Fernando
1
Orgun, Mehmet A.
1
Orłowska, Ewa, 1935-
1
Osswald, Rainer
1
Otsuka, Akira
1
Ouaknine, Joël
1
Pacuit, Eric
1
Pahikkala, Tapio
1
Paige, Richard F.
1
Pal, Sankar K., 1950-
1
Palchunov, Dmitry E
1
Palomino, Miguel
1
Papadelis, Georgios
1
Paraboni, Ivandré
1
Pardo, Thiago A. S
1
Pardo, Thiago Alexandre Salgueiro
1
Parent, Christine
1
Park, Seong-Bae
1
Park, Sungwoo
1
Parmentier, Yannick
1
Paschke, Adrian
1
Pattinson, Dirk, 1970-
1
Paul, Wolfgang
1
Paulson, Lawrence C
1
Paun, Gheorghe, 1950-
1
Pazienza, Maria Teresa
1
Pearce, David J.
1
Pecheur, Charles
1
Perdigão, Fernando
1
Peters, Wim
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
Pirrone, Roberto
1
Piterman, Nir
1
Pitts, A. M. (Andrew M.), 1956-
1
Platzer, André
1
Polovina, Simon
1
Popov, Nikolaj Vasil'jevič
1
Poulakis, Dimitrios
1
Proietti, Maurizio
1
Prost, Jean-Philippe
1
Przepiórkowski, Adam
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
Quaresma, Pedro
1
Quatrini, Myriam
1
Queiroz, Ruy J. G. B. de
1
Quesada-Arencibia, Alexis
1
Raamsdonk, Femke van
1
Ranta, Aarne
1
Raskin, Jean-François, 1972-
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
Reyes-Garcia, Carlos Alberto
1
Ricci, Francesco, 1959-
1
Richardson, Daniel C
1
Richter, Michael M
1
Richter-Gebert, Jürgen
1
Riguzzi, Fabrizio
1
Riscos-Núñez, Agustín
1
Rival, Xavier
1
Roelofsen, Floris
1
Roggenbach, Markus
1
Rolland, Robert
1
Rooij, Robert van
1
Rosenkranz, Markus
1
Rosner, Michael
1
Rossi, Francesca, 1962-
1
Roubens, Marc, 1940-
1
Rousset, Marie-Christine
1
Roy, Bimal
1
Roy, Olivier
1
Roychoudhury, Abhik
1
Rozenberg, Grzegorz, 1942-
1
Rudolph, Sebastian, 1976-
1
Rueda, Camilo
1
Ruiz, Ernestina Menasalvas
1
Rybinski, Henryk
1
Rybiński, Henryk
1
Rödder, Wilhelm
1
Sadighi, Babak
1
Sadri, Fariba
1
Saitta, Lorenza, 1944-
1
Sakai, Hiroshi
1
Sakakibara, Yasubumi
1
Salakoski, Tapio
1
Salomaa, Arto, 1934-
1
Sam, Djamila
1
Sankaranarayanan, Sriram
1
Sannella, D. (Donald), 1956-
1
Santos, José
1
Sassoon, Galit W.
1
Sato, Kengo
1
Satoh, Ken
1
Satoh, Ken, 1959-
1
Sattar, Abdul
1
Sattler, Ulrike, 1966-
1
Sauerland, Uli
1
Savaci, F. Acar (Ferit Acar)
1
Schaefer, Ina
1
Schaerf, Marco
1
Schaub, Torsten
1
Schilder, Frank
1
Schmid, Jürg, 1944-
1
Schmidt, David
1
Schmidt, Gunther, 1939-
1
Schmidt, Jürg
1
Schmidt, Renate A
1
Schmidt, Renate A.
1
Schmidt, Stefan
1
Schmidt, Stefan E.
1
Schmidtke, Hedda R
1
Schmitt, Peter H
1
Schmitz, Hans-Christian
1
Schneider, Klaus
1
Schneider, Steve
1
Schreck, Pascal
1
Schröder, Lutz
1
Schulz, Katrin
1
Schulz, Stefan, 1969-
1
Schwabe, Kerstin
1
Schwertel, Uta
1
Scott, P. J.
1
Segond, Frédérique
1
Seidl, Helmut
1
Sekerinski, Emil, 1963-
1
Seki, Hirohisa
1
Seki, Hiroyuki
1
Sellers, Andrew
1
Sendrier, Nicolas
1
Serra, Roberto
1
Seshia, Sanjit A
1
Sexton, Alan P
1
Shan, Chung-chieh
1
Shang, Lin
1
Shankar, N.
1
Shao, Zhong
1
Shimada, Kenji
1
Siegler, Simon
1
Silverman, Barry
1
Slavkovik, Marija
1
Sofronie-Stokkermans, Viorica
1
Sojka, Petr
1
Soler-Toscano, Fernando
1
Soliman, Sylvain
1
Soloviev, Sergei
1
Son, Tran Cao
1
Sorbello, Filippo
1
Spada, Luca
1
Spiliopoulou, Myra
1
Stabler, Edward
1
Stamou, Giorgos
1
Stapleton, Gem
1
Stathis, Kostas
1
Steffen, Bernhard
1
Steffen, Bernhard, 1958-
1
Steffen, Martin
1
Stephan, Werner, 1947-
1
Stickel, Mark E.
1
Stock, Oliviero, 1950-
1
Stoelinga, Mariëlle
1
Stoilos, Giorgos
1
Stolzmann, Wolfgang
1
Storey, Veda Catherine, 1956-
1
Struth, Georg
1
Stumme, Gerd
1
Sturm, Thomas
1
Sugumaran, Vijayan
1
Sun, Jun
1
Swart, H. C. M. de (Henricus Cornelius Maria), 1944-
1
Swart, Harrie de
1
Szczuka, Marcin
1
Szczuka, Marcin, 1970-
1
Taentzer, Gabriele
1
Tagliaferri, Roberto, 1960-
1
Tahar, Sofiène
1
Takadama, Keiki
1
Tan, C. J. Kenneth
1
Tarlecki, Andrzej
1
Teixeira, António
1
Terashima-Marín, Hugo
1
Tessaris, Sergio
1
Tettamanzi, Andrea G. B
1
Thiagarajan, P. S., 1948-
1
Thimm, Matthias
1
Thomas, Wolfgang, 1947-
1
Thornton, John, 1959-
1
Timm, Ingo J
1
Tiscornia, Daniela
1
Tomita, Etsuji
1
Toni, Francesca
1
Torre, Leendert Willem Nicolaas van der, 1968-
1
Touili, Tayssir
1
Treharne, Helen
1
Treinen, Ralf
1
Tronçon, Samuel
1
Truthe, Bianca
1
Tsoukias, Alexis
1
Tsumoto, Shūsaku, 1963-
1
Ulidowski, Irek
1
Univerzita Karlova. Matematicko-fyzikální fakulta. Informatická sekce
1
Urban, Josef
1
Urban, Josef, 1973-
1
Uustalu, Tarmo
1
Valencia, Frank D
1
Valls, Aïda
1
Valtchev, Petko
1
Vasconcelos, Wamberto
1
Vatakis, Argiro
1
Verlan, Sergey
1
Vicario, Enrico
1
Vieira, Renata
1
Vieu, Laure
1
Villata, Serena
1
Villavicencio, Aline
1
Vinju, Jurgen J.
1
Viswanathan, Mahesh
1
Voigtländer, Janis
1
Volpe Nunes, Maria das Graças
1
Voronkov, Andrei
1
Vos, Tanja
1
Vrijer, Roel de
1
Wachsmuth, Henning
1
Wagner, Roland
1
Wang, Guo-Ying
1
Wang, Wen-fang
1
Wang, Xin
1
Wang, Yingxu
1
Wasser, Nathan
1
Watt, Stephen M
1
Webb, Geoffrey I., 1960-
1
Weber, Rosina O
1
Wechsung, Gerd
1
Wehrheim, Heike
1
Weidenbach, Christoph
1
Weikum, Gerhard
1
Wen, Peng
1
Wenzel, Makarius
1
Westera, Matthijs
1
Wiedijk, Freek
1
Wille, Rudolf
1
Wilson, David C
1
Wilson, Stewart W
1
Windsteiger, Wolfgang, 1967-
1
Winkler, Franz, 1955-
1
Wintner, Shuly, 1963-
1
Wirsing, Martin
1
Wolff, Burkhart
1
Wolff, Karl Erich
1
Wolski, Marcin
1
Wong, Leah Y.
1
Woodcock, Jim
1
Worrell, James
1
Wyk, Eric Van
1
Yager, Ronald
1
Yahav, Eran
1
Yen, Hsu-Chun, 1958-
1
Yi, Wang
1
Yoshida, Hiroshi
1
Yoshida, Yuji
1
Yu, Hong
1
Yu, Jian
1
Yu, Xing Huo, 1960-
1
Yung, Moti
1
Zagoruiko, Nikolay G
1
Zaihrayeu, Ilya
1
Zengler, Christoph
1
Zhang, Shichao
1
Zhu, William
1
Zucker, Jean-Daniel
1
d'Amato, Claudia
1
de la Puente, Juan Antonio
1
d’Amato, Claudia
1
van der Hoek, Wiebe
1
Ábrahám, Erika
1
Ågotnes, Thomas
1
Ésik, Zoltán
1
Ölveczky, Peter Csaba
1
Țuțu, Ionuț
zavřít
×
Načítá se...