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ě
187
SpringerLink (online služba)
8
Voronkov, Andrei, 1959-
5
Rolim, José D. P., 1956-
4
Broy, Manfred, 1949-
4
Müller, Jörg P., 1965-
4
Van Hentenryck, Pascal, 1963-
4
Wang, Dongming, 1961-
3
Bjørner, Dines, 1937-
3
Díaz, Josep, 1950-
3
Garcia, Alessandro, 1976-
3
Jansen, Klaus, 1961-
3
Romanovsky, Alexander, 1954-
3
Tjoa, A Min
3
Vitek, Jan, 1966-
3
Waśniewski, Jerzy, 1931-
3
Zambonelli, Franco, 1966-
3
Zamulin, Aleksandr Vasiljevič
2
Arvind, V.
2
Ausiello, Giorgio, 1941-
2
Baader, Franz, 1959-
2
Barthe, Gilles, 1967-
2
Beck, J. Christopher
2
Beckert, Bernhard
2
Bordini, Rafael H.
2
Bressan, Stéphane, 1965-
2
Bubak, Marian
2
Bugliesi, Michele
2
Campilho, Aurélio
2
Choren, Ricardo
2
Coppo, Mario, 1947-
2
Crnkovic, Ivica
2
De Nicola, Rocco
2
Dehne, F. (Frank), 1960-
2
Dershowitz, Nachum, 1951-
2
Dikenelli, Oğuz
2
Dix, Jürgen, 1961-
2
Dongarra, Jack, 1950-
2
Etalle, Sandro
2
Fiadeiro, José Luiz, 1961-
2
Fiala, František
2
Filliâtre, Jean-Christophe
2
Giesl, Jürgen
2
Giorgini, Paolo
2
Gorrieri, Roberto, 1962-
2
Guelfi, Nicolas, 1965-
2
Heineman, George T.
2
Huang, De-Shuang
2
Hübner, Jomi Fred
2
Ibarra, Oscar H., 1941-
2
Julliand, Jacques
2
Kamel, Mohamed S., 1948-
2
Keijzer, Maarten
2
Kim, Tai-hoon
2
Kobayashi, Naoki, 1968-
2
Koczkodaj, Waldemar W.
2
Kothapalli, Kishore
2
Kouchnarenko, Olga
2
Kroening, Daniel
2
Lirkov, Ivan, 1963-
2
Liu, Zhiming, 1961-
2
Lucena, Carlos J. P. de, 1943-
2
Marchesi, Michele, 1952-
2
Margenov, Svetozar, 1953-
2
Matson, Eric
2
Monien, Burkhard, 1943-
2
Nielsen, Mogens, 1949-
2
Nikoletseas, Sotiris
2
Nipkow, Tobias, 1958-
2
Odell, James J., 1946-
2
Orejas, Fernando, 1952-
2
Padget, Julian A., 1959-
2
Pardo, Alberto
2
Paulin-Mohring, Christine, 1962-
2
Prasad, Sanjiva
2
Priami, Corrado
2
Quaglia, Paola
2
Ricci, Alessandro, 1973-
2
Rothlauf, Franz, 1971-
2
Schmidt, Heinz Wilhelm, 1952-
2
Seipel, Dietmar
2
Smith, Barbara, 1948-
2
Stafford, Judith A.
2
Südholt, Mario
2
Torroni, Paolo
2
Vidal, Germán
2
Werner, Benjamin
2
Wolsey, Laurence A., 1945-
2
Yi, Kwangkeun
1
Abiteboul, Serge, 1953-
1
Abraham, Ajith, 1968-
1
Abrahamsson, Pekka
1
Abreu, Salvador, 1961-
1
Acquisti, Alessandro
1
Adeli, Hojjat, 1950-
1
Aguilera, Marcos K.
1
Akl, Selim G., 1948-
1
Al-Begain, Khalid
1
Albert, J. Leach
1
Alexander, Michael, 1972-
1
Allemang, Dean
1
Almeida, Francisco
1
Alpuente, María
1
Altenkirch, Thorsten, 1962-
1
Amato, Giuseppe
1
Andersson, Jesper
1
André, Elisabeth
1
Apduhan, Bernady O.
1
Araki, Keijiro, 1954-
1
Arbab, F. (Farhad)
1
Arge, Lars, 1967-
1
Armando, Alessandro
1
Aroyo, Lora M.
1
Artalejo, Rodríguez M.
1
Artikis, Alexander
1
Arun-Kumar, S.
1
Bach Pedersen, Torben
1
Bachmair, Leo
1
Badonnel, Rémi
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Balogh, Richard
1
Banâtre, Jean-Pierre, 1948-
1
Barbosa, Luís Soares
1
Barkaoui, Kamel, 1954-
1
Bartocci, Ezio
1
Bartz-Beielstein, Thomas
1
Barták, Roman, 1970 červenec 3.-
1
Bassiliades, Nick
1
Baumeister, Hubert
1
Bebis, George
1
Becker, Steffen
1
Beldiceanu, Nicolas
1
Bellahsene, Zohra, 1954-
1
Berardi, Stefano
1
Bergmann, Ralph, 1965-
1
Bernhaupt, Regina
1
Bertels, Koen
1
Bevilacqua, Vitoantonio
1
Bientinesi, Paolo
1
Bistarelli, Stefano, 1968-
1
Bjørner, Nikolaj
1
Blundo, Carlo, 1968-
1
Boissier, Olivier, 1963-
1
Bolduc, Claude
1
Bonsangue, Marcello M. (Marcello Maria)
1
Book, Ronald V.
1
Borger, Egon
1
Boulic, Ronan
1
Bourque, Guillaume
1
Bove, Ana
1
Bowers, Rachel
1
Boyle, Richard
1
Bradáč, Zdeněk, 1973-
1
Braubach, Lars
1
Brauer, Wilfried
1
Bresciani, Paolo
1
Briot, Jean-Pierre, 1957-
1
Bruynooghe, Maurice
1
Bui, The Duy
1
Burke, Edmund, 1964-
1
Böhm, Corrado, 1923-
1
Böhme, Rainer
1
Cabeza, Daniel
1
Caires, Luís
1
Calimeri, Francesco
1
Calinescu, Radu
1
Calude, Cristian, 1952-
1
Campbell, Roy Harold
1
Cannataro, Mario, 1964-
1
Cao, Jian-nong
1
Cao, Jiannong
1
Cardoso, Joao M. P.
1
Carlsson, Svante
1
Cavalcanti, Ana
1
Ceri, Stefano, 1955-
1
Cerone, Antonio
1
Cerqueira, Renato
1
Champarnaud, Jean-Marc
1
Chapman, Barbara, 1954-
1
Charikar, Moses
1
Chatterjee, Mainak
1
Chaudhuri, Soma
1
Chbeir, Richard
1
Chekuri, Chandra
1
Chen, Jianer
1
Cheng, Siu-Wing
1
Chi, Chi-Hung
1
Chin, Wei-Ngan
1
Chlebus, Bogdan S.
1
Choudhury, Romit Roy
1
Choueiry, Berthe Y., 1963-
1
Chrisment, Isabelle
1
Christophides, Vassilis
1
Chrysanthou, Yiorgos
1
Ciancarini, Paolo, 1959-
1
Cisternino, Antonio
1
Clarke, E. M., 1945-
1
Clauss, Carsten
1
Collard, Martine
1
Comon, Hubert, 1957-
1
Concas, Giulio
1
Connor, Richard
1
Consel, Charles
1
Cooper, S. B. (S. Barry), 1943-2015
1
Corchado, Emilio S.
1
Cossentino, Massimo
1
Costan, Alexandru
1
Couch, Alva
1
Cousot, Patrick, 1948-
1
Crovella, Mark
1
Cruz, Isabel F.
1
Cuellar, Jorge
1
Dalpiaz, Fabiano, 1981-
1
Damiani, Ernesto, 1960-
1
Damiani, Ferruccio
1
Dang, Hung Van, 1950-
1
Dang, Zhe, 1967-
1
Dastani, Mohammad Mehdi
1
Datta, Anupam
1
Davis, Martin, 1928-2023
1
Dean, Mike
1
Dearle, Alan, 1959-
1
Deb, Kalyanmoy, 1963-
1
Decker, Stefan (Stefan Josef), 1968-
1
Degano, Pierpaolo, 1950-
1
Delgrande, James P.
1
Deng, Xiaotie
1
Desharnais, Jules
1
Desmedt, Yvo
1
Dezani-Ciancaglini, Mariangiola
1
Dignum, Virginia, 1964-
1
Diniz, Pedro C.
1
Dinneen, M. J. (Michael J.), 1967-
1
Dipanda, Albert
1
Dogrusoz, Ugur
1
Domaratzki, Michael
1
Dong, Jin Song
1
Dorffner, Georg
1
Du, Dingzhu, 1948-
1
Dunne, Steve
1
Dyckhoff, Roy, 1948-
1
Ebner, Marc, 1969-
1
Edelkamp, Stefan, 1969-
1
El-Mabrouk, Nadia
1
Emde Boas, Peter van
1
Erdogmus, Hakan, 1965-
1
Erlebach, Thomas, 1970-
1
Even, Shimon, 1935-2004
1
Faber, Wolfgang, 1974-
1
Falaschi, Moreno
1
Falchi, Fabrizio
1
Fallah Seghrouchni, Amal El
1
Farré, Jacques
1
Feeney, Laura Marie
1
Fehnker, Ansgar
1
Ferrari, Gianluigi
1
Fiems, Dieter
1
Figueroa, Juan Carlos
1
Fischer, Klaus, 1958-
1
Fiscus, Jonathan G.
1
Fleischer, Rudolf, 1964-
1
Fomin, Fedor Vladimirovič
1
Fong, Philip W. L.
1
Forbrig, Peter
1
Fritzson, Peter, 1952-
1
Fülöp, Zoltán, 1955-
1
Gabbay, Dov M., 1945-
1
Gabriel, Edgar
1
Galbraith, Steven D., 1968-
1
Ganzinger, Harald, 1950-
1
Gao, Xiao-Shan, 1963-
1
Garg, Naveen
1
Garg, Vijay Kumar, 1938-
1
Gasteratos, Antonios
1
Gavaldà, Ricard, 1964-
1
Gavrilova, Marina L., 1971-
1
Gašević, Dragan, 1976-
1
Gennaro, Claudio
1
Gerdt, Vladimir Petrovič
1
Gervasi, Osvaldo, 1957-
1
Ghose, Aditya K.
1
Ghosh, Subir Kumar
1
Giacobazzi, Roberto, 1964-
1
Giacobini, Mario
1
Giannakopoulou, Dimitra
1
Giese, Holger
1
Giese, Martin
1
Gleizes, Marie-Pierre
1
Glück, Robert, 1961-
1
Goi, Bok-Min
1
Gomes, Carla
1
Gomez-Sanz, Jorge J
1
Gong, Shaogang
1
Gorton, Ian, 1962-
1
Governatori, Guido
1
Gramlich, Bernhard, -2014
1
Gritzalis, Dimitris, 1959-
1
Groves, Lindsay
1
Grumberg, Orna, 1952-
1
Grégoire, Benjamin
1
Gulliksen, Jan, 1965-
1
Gupta, Aarti
1
Gupta, Gopal, 1963-
1
Gutierrez, Claudio
1
Gécseg, Ferenc, 1939-2014
1
Ha, Quang Thuy
1
Halbwachs, Nicolas
1
Hall, John
1
Hameurlain, Abdelkader, 1952-
1
Hankin, Chris, 1954-
1
Hanus, Michael, 1959-
1
Harris, Don, 1961-
1
Hartman, Alan
1
Henderson-Sellers, Brian, 1951-
1
Heng, Swee-Huay
1
Hermann, Miki, 1958-
1
Hermenegildo, Manuel de, 1959-
1
Herrmann, Thomas
1
Hertzberg, Joachim, 1958-
1
Heuser, Carlos Alberto
1
Hiroyasu, Tomoyuki
1
Ho, Tuong Vinh
1
Hoekstra, Alfons, 1963-
1
Holcombe, W. M. L. (William Michael Lloyd), 1944-
1
Holte, Robert C.
1
Holub, Jan, 1973-
1
Homer, S. (Steven)
1
Hong, Hoon
1
Hopcroft, John E., 1939-
1
Horváth, Gábor
1
Hsiang, Jieh
1
Hu, Xiaodong
1
Huisman, Marieke
1
Hummel, Karin Anna
1
Huth, Michael, 1962-
1
Huzar, Zbigniew
1
Hähnle, Reiner, 1962-
1
Ianni, Giovambattista
1
Indulska, Jadwiga
1
Irwin, G. W. (George William), 1950-
1
Ives, Zachary G., 1974-
1
Jacquet, Jean-Marie
1
Johnsen, Einar Broch
1
Johnson, David B.
1
Jones, C. B. (Cliff B.), 1944-
1
Jouannaud, Jean-Pierre, 1947-
1
Jussien, Narendra
1
Jónasson, Kristján
1
Kaklamanis, Christos
1
Kang, Byeong-Ho
1
Karczewski, Konrad
1
Kariv, O.
1
Karlsson, Rolf
1
Karpiński, Marek, 1948-
1
Karsai, Gábor, 1953-
1
Katoh, Naoki
1
Katzenbeisser, Stefan
1
Kecskemeti, Gabor
1
Keller, Rainer
1
Kim, Hyoung Joong, 1954-
1
Kirchner, Claude
1
Kirchner, Hélene
1
Kirn, Stefan
1
Koci, Radek
1
Koenig, Sven
1
Kolfschoten, Gwendolyn
1
Kolp, Manuel
1
Komura, Taku
1
Konev, Boris
1
Koppensteiner, Gottfried
1
Koracin, Darko
1
Kott, Laurent
1
Kowalewski, Stefan
1
Kozen, Dexter, 1951-
1
Krishnamachari, Bhaskar
1
Ktari, Béchir
1
Kuich, Werner, 1941-
1
Kulikov, Alexander S.
1
Kumar, Amit, 1976-
1
Kutten, Shay
1
Kuznecov, Sergej Olegovič
1
Kühn, Eva
1
Lam, Kwok Yan, 1966-
1
Lanet, Jean-Louis
1
Laneve, Cosimo, 1962-
1
Larsen, K. G. (Kim G.), 1957-
1
Laure, Erwin
1
Lavrač, Nada, 1953-
1
Lecroq, Thierry, 1965-
1
Lee, Roger Y.
1
Lee, Young-hoon
1
Leeuwen, Jan van, 1946-
1
Leite, João, 1970-
1
Lemos, Rogério de, 1961-
1
Lengauer, Christian
1
Lepuschitz, Wilfried
1
Lescanne, Pierre
1
Leung, Ho-fung
1
Li, Kang
1
Li, Kenli
1
Li, Wenjie
1
Linawati
1
Lindemann, Gabriela
1
Lindstrom, Lowell
1
Lingas, A. (Andrzej)
1
Litovski, Igor, 1957-
1
Liu, Wenyin, 1966-
1
Liu, Yijun
1
Lladós, Josep (Lladós Canet)
1
Lodaya, Kamal
1
Lodi, Andrea
1
Lodi, Elena
1
Logan, Brian
1
Lomuscio, Alessio
1
Lowry, Michael R. (Michael Randolph), 1955-
1
Luck, Michael
1
Lugosi, Gábor
1
Lukosch, Stephan, 1973-
1
Lynch, Nancy A. (Nancy Ann), 1948-
1
Lárusdóttir, Marta (Marta Kristín), 1963-
1
Lämmel, Ralf
1
Löwe, Benedikt
1
Löwe, Welf
1
Mahajan, Meena
1
Mahendra, Made Sudiana
1
Maibaum, Thomas S. E., 1947-
1
Majumdar, Rupak
1
Maldonado, José Carlos
1
Malek, Sam
1
Malik, Sharad
1
Malyškin, Viktor Èmmanuilovič
1
Malzbender, Tom
1
Marchetti-Spaccamela, Alberto
1
Marché, Claude
1
Markidis, Stefano
1
Martinez, Gregorio
1
Maurel, Denis
1
Maurer, Hermann, 1941-
1
Maybank, Stephen
1
Mayr, Ernst W., 1950-
1
McBride, Conor
1
McGeoch, Catherine C.
1
McIver, Annabelle, 1964-
1
Meenakshisundaram, Gopi
1
Mei, Hong
1
Merdan, Munir
1
Meredith, Greg
1
Mey, Dieter an
1
Meyer auf der Heide, Friedhelm
1
Meyer, Bertrand
1
Middeldorp, Aart, 1963-
1
Miguel, Ian
1
Mika, Peter, 1978-
1
Milano, Michela, 1970-
1
Misra, Jayadev
1
Mohania, Mukesh
1
Molineros, Jose
1
Mollá-Aliod, Diego
1
Montanari, Ugo, 1943-
1
Morin, Christine
1
Morvan, Franck
1
Mosses, Peter D., 1948-
1
Mouchard, Laurent
1
Mouratidis, Haralambos
1
Murata, Tadahiko
1
Murgante, Beniamino
1
Murphy, Amy L., 1973-
1
Muthukrishnan, S.
1
Narendran, Paliath
1
Nefian, Ara
1
Neuhold, Erich J., 1940-
1
Nieuwenhuis, Robert
1
Nikolaidis, I. (Ioanis)
1
Noriega, Pablo, 1953-
1
Nyberg, Kaisa, 1948-
1
Obayashi, Shigeru
1
Obdržálek, David
1
Oetsch, Johannes
1
Ohlbach, Hans Jürgen
1
Olivetti, Nicola, 1963-
1
Oostrom, Vincent van, 1966-
1
Ossowski, Sascha, 1968-
1
Ottmann, Thomas
1
O’Grady, Michael J.
1
O’Hare, Gregory M. P.
1
Padgham, Lin
1
Paige, Richard F.
1
Palsberg, Jens, 1964-
1
Panconesi, Alessandro
1
Pardalos, P. M. (Panos M.), 1954-
1
Pardede, Eric, 1975-
1
Paredaens, Jan
1
Parvin, Bahram
1
Paschke, Adrian
1
Pascucci, Valerio
1
Paterson, Kenneth G.
1
Paterson, Michael S., 1942-
1
Paun, Andrei
1
Pedrycz, Witold, 1953-
1
Peleg, David
1
Pernul, Günther, 1961-
více ...
více ...
zavřít
×
Načítá se...