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ě
5
Voronkov, Andrei, 1959-
4
Broy, Manfred, 1949-
4
Monien, Burkhard, 1943-
4
Wang, Dongming, 1961-
3
Bjørner, Dines, 1937-
3
Zamulin, Aleksandr Vasiljevič
2
Ausiello, Giorgio, 1941-
2
Baader, Franz, 1959-
2
Bordini, Rafael H.
2
Budach, Lothar, 1935-2007
2
Bugliesi, Michele
2
Choffrut, Christian
2
Coppo, Mario, 1947-
2
Cori, Robert
2
De Nicola, Rocco
2
Dershowitz, Nachum, 1951-
2
Díaz, Josep, 1950-
2
Enjalbert, Patrice
2
Fiala, František
2
Finkel, Alain, 1958-
2
Ibarra, Oscar H., 1941-
2
Keijzer, Maarten
2
Koczkodaj, Waldemar W.
2
Lirkov, Ivan, 1963-
2
Liu, Zhiming, 1961-
2
Marchesi, Michele, 1952-
2
Margenov, Svetozar, 1953-
2
Mayr, Ernst W., 1950-
2
Mehlhorn, Kurt, 1949-
2
Müller, Jörg P., 1965-
2
Nielsen, Mogens, 1949-
2
Puech, Claude
2
Reischuk, Rüdiger, 1955-
2
Rothlauf, Franz, 1971-
2
Tison, Sophie
2
Van Hentenryck, Pascal, 1963-
2
Vitek, Jan, 1966-
2
Wagner, K. W.
2
Waśniewski, Jerzy, 1931-
2
Wirsing, Martin, 1948-
2
Yi, Kwangkeun
2
Zambonelli, Franco, 1966-
1
Abiteboul, Serge, 1953-
1
Abrahamsson, Pekka
1
Akl, Selim G., 1948-
1
Albert, J. Leach
1
Almeida, Francisco
1
Altenkirch, Thorsten, 1962-
1
Araki, Keijiro, 1954-
1
Arató, Mátyás, 1931-
1
Arbab, F. (Farhad)
1
Arge, Lars, 1967-
1
Armando, Alessandro
1
Artalejo, Rodríguez M.
1
Arun-Kumar, S.
1
Arvind, V.
1
Bachmair, Leo
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Balogh, Richard
1
Banâtre, Jean-Pierre, 1948-
1
Barkaoui, Kamel, 1954-
1
Bartz-Beielstein, Thomas
1
Barták, Roman, 1970 červenec 3.-
1
Baumeister, Hubert
1
Beck, J. Christopher
1
Beilner, Heinz
1
Berardi, Stefano
1
Bertels, Koen
1
Bertran, Miquel
1
Bistarelli, Stefano, 1968-
1
Blum, E. K. (Edward K.), 1923-
1
Blundo, Carlo, 1968-
1
Book, Ronald V.
1
Bradáč, Zdeněk, 1973-
1
Brandenburg, Franz J.
1
Brauer, Wilfried
1
Bressan, Stéphane, 1965-
1
Bruynooghe, Maurice
1
Bubak, Marian
1
Böhm, Corrado, 1923-
1
Cabeza, Daniel
1
Caires, Luís
1
Calude, Cristian, 1952-
1
Cardoso, Joao M. P.
1
Carlsson, Svante
1
Cavalcanti, Ana
1
Cerone, Antonio
1
Champarnaud, Jean-Marc
1
Chapman, Barbara, 1954-
1
Chaudhuri, Soma
1
Chi, Chi-Hung
1
Chin, Wei-Ngan
1
Choueiry, Berthe Y., 1963-
1
Ciancarini, Paolo, 1959-
1
Comon, Hubert, 1957-
1
Concas, Giulio
1
Cooper, S. B. (S. Barry), 1943-2015
1
Cousot, Patrick, 1948-
1
Damiani, Ferruccio
1
Dang, Hung Van, 1950-
1
Dang, Zhe, 1967-
1
Dassow, Jürgen, 1947-
1
Degano, Pierpaolo, 1950-
1
Dehne, F. (Frank), 1960-
1
Dezani-Ciancaglini, Mariangiola
1
Diekert, Volker, 1955-
1
Diniz, Pedro C.
1
Dinneen, M. J. (Michael J.), 1967-
1
Dogrusoz, Ugur
1
Dolev, Danny
1
Domaratzki, Michael
1
Doncker, E. de
1
Dunne, Steve
1
Dyckhoff, Roy, 1948-
1
Ebner, Marc, 1969-
1
Emde Boas, Peter van
1
Erdogmus, Hakan, 1965-
1
Even, Shimon, 1935-2004
1
Farré, Jacques
1
Ferrari, Gianluigi
1
Filliâtre, Jean-Christophe
1
Fontet, M.
1
Freivalds, Rūsiņš, 1942-
1
Fritzson, Peter, 1952-
1
Fülöp, Zoltán, 1955-
1
Gabbay, Dov M., 1945-
1
Galil, Zvi
1
Ganzinger, Harald, 1950-
1
Gao, Xiao-Shan, 1963-
1
Garg, Naveen
1
Giacobazzi, Roberto, 1964-
1
Giacobini, Mario
1
Giesl, Jürgen
1
Giorgini, Paolo
1
Glück, Robert, 1961-
1
Gorrieri, Roberto, 1962-
1
Gramlich, Bernhard, -2014
1
Gécseg, Ferenc, 1939-2014
1
Habib, M. (Michel), 1951-
1
Hankin, Chris, 1954-
1
Hanus, Michael, 1959-
1
Hermann, Miki, 1958-
1
Hermenegildo, Manuel de, 1959-
1
Herzog, U.
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
Hsiang, Jieh
1
Huang, De-Shuang
1
Irwin, G. W. (George William), 1950-
1
Jacquet, Jean-Marie
1
Jantzen, Matthias
1
Jantzen, Matthias, 1948-
1
Jones, C. B. (Cliff B.), 1944-
1
Jouannaud, Jean-Pierre, 1947-
1
Julliand, Jacques
1
Kapenga, John A.
1
Kariv, O.
1
Karlsson, Rolf
1
Karpiński, Marek, 1948-
1
Karsai, Gábor, 1953-
1
Kelemen, Jozef, 1951-
1
Kirchner, Claude
1
Kirchner, Hélene
1
Kobayashi, Naoki, 1968-
1
Koenig, Sven
1
Konev, Boris
1
Koppensteiner, Gottfried
1
Kott, Laurent
1
Kouchnarenko, Olga
1
Kozen, Dexter, 1951-
1
Kuich, Werner, 1941-
1
Kühn, P. J.
1
Lam, Kwok Yan, 1966-
1
Laneve, Cosimo, 1962-
1
Larsen, K. G. (Kim G.), 1957-
1
Leeuwen, Jan van, 1946-
1
Lengauer, Christian
1
Lengauer, T.
1
Lepuschitz, Wilfried
1
Lescanne, Pierre
1
Li, Kang
1
Lindstrom, Lowell
1
Lingas, A. (Andrzej)
1
Litovski, Igor, 1957-
1
Lodaya, Kamal
1
Lodi, Elena
1
Lowry, Michael R. (Michael Randolph), 1955-
1
Löwe, Benedikt
1
Mahajan, Meena
1
Marchetti-Spaccamela, Alberto
1
Maurel, Denis
1
Maurer, Hermann, 1941-
1
McBride, Conor
1
Merdan, Munir
1
Meredith, Greg
1
Meyer auf der Heide, Friedhelm
1
Middeldorp, Aart, 1963-
1
Miguel, Ian
1
Milano, Michela, 1970-
1
Montanari, Ugo, 1943-
1
Morvan, Michel
1
Murphy, Amy L., 1973-
1
Muthukrishnan, S.
1
Narendran, Paliath
1
Nieuwenhuis, Robert
1
Nipkow, Tobias, 1958-
1
Obbink, Henk
1
Obdržálek, David
1
Odell, James J., 1946-
1
Ohlbach, Hans Jürgen
1
Oostrom, Vincent van, 1966-
1
Orejas, Fernando, 1952-
1
Ottmann, Thomas
1
Padgham, Lin
1
Paredaens, Jan
1
Paterok, M.
1
Paterson, Michael S., 1942-
1
Paul, M.
1
Paulin-Mohring, Christine, 1962-
1
Paun, Andrei
1
Pfenning, Frank
1
Picco, Gian Pietro, 1968-
1
Pinna, G. Michele
1
Pohl, Klaus, 1960-
1
Politechnika Śląska im. W. Pstrowskiego. Instytut Elektroniki
1
Pottosin, Igor V.
1
Prasad, Sanjiva
1
Priami, Corrado
1
Quaglia, Paola
1
Raidl, Günther
1
Ramanujam, R., 1959-
1
Reichel, Horst, 1941-
1
Richter-Gebert, Jürgen, 1963-
1
Ringeissen, Christophe
1
Robinet, Bernard
1
Rodeh, Michael
1
Rolim, José D. P., 1956-
1
Ronchi Della Rocca, Simona, 1946-
1
Rueher, Michel
1
Ruml, Wheeler
1
Rus, Teodor
1
Rusinowitch, Michael, 1956-
1
Régin, Jean-Charles
1
Sagiv, Mooly
1
Sahinalp, Suleyman Cenk
1
Saitta, Lorenza, 1944-
1
Salomaa, Arto, 1934-
1
Sannella, D. (Donald), 1956-
1
Saraswat, Vijay A.
1
Schmidt, David A., 1953-
1
Schmidt, Erik Meineche, 1945-
1
Schmitz, Sylvain
1
Schulz, K. M.
1
Seipel, Dietmar
1
Sen, Sandeep
1
Sestoft, Peter
1
Shamir, Eli
1
Shao, Zhong, 1968-
1
Sherwani, N. A.
1
Siveroni, Igor
1
Skyum, Sven
1
Smedema, C. H.
1
Smith, Barbara, 1948-
1
Sorbi, Andrea, 1956-
1
Spirakis, P. G. (Paul G.), 1955-
1
Stoddart, Bill, 1946-
1
Su, Keh-Yih
1
Succi, Giancarlo, 1964-
1
Sutcliffe, Geoff, 1961-
1
Takasu, S.
1
Talbi, El-Ghazali, 1965-
1
Talcott, Carolyn
1
Treharne, Helen
1
Tschudin, Christian
1
Uustalu, Tarmo, 1969-
1
Vajnovszki, Vincent
1
Van Roy, Peter
1
Varga, László Zsolt
1
Vassiliadis, Stamatis, 1951-
1
Verkerk, C.
1
Vidal-Naquet, G.
1
Virbickajte, I. B.
1
Visser, Eelco, 1966-2022
1
Vysoká škola báňská - Technická univerzita Ostrava. Katedra měřicí a řídicí techniky
1
Vysoké učení technické v Brně. Ústav automatizace a měřicí techniky
1
Walsh, Toby
1
Wang, Shan
1
Watson, B. W. (Bruce William), 1967-
1
Welzl, Emo, 1958-
1
Werner, Benjamin
1
Widmayer, Peter
1
Wiedermann, Jiří, 1948-
1
Wiklicky, Herbert, 1963-
1
Wilhelm, R. (Reinhard), 1946-
1
Winkler, Franz, 1955-
1
Winskel, Glynn
1
Wolsey, Laurence A., 1945-
1
Wolter, Frank
1
Wood, Derick
1
Woodcock, Jim, 1956-
1
Yalamov, Plamen
1
Yang, Lu
1
Yen, Hsu-Chun, 1958-
1
Yiyu, Yao
1
Yu, Sheng
1
Zannier, Carmen
1
Ziarko, Wojciech, 1951-
1
Zima, Hans P.
1
Zucker, Jean-Daniel
1
Žďárek, Jan, 1977-
zavřít
×
Načítá se...