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ě
4
Abrahamsson, Pekka
4
Broy, Manfred, 1949-
4
Liu, Zhiming, 1961-
3
Bjørner, Dines, 1937-
3
Boer, Frank S. de
3
Diekert, Volker, 1955-
3
Gavrilova, Marina L., 1971-
3
Gervasi, Osvaldo, 1957-
3
Guelfi, Nicolas, 1965-
3
Hämäläinen, Timo D.
3
Michel, Fabien, 1975-
3
Oquendo, Flavio, 1958-
3
Parunak, H. Van Dyke
3
Reussner, Ralf
3
Weyns, Danny
3
Woodcock, Jim, 1956-
3
Zambonelli, Franco, 1966-
3
Zamulin, Aleksandr Vasiljevič
2
Araki, Keijiro, 1954-
2
Baresi, Luciano
2
Baumeister, Hubert
2
Cantú-Paz, Erick
2
Cavalcanti, Ana
2
Crnkovic, Ivica
2
Davies, Jim, 1964-
2
Deb, Kalyanmoy, 1963-
2
Derrick, John, 1963-
2
Durand, Bruno
2
Gleizes, Marie-Pierre
2
Graf, Susanne
2
Habib, M. (Michel), 1951-
2
Kruegel, Christopher, 1976-
2
Marchesi, Michele, 1952-
2
Margaria-Steffen, Tiziana, 1964-
2
Messnarz, Richard
2
Müller, Jörg P., 1965-
2
Münch, Jürgen, 1968-
2
Nagl, Manfred, 1944-
2
Namjoshi, Kedar S.
2
Núnez, Manuel
2
Pohl, Klaus, 1960-
2
Port, Dan
2
Richardson, Ita
2
Smith, Graeme, 1966-
2
Solvberg, A.
2
Tarlecki, Andrzej, 1956-
2
Valdes, Alfonso
2
Vassiliadis, Stamatis, 1951-
2
Voronkov, Andrei, 1959-
2
Wang, Farn
2
Wang, Qing, 1964-
2
Wirsing, Martin, 1948-
2
Xu, Ming
2
Zamboni, Diego, 1970-
1
Aceto, Luca, 1961-
1
Akehurst, David H.
1
Akl, Selim G., 1948-
1
Alexandrov, Vassil, 1962-
1
Almgren, Magnus
1
Alonistioti, Nancy
1
Alt, Helmut, 1950-
1
Andersen, R.
1
Anderson, Michael, 1951-
1
Anna Ingólfsdóttir, 1952-
1
Apt, Krzysztof R., 1949-
1
Arbab, F. (Farhad)
1
Arun-Kumar, S.
1
Arvind, V.
1
Asperti, Andrea, 1961-
1
Azevedo, Francisco de Moura e Castro Ascensão de, 1969-
1
Baar, Thomas
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Balsamo, Simonetta, 1958-
1
Banach, Richard
1
Bancerek, Grzegorz, 1966-
1
Barkaoui, Kamel, 1954-
1
Barker-Plummer, Dave, 1960-
1
Barnett, Mike, 1957-
1
Basili, Victor R., 1940-
1
Bereković, Mladen
1
Bergman, Lars, 1943-
1
Bernardo, Marco, 1970-
1
Biletskiy, Yevgen
1
Blackwell, Alan, 1962-
1
Bodart, Francois
1
Bodik, Rastislav
1
Boehm, Barry
1
Boissier, Olivier, 1963-
1
Boiten, Eerke, 1966-
1
Bomarius, Frank, 1960-
1
Bordini, Rafael H.
1
Borwein, Jonathan M., 1951-2016
1
Bosch, Jan
1
Bošnački, Dragan, 1963-
1
Briand, Lionel C.
1
Brim, Luboš, 1952-
1
Brinkkemper, Sjaak, 1958-
1
Brueckner, Sven A.
1
Bruel, Jean-Michel, 1969-
1
Bubenko, Janis A., jr
1
Buchs, Didier
1
Bunker, Annette
1
Burkhard, Hans-Dieter
1
Butler, Michael
1
Butler, Michael, 1967-
1
Böhlen, Boris
1
Börger, E. (Egon), 1946-
1
Cao, Jiannong
1
Carbone, Alessandra
1
Cauvet, Corine
1
Cerone, Antonio
1
Chen, Junghuei, 1960-
1
Cheng, Peter
1
Chin, Wei-Ngan
1
Clark, Andrew, 1971-
1
Concas, Giulio
1
Consel, Charles
1
Constantopoulos, Panos, 1955-
1
Cook, Byron, 1971-
1
Cousot, Patrick, 1948-
1
Cousot, Radhia
1
Cox, Richard
1
Cunha, Joăo Falcăo e
1
Damm, Werner
1
Dang, Hung Van, 1950-
1
De Nicola, Rocco
1
Dearle, Alan, 1959-
1
Deimel, Lionel E.
1
Dignum, Frank, 1961-
1
Dikenelli, Oğuz
1
Dingsøyr, Torgeir
1
Dittrich, Klaus R.
1
Donzeau-Gouge, Véronique
1
Dosch, Walter
1
Dubois, Eric, 1958-
1
Duesterwald, Evelyn
1
Dunne, Steve
1
Duparc, Jacques, 1962-
1
Dwyer, Matthew, 1963-
1
Díaz-Herrera, Jorge L.
1
Düntsch, Ivo
1
Eckstein, Jutta
1
Edelkamp, Stefan, 1969-
1
Eijk, Rogier M. van
1
Eisenbach, Susan, 1951-
1
Embley, David W.
1
Emerson, E. Allen
1
Emmerich, Wolfgang, 1965-
1
Erdogmus, Hakan, 1965-
1
European Association for Computer Science Logic. Conference
1
European Association for Computer Science Logic. conference
1
European Research Consortium for Informatics and Mathematics
1
Falcone, Rino, 1957-
1
Faltings, Boi
1
Farmer, William M.
1
Ferretti, Claudio, 1965-
1
Fiala, František
1
Fitzgerald, John, 1965-
1
Flores, Roberto
1
Ford, Gary A.
1
Fox, Geoffrey C.
1
Franch, Xavier
1
Frutos-Escrig, David de
1
Fujita, Hamido, 1955-
1
Garcia, Alessandro, 1976-
1
Garg, Naveen
1
Gargantini, Angelo, 1969-
1
Gasser, Leslie George, 1949-
1
Gavrilova, Tatiana
1
George, Chris W.
1
Geppert, Andreas, 1962-
1
Gibbons, Jeremy, 1966-
1
Gibbs, Norman E.
1
Giorgini, Paolo
1
Glück, Robert, 1961-
1
Godefroid, Patrice
1
González Harbour, Michael, 1960-
1
Gopalakrishnan, Ganesh
1
Gorton, Ian, 1962-
1
Goto, Eiichi
1
Gratch, Jonathan (Jonathan Matthew), 1963-
1
Grigoriev, Dima
1
Gruhn, Volker
1
Gschwind, Thomas
1
Gurevich, Yuri, 1940-
1
Haarslev, Volker, 1955-
1
Hainaut, Jean-Luc
1
Harrison, John, 1966-
1
Hashimoto, Masa-aki
1
Hayes, Ian, 1956-
1
He, Jifeng, 1943-
1
Heckel, Reiko, 1968-
1
Hegarty, Mary
1
Henzinger, T. A., 1962-
1
Hermanns, Holger, 1967-
1
Heymans, Patrick
1
Hicks, David L. (David Lane), 1962-
1
Hillston, J. (Jane), 1963-
1
Hinchey, Michael G. (Michael Gerard), 1969-
1
Hirsch, Edward A.
1
Hnich, Brahim
1
Hofmeister, Christine
1
Holcombe, W. M. L. (William Michael Lloyd), 1944-
1
Holz, Harald
1
Horváth, András, 1974-
1
Hruška, Tomáš, 1954-
1
Hurd, Joe, 1975-
1
Hutchison, David, 1949-
1
IFIP Working Group 6.1
1
Ibrahim, Rosalind L., 1942-
1
Iglesias, Andrés
1
Inverardi, Paola
1
Ishida, Toru, 1953-
1
Jacobsen, Hans-Arno, 1969-
1
Jardim Nunes, Nuno
1
Jazayeri, Mehdi, 1949-
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Robert B. (Robert Brent), 1969-
1
Jonsson, Erland, 1946-
1
Joseph, M., 1943-
1
Julliand, Jacques
1
Karsai, Gábor, 1953-
1
Katz, Randy H., 1955-
1
Kauers, Manuel
1
Kazman, Rick
1
Knapp, Alexander, 1971-
1
Kobayashi, Naoki, 1968-
1
Koczkodaj, Waldemar W.
1
Kohlhase, Michael, 1964-
1
Kolp, Manuel
1
Komi-Sirviö, Seija, 1966-
1
Kouchnarenko, Olga
1
Krishnamurthi, Shriram
1
Krogstie, John, 1967-
1
Krueger, Charles
1
Kutvonen, Lea
1
Kühne, Thomas
1
Larrondo-Petrie, María M.
1
Larsen, K. G. (Kim G.), 1957-
1
Lau, K.-K. (Kung-Kiu), 1953-
1
Lee, Roger Y.
1
Leeuwen, Jan van, 1946-
1
Lengauer, Christian
1
Leue, Stefan, 1962-
1
Li, Mingshu
1
Liggesmeyer, Peter
1
Lindstrom, Lowell
1
Lingas, A. (Andrzej)
1
Lippmann, Richard
1
Lodaya, Kamal
1
Lopes, Antónia
1
Loucopoulos, P.
1
Lowry, Michael R. (Michael Randolph), 1955-
1
Lämmel, Ralf
1
MacCaull, Wendy
1
Mahajan, Meena
1
Mao, Chengde
1
Marcinkowski, Jerzy
1
Marriott, Kim, 1961-
1
Mascolo, Cecilia
1
Maudet, Nicolas
1
Mauri, Giancarlo, 1949-
1
Meer, Hermann de
1
Melham, T. F. (Tom F.), 1960-
1
Melnik, Grigori
1
Meyer, Bernd
1
Meyer, Bertrand, 1950-
1
Misra, Jayadev
1
Morisio, Maurizio, 1960-
1
Morrison, R. (Ronald), 1946-
1
Mounier, Laurent
1
Mycroft, Alan
1
Mylopoulos, John, 1943-
1
Münch, Manfred
1
Najm, Elie, 1952-
1
Nakashima, Hideyuki
1
Narayanan, N. Hari
1
Nejdl, Wolfgang, 1960-
1
Nguyễn, Ngọc Thanh
1
Niebert, Peter
1
Nilsson, Gerda
1
Nipkow, Tobias, 1958-
1
Nord, Robert L.
1
Noriega, Pablo, 1953-
1
Norrie, Moira C.
1
Nürnberg, Peter J.
1
O'Hare, G. M. P. (Greg M. P.), 1961-
1
Obbink, Henk
1
Odell, James J., 1946-
1
Odersky, Martin, 1958-
1
Olivé, Antoni
1
Olivé, Antoni, 1946-
1
Omicini, Andrea, 1965-
1
Ong, Luke
1
Opdahl, Andreas Lothe, 1964-
1
Osterweil, Leon J.
1
Padgham, Lin
1
Paech, Barbara
1
Paige, Richard F.
1
Panayiotopoulos, Themistoklis
1
Parsons, Simon, 1967-
1
Paschke, Adrian
1
Pastor, Joan Antoni
1
Pastor, Óscar, 1962-
1
Pelachaud, Catherine
1
Peled, Doron A., 1962-
1
Petre, Luigia
1
Pfahl, Dietmar, 1963-
1
Pfaltz, John L.
1
Pierce, Niles A., 1971-
1
Pinho, Luís Miguel
1
Podelski, Andreas
1
Pol, Jaco van de, 1969-
1
Pottosin, Igor V.
1
Pradat-Peyre, Jean-François
1
Prasad, Sanjiva
1
Priami, Corrado
1
Quaglia, Paola
1
Raffo, David Mitchell
1
Rahwan, Iyad
1
Ram, Sudha, 1959-
1
Ramanujam, R., 1959-
1
Reichel, Horst, 1941-
1
Reif, John H.
1
Ricci, Alessandro, 1973-
1
Riccobene, Elvinia, 1964-
1
Roddick, John F.
1
Rolland, Colette, 1943-
1
Romijn, Judi Maria Tirza, 1971-
1
Runeson, Per, 1966-
1
Sadananda, R., 1944-
1
Sampaio, Augusto, 1964-
1
Saraiva, Joao
1
Sassone, Vladimiro
1
Savidis, Anthony
1
Sawyer, Pete (Pete H.), 1958-
1
Schepers, Henk
1
Schmidt, Heinz Wilhelm, 1952-
1
Schulte, Wolfram
1
Schürr, Andreas
1
Seidl, Helmut
1
Sekerinski, Emil, 1963-
1
Sen, Sandeep
1
Sere, Kaisa
1
Shao, Zhong, 1968-
1
Shi, Zhongzhi
1
Shimojima, Atsushi, 1962-
1
Sindre, Guttorm, 1964-
1
Sirjani, Marjan
1
Sledge, C.
1
Slind, Konrad
1
Stafford, Judith A.
1
Steffen, Bernhard, 1958-
1
Steinholtz, B.
1
Stephens, Christopher R., 1959-
1
Sterbenz, James P. G.
1
Stoddart, Bill, 1946-
1
Succi, Giancarlo, 1964-
1
Swart, H. C. M. de (Henricus Cornelius Maria), 1944-
1
Swoboda, Nik
1
Systä, Tarja Johanna
1
Szyperski, Clemens
1
Südholt, Mario
1
Takayama, Nobuki, 1959-
1
Telek, Miklós
1
Thalheim, Bernhard, 1952-
1
Thomas, Wolfgang, 1947-
1
Tison, Sophie
1
Tomayko, J. E.
1
Treharne, Helen
1
Trybulec, Andrzej, 1941-
1
Tsay, Yih-Kuen, 1962-
1
Vain, Jüri
1
Valmari, Antti
1
Vassiliou, Yannis
1
Vierimaa, Matias
1
Virbickajte, I. B.
1
Visser, Eelco, 1966-2022
1
Visser, Joost
1
Vogel, Régis
1
Vojtáš, Peter, 1951-
1
Volkov, Mikhail V.
1
Vysoké učení technické v Brně. Ústav automatizace a informatiky
1
Walukiewicz, Igor, 1968-
1
Warboys, Brian, 1942-
1
Wasserman, Tony
1
Wermelinger, Michel, 1966-
1
Weske, Mathias, 1963-
1
Wiedermann, Jiří, 1948-
1
Wiil, Uffe Kock
1
Wijers, Gerard
1
Williams, Clay
1
Winter, Michael
1
Wolf, Alexander L.
1
Wolter, Katinka
1
Wong, James Stephen Soe Mien, 1973-
1
Wu, Chisu
1
Yi, Kwangkeun
1
Yokomori, Takashi
1
Yuasa, Taiichi
1
Zandron, Claudio
1
Zannier, Carmen
1
Zeller, Andreas, 1965-
1
Zhang, Wenhui, 1963-
1
Zhou, Xingming, 1938-
1
Zhuge, Hai
1
Zimmermann, Wolf
1
Èsik, Zoltán, 1951-
zavřít
×
Načítá se...