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ě
412
SpringerLink (online služba)
6
Dongarra, Jack
5
Horváth, Zoltán
5
Lämmel, Ralf
5
Reussner, Ralf
4
Barthe, Gilles
4
Boer, Frank S. de
4
Butler, Michael
4
Cavalcanti, Ana
4
Chiba, Shigeru
4
Crnkovic, Ivica
4
Karczewski, Konrad
4
Kordon, Fabrice
4
Pfahl, Dietmar, 1963-
4
Rumpe, Bernhard
4
Saraiva, João
4
Sirjani, Marjan
4
Szyperski, Clemens
4
Tanter, Éric
4
Vardanega, Tullio
4
Wang, Qing, 1964-
4
Wyrzykowski, Roman
4
Zsók, Viktória
3
Alexander, Michael, 1972-
3
Beckert, Bernhard
3
Bonsangue, Marcello M
3
Chapman, Barbara, 1954-
3
Fraser, Gordon
3
Havelund, Klaus
3
Hofmeister, Christine
3
Johnson, Ralph
3
Katz, Shmuel
3
Leavens, Gary T
3
Raffo, David Mitchell
3
Romanovsky, Alexander
3
Visser, Joost
3
Waśniewski, Jerzy
2
Aalst, Wil van der, 1966-
2
Abrahamsson, Pekka
2
Aceto, Luca
2
Agha, Gul
2
Albers, Susanne
2
Arbab, F. (Farhad)
2
Arvind, V.
2
Assmann, Uwe, 1963-
2
Ayguadé, Eduard
2
Bruni, Roberto
2
Castagna, Giuseppe
2
Cheng, Betty H. C.
2
Damgård, Ivan
2
Danelutto, Marco
2
Dolev, Shlomi
2
Drossopoulou, Sophia
2
El-Ghazawi, Tarek
2
France, Robert
2
Giannakopoulou, Dimitra
2
Goldberg, Leslie Ann
2
Gorton, Ian, 1962-
2
Gschwind, Thomas
2
Guelfi, Nicolas, 1965-
2
Guo, Minyi
2
Hage, Jurriaan
2
Halldórsson, Magnús M
2
Haugen, Øystein
2
Heineman, George T.
2
Ingólfsdóttir, Anna
2
Issarny, Valérie
2
Jensen, Kurt, 1950-
2
Jones, C. B. (Cliff B.), 1944-
2
Jézéquel, Jean-Marc
2
Keller, Rainer
2
Kirchner, Claude
2
Knüpfer, Andreas
2
Liu, Zhiming, 1972-
2
Majumdar, Rupak
2
Martino, Beniamino Di
2
Mayr, Ernst W
2
Merz, Stephan
2
Meseguer, José
2
Messnarz, Richard
2
Meuter, Wolfgang De
2
Meyer, Bertrand
2
Meyer, Bertrand, 1950-
2
Mezini, Mira, 1966-
2
Mirandola, Raffaela
2
Morazán, Marco T
2
Morgan, Carroll
2
Nierstrasz, Oscar Marius, 1957-
2
Noble, James
2
Nordio, Martin
2
Obbink, Henk
2
Ossher, Harold
2
Palsberg, Jens
2
Petriu, Dorina C
2
Pinho, Luís Miguel
2
Plasil, Frantisek
2
Plasmeijer, Rinus
2
Pohl, Klaus, 1960-
2
Prasad, Sanjiva
2
Rashid, Awais
2
Romanovsky, Alexander, 1954-
2
Rouquette, Nicolas
2
Roşu, Grigore
2
Sagiv, Mooly
2
Salaün, Gwen
2
Sassone, Vladimiro
2
Schmidt, Heinz Wilhelm, 1952-
2
Schätz, Bernhard
2
Schürr, Andy
2
Sen, Sandeep
2
Simao, Adenilso
2
Stafford, Judith A
2
Stafford, Judith A.
2
Supinski, Bronis R. de
2
Taentzer, Gabriele
2
Tillmann, Nikolai
2
Troubitsyna, Elena
2
Träff, Jesper Larsson
2
Vene, Varmo
2
Virbitskaite, Irina
2
Voronkov, Andrei
2
Vorozhtsov, Evgenii V
2
Wallnau, Kurt
2
Walukiewicz, Igor
2
Wang, Guilin
2
Whittle, Jon, 1972-
2
Wirsing, Martin
2
Wohlstadter, Eric
2
Woodcock, Jim
2
Woodcock, Jim, 1956-
2
Yi, Kwangkeun
2
Zaïdi, Fatiha
2
Zdun, Uwe
2
Zisman, Andrea
1
Abdallah, Ali E
1
Abdennadher, Nabil
1
Abramowicz, Witold
1
Abramsky, Samson
1
Abran, Alain
1
Abrial, Jean-Raymond, 1938-
1
Adali, Tülay
1
Adve, Vikram
1
Aggarwal, Sanjeev K.
1
Aichernig, Bernhard K
1
Aksit, Mehmet
1
Al-Saidi, Asma
1
Aloni, Maria
1
Alonistioti, Nancy
1
Alt, Helmut, 1950-
1
Altman, Eitan
1
Amadio, Roberto M.
1
Amano, Hideharu
1
Anderson, James H
1
Aoki, Toshiaki
1
Apduhan, Bernady O.
1
Apel, Sven
1
Arbab, Farhad
1
Arun-Kumar, S.
1
Athanas, Peter
1
Avgeriou, Paris
1
Baddoo, Nathan
1
Badger, Julia M
1
Baker, Paul
1
Bampis, Evripidis
1
Banach, Richard
1
Banâtre, Jean-Pierre
1
Barbosa, Luis Soares
1
Barbosa, Luís Soares
1
Barringer, Howard
1
Barros, Allan Kardec
1
Barros, Márcio
1
Bartocci, Ezio
1
Bastiaanse, Harald
1
Baudry, Benoît
1
Bauer, Jörg
1
Baumeister, Hubert
1
Baumgartner, Gerald
1
Becker, Steffen
1
Bellahsene, Zohra, 1954-
1
Bellavista, Paolo
1
Belloum, Adam
1
Bencomo, Nelly
1
Benkner, Siegfried
1
Bensalem, Saddek
1
Bergel, Alexandre
1
Berghammer, Rudolf, 1952-
1
Bernardo, Marco
1
Bernardo, Marco, 1970-
1
Bernhaupt, Regina
1
Beume, Nicola
1
Bielova, Nataliia
1
Billet, Olivier
1
Billington, Jonathan
1
Bishop, Judith
1
Black, Andrew P., 1956-
1
Blanchette, Jasmin Christian
1
Blass, Andreas
1
Boavida, Fernando
1
Bobaru, Mihaela
1
Bodden, Eric
1
Bodei, Chiara
1
Boehm, Barry
1
Bonakdarpour, Borzoo
1
Bononi, Luciano
1
Book, Matthias
1
Borba, Paulo
1
Bordeleau, Francis
1
Borger, Egon
1
Bosilca, George
1
Bottaci, Leonardo
1
Bouajjani, Ahmed
1
Bourgeois, Anu G
1
Bouyssounouse, Bruno
1
Bove, Ana
1
Bozapalidis, Symeon
1
Bošnački, Dragan, 1963-
1
Bradley, Jeremy T
1
Braungarten, René
1
Bravetti, Mario, 1971-
1
Breitman, Karin
1
Brennan, Rob
1
Brodman, James
1
Brorsson, Mats
1
Broy, Manfred, 1949-
1
Brucker, Achim D
1
Bruel, Jean-Michel
1
Brukardt, Randall L
1
Brunekreef, Jacob
1
Bu, Jiajun
1
Bugliesi, Michele
1
Bultan, Tevfik
1
Burdy, Lilian
1
Butler, Michael, 1967-
1
Butterfield, Andrew
1
Caballero, Juan
1
Cabeza, Daniel
1
Cabot, Jordi
1
Calinescu, Radu
1
Cannataro, Mario
1
Cannatoro, Mario
1
Cao, Jiannong
1
Carro, Manuel
1
Carvalho Junior, Francisco Heron de
1
Casati, Fabio, 1971-
1
Casimiro, Antonio
1
Cassez, Franck
1
Castano, Silvana
1
Cavazos, John
1
Cebulla, Michael
1
Cerqueira, Eduardo
1
Chaintreau, Augustin
1
Chakraborty, Goutam
1
Chakraborty, Supratik
1
Chang, Ruay-Shiung
1
Chang, Shih-Liang
1
Chao, Han-Chieh
1
Chapman, Barbara M
1
Chatterjee, Mainak
1
Chattopadhyay, Sanatan
1
Chattopadhyay, Santanu
1
Chaudhuri, Soma
1
Chaudron, Michel R. V
1
Chaudron, Michel R. V.
1
Chechik, Marsha
1
Chen, Chun
1
Chen, Danny Z
1
Chen, Liqun
1
Cheung, Ray C. C
1
Choy, Oliver C. S
1
Cisternino, Antonio
1
Clark, Tony
1
Clarke, Dave
1
Clarke, E. M., 1945-
1
Cofer, Darren
1
Cohen, David
1
Cohen, Myra B
1
Combemale, Benoit
1
Comon-Lundh, Hubert
1
Concas, Giulio
1
Conchon, Sylvain
1
Costabile, Maria Francesca
1
Cousot, Radhia
1
Crutcher, Paul D.
1
Csató, Lehel
1
Cuadrado-Gallego, Juan J
1
Cunha, José C. (José Cardoso)
1
Curado, Marília
1
Damiani, Ernesto, 1960-
1
Damiani, Ferruccio
1
Dams, Dennis R
1
Dang, Hung Van, 1950-
1
Danvy, Olivier
1
Das, Samir R
1
Datta, Ajoy K
1
Davies, Jim
1
Dayal, Umeshwar
1
Dearle, Alan
1
Dehne, Frank
1
Derrick, John
1
Dershowitz, Nachum
1
Devismes, Stéphane
1
Ding, Chen
1
Dingel, Juergen
1
Dittrich, Yvonne
1
Dong, Jin Song
1
Dongarra, Jack J
1
Dongarra, Jack, 1950-
1
Dony, Christophe
1
Duff, Robert A
1
Dumke, Reiner R
1
Dunkelman, Orr
1
Dunne, Steve
1
Durán, Franciso
1
Dwyer, Matthew, 1963-
1
D’Ambra, Pasqua
1
Echtle, Klaus
1
Edelkamp, Stefan, 1969-
1
Edwards, Stephen H.
1
Eekelen, Marko van
1
Eigenmann, Rudolf
1
Eisenbach, Susan
1
Engels, Gregor
1
Ernst, Erik
1
Escobar, Santiago
1
Fabry, Johan
1
Fahrenberg, Uli
1
Falcone, Ylies
1
Fantechi, Alessandro
1
Farchi, Eitan
1
Felleisen, Matthias
1
Fernandes, João M
1
Ferrari, Gianluigi
1
Ferrucci, Filomena
1
Fiadeiro, José Luiz, 1961-
1
Field, John
1
Filé, Gilberto
1
Finkbeiner, Bernd
1
Fischbach, Kai
1
Fischer, Gerhard
1
Fitzgerald, John S
1
Fleck, Joel
1
Fleischer, Rudolf, 1964-
1
Forbrig, Peter
1
Forsell, Martti
1
Fournet, Cédric
1
France, Robert B.
1
Franke, Björn
1
Frey, Davide
1
Fukuda, Komei
1
Furia, Carlo A
1
Gabriel, Edgar
1
Gacek, Cristina
1
Ganzha, Victor G
1
Gao, Guang R
1
Gao, Guang R.
1
Gardner, Philippa
1
Garg, Naveen
1
Gargantini, Angelo
1
Garousi, Vahid
1
Garzarán, María Jesús
1
Gaudiot, Jean-Luc
1
Gavoille, Cyril
1
Gavrilova, Marina L., 1971-
1
Gašević, Dragan, 1976-
1
Gent, Ian P
1
Gerdt, Vladimir P
1
Gerdt, Vladimir Petrovič
1
Gerndt, Michael
1
Gervasi, Osvaldo, 1957-
1
Ghosh, R. K
1
Giancarlo, Raffaele
1
Gibbons, Jeremy
1
Giese, Holger
1
Gill, Andy
1
Glinz, Martin
1
Glässer, Uwe, 1959-
1
Glück, Robert
1
Gnesi, Stefania
1
Gogolla, Martin
1
González Harbour, Michael, 1960-
1
Gordon, Andrew D., 1964-
1
Grelck, Clemens
1
Gropp, William D
1
Groves, Lindsay
1
Gruhn, Volker
1
Grumberg, Orna
1
Grumberg, Orna, 1952-
1
Grundy, John
1
Grunske, Lars
1
Guarracino, Mario R
1
Gulliksen, Jan, 1965-
1
Gupta, Arobinda
1
Gupta, Rajiv
1
Gurevich, Yuri, 1940-
1
Gurov, Dilian
1
Halbwachs, Nicolas
1
Hallerstede, Stefan
1
Hankin, Chris
1
Hannenhalli, Sridhar
1
Hanus, Michael, 1959-
1
Harel, David, 1950-
1
Harrison, Neil B.
1
Hartman, Alan
1
Hast, Anders
1
Hatcliff, John
1
Haupt, Michael
1
Haxthausen, Anne E
1
He, Jifeng, 1943-
1
Heineman, George T
1
Heinzelman, Wendi
1
Henning, Michi
1
Hermenegildo, Manuel
1
Hermenegildo, Manuel V
1
Hernandez, Oscar
1
Hertling, Peter
1
Heymans, Patrick
1
Hierons, Robert M.
1
Higashino, Teruo
1
Hinchey, Michael G
1
Hinze, Ralf
1
Hirschfeld, Robert
1
Hitzler, Pascal, 1971-
1
Hoeven, Joris van der
1
Hoffmann, Christoph M
1
Holcombe, W. M. L. (William Michael Lloyd), 1944-
1
Holzmann, Gerard J
1
Horváth, András, 1974-
1
Hsiung, Pao-Ann
1
Hu, Zhenjiang
1
Hua, Arrems
1
Huch, Frank
1
Hudak, Paul
1
Huisman, Marieke
1
Hull, Richard
1
Huth, Michael, 1962-
1
Huzar, Zbigniew
1
Hähnle, Reiner, 1962-
1
Hölzl, Matthias
1
ICSR 2011 (Pchohang, Jižní Korea)
1
Inverardi, Paola
1
Jackson, Ethan
1
Jager, Tikitu de
1
Jansen, Klaus, 1961-
1
Jansen, Thomas
1
Jaoua, Ali Mohamed
1
Jayanti, Prasad
1
Jazayeri, Mehdi, 1949-
1
Jeannot, Emmanuel
1
Jesshope, Chris
1
Jhala, Ranjit
1
Jin, Hai
1
Joe, Kazuki
1
Johnson, Michael
1
Jones, Cliff
1
Jones, Cliff B
1
Jones, Neil D
1
Joosen, Wouter
1
Joshi, Rajeev
1
Joswig, Michael
1
Juiz, Carlos, 1966-
1
Julliand, Jacques
1
Jurdziński, Marcin
1
Jutten, Christian
1
Jónasson, Kristján
1
Jürjens, Jan
1
Kaeli, David R.
1
Karsai, Gabor
1
Kasahara, Hironori
1
Kechadi, Tahar
1
Kermarrec, Yvon
1
Khurshid, Sarfraz
1
Kienzle, Jörg
1
Kienzle, Jörg, 1970-
1
Kim, Heung-Nam
1
Kim, Jong
1
Kim, Sung Won
1
Kimura, Keiji
1
Kirchner, Hélène
1
Knoop, Jens
1
Knudsen, Jørgen Lindskov
1
Koch, Andreas
1
Koci, Radek
1
Koepf, Wolfram
1
Kosmatov, Nikolai
1
Kowalewski, Stefan
1
Kramer, David
1
Krieger, Udo R
1
Krishnamachari, Bhaskar
1
Krishnamurthy, Ram
1
Kristensen, Lars M
1
Kroening, Daniel
1
Krüger, Ingolf H.
1
Kshemkalyani, Ajay D
1
Kulczycki, Gregory
1
Kumar, Rajeev
1
Kumaran, Kalyan
1
Kuncak, Viktor
1
Kutvonen, Lea
1
Kučera, Antonín, 1971-
1
Kühn, Eva
více ...
více ...
zavřít
×
Načítá se...