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ě
139
SpringerLink (online služba)
4
Bernardo, Marco, 1970-
4
Vardanega, Tullio
3
Crnkovic, Ivica
2
Barbosa, Luís Soares
2
Barthe, Gilles, 1967-
2
Bin, Eyal
2
Damiani, Ferruccio
2
De Nicola, Rocco
2
Gorton, Ian, 1962-
2
Hanus, Michael, 1959-
2
Heineman, George T.
2
Issarny, Valérie
2
Kordon, Fabrice
2
Kroening, Daniel
2
Liu, Zhiming, 1972-
2
Lumpe, Markus
2
Merayo, Mercedes G.
2
Meyer, Bertrand, 1950-
2
Mirandola, Raffaela
2
Nordio, Martin
2
Pardo, Alberto
2
Piterman, Nir
2
Sagiv, Mooly
2
Sassone, Vladimiro
2
Schaefer, Ina
2
Schmidt, Heinz Wilhelm, 1952-
2
Sestoft, Peter
2
Stafford, Judith A.
2
Szyperski, Clemens
2
Ur, Shmuel
2
Virbickajte, I. B.
2
Vitek, Jan, 1966-
2
Voronkov, Andrei, 1959-
2
Wiklicky, Herbert, 1963-
2
Woodcock, Jim, 1956-
2
Zeller, Andreas, 1965-
2
Ziv, Avi
1
Abdulla, Parosh Aziz
1
Aceto, Luca, 1961-
1
Aldini, Alessandro
1
Amadio, Roberto M.
1
Anna Ingólfsdóttir, 1952-
1
Assmann, Uwe, 1963-
1
Atkinson, Colin
1
Baier, Christel
1
Balasubramaniam, Dharini
1
Banach, Richard
1
Barais, Olivier
1
Barner, Sharon
1
Bartenstein, Oskar
1
Bartocci, Ezio
1
Bartocci, Ezio, 1980-
1
Baumeister, Hubert
1
Becker, Steffen
1
Beckert, Bernhard
1
Bensalem, Saddek
1
Berardi, Stefano
1
Berghammer, Rudolf, 1952-
1
Berry, Daniel
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Black, Andrew P., 1956-
1
Boca, Paul
1
Borger, Egon
1
Bove, Ana
1
Bowen, J. P. (Jonathan Peter), 1956-
1
Bošnački, Dragan, 1963-
1
Brand, Mark van den, 1962-
1
Bravetti, Mario, 1971-
1
Brennan, Rob
1
Breu, Ruth
1
Butler, Michael, 1967-
1
Calinescu, Radu
1
Calude, Cristian, 1952-
1
Carro, Manuel
1
Cavalcanti, Ana
1
Cerioli, Maura, 1964-
1
Chaudron, Michel R. V.
1
Chen, Yunji, 1983-
1
Ciancarini, Paolo, 1959-
1
Cimatti, Alessandro
1
Ciobanu, Gabriel
1
Clarke, E. M., 1945-
1
Cofer, Darren
1
Cohen, Albert
1
Cohen, Ernie
1
Combemale, Benoît
1
Concas, Giulio
1
Cortellessa, Vittorio
1
Czarnecki, Krzysztof, 1970-
1
Damiani, Ernesto, 1960-
1
Dang, Hung Van, 1950-
1
Devillers, Raymond
1
Di Martino, Beniamino
1
Dingel, Juergen
1
Dong, Jin Song
1
Dongarra, Jack, 1950-
1
Drira, Khalil
1
Drossopoulou, Sophia
1
Durán, Franciso
1
Dwyer, Matthew, 1963-
1
Edelkamp, Stefan, 1969-
1
Eder, Kerstin
1
Edwards, Stephen H.
1
Egyed, Alexander
1
Falkner, Katrina
1
Fantechi, Alessandro
1
Farchi, Eitan
1
Favaro, John
1
Ferrari, Gianluigi
1
Fischer, Bernd
1
Flammini, Francesco
1
Flanagan, Cormac
1
Fleck, Joel
1
France, Robert B.
1
Franch, Xavier
1
Garrigue, Jacques
1
Gašević, Dragan, 1976-
1
Geldenhuys, Jaco
1
Geske, Ulrich
1
Gheyi, Rohit
1
Giannakopoulou, Dimitra
1
Giese, Holger
1
Gnesi, Stefania, 1954-
1
González Harbour, Michael, 1960-
1
Gordon, Andrew D., 1964-
1
Gorentla Venkata, Manjunath
1
Grabowski, Jens
1
Guelfi, Nicolas, 1965-
1
Guo, Minyi
1
Harris, Ian
1
Havelund, Klaus, 1955-
1
Hawblitzel, Chris
1
He, Jifeng, 1943-
1
Hedin, Görel
1
Hendren, Laurie
1
Hierons, Robert M.
1
Hill, Patricia M.
1
Hofmeister, Christine
1
Holcombe, W. M. L. (William Michael Lloyd), 1944-
1
Honsell, Furio
1
Huzar, Zbigniew
1
Hähnle, Reiner, 1962-
1
ICSR 2011 (Pchohang, Jižní Korea)
1
Ienne, Paolo
1
Imam, Neena
1
Jacquet, Jean-Marie
1
Jaoua, Ali Mohamed
1
Ji, Qing
1
Johnsen, Einar Broch
1
Johnson, Michael
1
Jones, C. B. (Cliff B.), 1944-
1
Kazmeier, Jürgen
1
Kermarrec, Yvon
1
Kobayashi, Naoki, 1968-
1
Koci, Radek
1
Kolovos, Dimitris
1
Kowalewski, Stefan
1
Krishnamurthi, Shriram
1
Kulczycki, Gregory
1
König, Barbara
1
Kühne, Thomas
1
Lang, Frédéric
1
Lau, K.-K. (Kung-Kiu), 1953-
1
Le Goues, Claire
1
Leino, K. Rustan M.
1
Leue, Stefan, 1962-
1
Lightfoot, David E.
1
Lopes, Antónia
1
Lopez, M. Graham
1
Lourenço, João
1
Lourenço, João M.
1
Luo, Yuhua
1
Lämmel, Ralf
1
Löwe, Welf
1
Majumdar, Rupak
1
Malloy, Brian (Brian A.)
1
Marchesi, Michele, 1952-
1
Marché, Claude
1
Margaria-Steffen, Tiziana, 1964-
1
Mariño, Julio
1
Meer, Sven van der
1
Meredith, Greg
1
Merino, Pedro
1
Meyer, Bertrand
1
Miculan, Marino
1
Miller, Dale (Dale A.), 1956-
1
Misra, Jayadev
1
Montes de Oca, Edgardo
1
Morisio, Maurizio, 1960-
1
Morrison, R. (Ronald), 1946-
1
Murphy, Amy L., 1973-
1
Mycroft, Alan
1
Méry, Dominique
1
Möller, Bernhard, 1953-
1
Münch, Jürgen, 1968-
1
Nahir, Amir
1
Namjoshi, Kedar S.
1
Naumann, David
1
Nielsen, Brian
1
Nipkow, Tobias, 1958-
1
Ober, Ileana
1
Ober, Iulian
1
Odersky, Martin, 1958-
1
Ogawa, Mizuhito
1
Ouaknine, Joël
1
Pautasso, Cesare, 1975-
1
Pavlovic, Dusko
1
Pearce, David J.
1
Peled, Doron A., 1962-
1
Peña, Ricardo, 1950-
1
Picco, Gian Pietro, 1968-
1
Pierro, Alessandra Di
1
Pinho, Luís Miguel
1
Pinto, Jorge Sousa
1
Pitts, A. M. (Andrew M.), 1956-
1
Plasil, Frantisek
1
Pol, Jaco van de, 1969-
1
Păsăreanu, Corina S.
1
Qin, Shengchao
1
Qiu, Zongyan
1
Ramakrishnan, C. R.
1
Raz, Orna
1
Real, Jorge
1
Rensink, Arend, 1964-
1
Reussner, Ralf
1
Rosenblum, David S.
1
Roveri, Marco
1
Rumpe, Bernhard
1
Rybalchenko, Andrey
1
Sampaio, Augusto, 1964-
1
Sarukkai, Sundar
1
Savidis, Anthony
1
Scagnetto, Ivan
1
Schantz, Richard E.
1
Schmid, Klaus
1
Schneider, Gerardo
1
Schäfer, Wilhelm, 1954-
1
Schürr, Andy
1
Scotto, Marco
1
Seidl, Helmut
1
Seipel, Dietmar
1
Sekerinski, Emil, 1963-
1
Selic, Bran
1
Sen, Sandeep
1
Shamis, Pavel
1
Shehory, Onn M., 1963-
1
Sloane, Anthony
1
Smolka, Scott A.
1
Solberg, Arnor, 1967-
1
Staab, Steffen, 1970-
1
Steffen, Bernhard, 1958-
1
Succi, Giancarlo, 1964-
1
Südholt, Mario
1
Taentzer, Gabriele
1
Tang, Feilong
1
Tanter, Éric
1
Tinelli, Cesare
1
Ueda, Kazunori
1
Vaandrager, Frits W.
1
Valmari, Antti
1
Vanderperren, Wim
1
Varró, Dániel
1
Vinju, Jurgen J.
1
Vos, Tanja
1
Wallnau, Kurt
1
Walter, Bartosz
1
Walukiewicz, Igor, 1968-
1
Warren, David S.
1
Weber, Michael
1
Wellings, Andrew J.
1
Weyns, Danny
1
Wimmer, Manuel
1
Wolfsthal, Yaron
1
Wyk, Eric Van
1
Yang, Laurence Tianruo
1
Yang, Ye
1
Yoo, Shin
1
Zendulka, Jaroslav, 1953-
1
Zhu, Huibiao
1
Zima, Hans, 1941-
1
de la Puente, Juan Antonio
1
de’Liguoro, Ugo
1
Ábrahám, Erika
zavřít
×
Načítá se...