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ě
556
SpringerLink (online služba)
7
Voronkov, Andrei
5
Dongarra, Jack
5
Horváth, Zoltán
5
Karczewski, Konrad
5
Waśniewski, Jerzy
4
Alexander, Michael, 1972-
4
Barthe, Gilles
4
Boer, Frank S. de
4
Broy, Manfred, 1949-
4
Garcia, Alessandro, 1976-
4
Lämmel, Ralf
4
Matson, Eric
4
Rolim, José D. P., 1956-
4
Romanovsky, Alexander, 1954-
4
Schwiegelshohn, Uwe
4
Seipel, Dietmar
4
Tjoa, A Min
4
Voronkov, Andrei, 1959-
4
Wyrzykowski, Roman
4
Zsók, Viktória
3
Bebis, George
3
Beckert, Bernhard
3
Bjørner, Dines, 1937-
3
Bonsangue, Marcello M
3
Boyle, Richard
3
Butler, Michael
3
Butterfield, Andrew
3
Choren, Ricardo
3
Crnkovic, Ivica
3
Dershowitz, Nachum
3
Dignum, Virginia
3
Dillon, Tharam S., 1943-
3
Finkbeiner, Bernd
3
Frachtenberg, Eitan
3
Giannakopoulou, Dimitra
3
Giese, Holger
3
Gleizes, Marie-Pierre
3
Havelund, Klaus
3
Jansen, Klaus, 1961-
3
Koracin, Darko
3
Leavens, Gary T
3
Lucena, Carlos J. P. de, 1943-
3
Meersman, R., 1947-
3
Meseguer, José
3
Meyer, Bertrand
3
Müller, Jörg P., 1965-
3
Padget, Julian A., 1959-
3
Parvin, Bahram
3
Peña, Ricardo, 1950-
3
Remagnino, Paolo
3
Romanovsky, Alexander
3
Rumpe, Bernhard
3
Saraiva, João
3
Son, Tran Cao
3
Visser, Joost
3
Weyns, Danny
3
Wolf, Armin
3
Zamulin, Aleksandr Vasiljevič
2
Agha, Gul
2
Alpuente, María
2
Amir, Amihood
2
Arns, Laura
2
Artikis, Alexander
2
Arvind, V.
2
Assmann, Uwe, 1963-
2
Bach Pedersen, Torben
2
Baral, Chitta
2
Barthe, Gilles, 1967-
2
Bellahsene, Zohra, 1954-
2
Blass, Andreas
2
Boissier, Olivier
2
Bruni, Roberto
2
Campilho, Aurélio
2
Cavalcanti, Ana
2
Chatterjee, Mainak
2
Cheng, Betty H. C.
2
Cheong, Otfried
2
Chiba, Shigeru
2
Chun, Yu Ka
2
Chwa, Kyung-Yong
2
Corchado, Emilio S.
2
Danelutto, Marco
2
Dastani, Mehdi
2
Dikenelli, Oğuz
2
Dix, Jürgen, 1961-
2
Dongarra, Jack, 1950-
2
Eekelen, Marko van
2
Etalle, Sandro
2
Fiadeiro, José Luiz, 1961-
2
Fleischer, Rudolf, 1964-
2
Fraser, Gordon
2
Ganzha, Victor G
2
Giorgini, Paolo
2
Gomez-Sanz, Jorge J
2
Grelck, Clemens
2
Gschwind, Thomas
2
Guelfi, Nicolas, 1965-
2
Hage, Jurriaan
2
Hameurlain, Abdelkader, 1952-
2
Haugen, Øystein
2
Heineman, George T.
2
Hermenegildo, Manuel V
2
Herrero, Pilar
2
Hu, Xiaodong
2
Huch, Frank
2
Huisman, Marieke
2
Hölzl, Matthias
2
Hübner, Jomi Fred
2
Joshi, Rajeev
2
Julliand, Jacques
2
Keller, Rainer
2
Kim, Tai-hoon
2
Kirchner, Claude
2
Klosowski, James
2
Klusch, Matthias
2
Klügl, Franziska
2
Knüpfer, Andreas
2
Kordon, Fabrice
2
Kothapalli, Kishore
2
Krishnamachari, Bhaskar
2
Kroening, Daniel
2
Lanet, Jean-Louis
2
Lindemann, Gabriela
2
Luck, Michael
2
Majumdar, Rupak
2
Margenov, Svetozar
2
Martino, Beniamino Di
2
Martí-Oliet, Narciso
2
Maybank, Stephen
2
Mayr, Ernst W
2
Merz, Stephan
2
Michaelson, Greg J
2
Monroe, Laura
2
Morazán, Marco T
2
Muggleton, Stephen
2
Müller, Peter
2
Nierstrasz, Oscar Marius, 1957-
2
Nikoletseas, Sotiris
2
Ossowski, Sascha
2
Padgham, Lin
2
Page, Rex, 1944-
2
Palsberg, Jens
2
Pardo, Alberto
2
Park, Kunsoo
2
Peleg, David
2
Peters, Jörg
2
Petriu, Dorina C
2
Pfahl, Dietmar, 1963-
2
Picard, Gauthier
2
Plasil, Frantisek
2
Plasmeijer, Rinus
2
Pontelli, Enrico
2
Porikli, Fatih
2
Prasad, Sanjiva
2
Priami, Corrado
2
Qadeer, Shaz
2
Raffo, David Mitchell
2
Reussner, Ralf
2
Rhyne, Theresa-Marie
2
Ricci, Alessandro, 1973-
2
Rouquette, Nicolas
2
Roşu, Grigore
2
Rudolph, Larry
2
Sack, Jörg-Rüdiger, 1954-
2
Salaün, Gwen
2
Schmidt, Heinz Wilhelm, 1952-
2
Scholz, Sven-Bodo
2
Schulte, Wolfram
2
Simao, Adenilso
2
Stafford, Judith A
2
Stafford, Judith A.
2
Szyperski, Clemens
2
Südholt, Mario
2
Tabet, Said
2
Talcott, Carolyn
2
Taniguchi, Rin-ichiro
2
Tillmann, Nikolai
2
Torroni, Paolo
2
Trinder, Phil
2
Träff, Jesper Larsson
2
Tsoukiàs, Alexis
2
Unland, Rainer
2
Van Hentenryck, Pascal, 1963-
2
Veith, Helmut
2
Vene, Varmo
2
Vidal, Germán
2
Vorozhtsov, Evgenii V
2
Vázquez-Salceda, Javier
2
Wallnau, Kurt
2
Wang, Guilin
2
Wang, Qing, 1964-
2
Weidendorfer, Josef
2
Whittle, Jon, 1972-
2
Wirsing, Martin
2
Wohlstadter, Eric
2
Yi, Kwangkeun
2
Zambonelli, Franco, 1966-
2
Zha, Hongbin
2
Zisman, Andrea
1
Abdallah, Ali E
1
Abdennadher, Nabil
1
Abraham, Ajith, 1968-
1
Abrahamsson, Pekka
1
Abramowicz, Witold
1
Abreu, Salvador
1
Abreu, Salvador, 1961-
1
Acquisti, Alessandro
1
Adeli, Hojjat, 1950-
1
Adi, Asaf
1
Aggarwal, Sanjeev K.
1
Aguilera, Marcos K
1
Aguilera, Marcos K.
1
Aichernig, Bernhard K
1
Aksit, Mehmet
1
Al-Begain, Khalid
1
Al-Saidi, Asma
1
Albers, Susanne
1
Albert, Elvira
1
Aldewereld, Huib
1
Allemang, Dean
1
Allesina, Stefano
1
Aloni, Maria
1
Alonistioti, Nancy
1
Alt, Helmut, 1950-
1
Altman, Eitan
1
Amato, Giuseppe
1
Anderson, James H
1
Andersson, Jesper
1
André, Elisabeth
1
Aoki, Toshiaki
1
Apduhan, Bernady O.
1
Apel, Sven
1
Araki, Keijiro, 1954-
1
Ardagna, Claudio A
1
Armando, Alessandro
1
Aroyo, Lora M.
1
Arun-Kumar, S.
1
Asano, Tetsuo
1
Ayguadé, Eduard
1
Baader, Franz
1
Badger, Julia M
1
Badonnel, Rémi
1
Baker, Paul
1
Baldoni, Matteo
1
Balduccini, Marcello
1
Banâtre, Jean-Pierre
1
Barbosa, Luis Soares
1
Barbosa, Luís Soares
1
Baresi, Luciano
1
Barker-Plummer, Dave
1
Barringer, Howard
1
Bartenstein, Oskar
1
Bartocci, Ezio
1
Baruque, Bruno
1
Bassi, Sebastian
1
Bassiliades, Nick
1
Bastiaanse, Harald
1
Baudry, Benoît
1
Bauer, Jörg
1
Baumgartner, Peter
1
Beck, J. Christopher
1
Becker, Steffen
1
Beek, Peter van
1
Beklemishev, Lev D
1
Beldiceanu, Nicolas
1
Bellavista, Paolo
1
Belloum, Adam
1
Benatallah, Boualem, 1966-
1
Bencomo, Nelly
1
Benhamou, Frédéric
1
Benkner, Siegfried
1
Berg, Mark de
1
Bergel, Alexandre
1
Bergmann, Ralph, 1965-
1
Bernardo, Marco
1
Bernhaupt, Regina
1
Bessière, Christian
1
Bevilacqua, Vitoantonio
1
Bientinesi, Paolo
1
Bikakis, Antonis
1
Billet, Olivier
1
Birattari, Mauro
1
Bishop, Judith
1
Bjørner, Nikolaj
1
Blanchette, Jasmin Christian
1
Blockeel, Hendrik
1
Boavida, Fernando
1
Bobaru, Mihaela
1
Bodei, Chiara
1
Boehm, Barry
1
Boella, Guido
1
Boissier, Olivier, 1963-
1
Bolc, Leonard
1
Bolduc, Claude
1
Bonakdarpour, Borzoo
1
Bononi, Luciano
1
Bonsangue, Marcello M. (Marcello Maria)
1
Book, Matthias
1
Borba, Paulo
1
Bordeleau, Francis
1
Borger, Egon
1
Bosilca, George
1
Bosse, Tibor
1
Bottaci, Leonardo
1
Boulic, Ronan
1
Bourque, Guillaume
1
Bove, Ana
1
Bowers, Rachel
1
Brafman, Ronen I
1
Braubach, Lars
1
Bresciani, Paolo
1
Bressan, Stéphane, 1965-
1
Brewka, Gerhard
1
Briot, Jean-Pierre, 1957-
1
Brodal, Gerth Stølting
1
Brodman, James
1
Broekens, Joost
1
Broersen, Jan
1
Brorsson, Mats
1
Brucker, Achim D
1
Bruel, Jean-Michel
1
Brukardt, Randall L
1
Brünnler, Kai
1
Bubak, Marian
1
Bui, The Duy
1
Bultan, Tevfik
1
Burdy, Lilian
1
Burke, Edmund, 1964-
1
Böhme, Rainer
1
Cabalar, Pedro
1
Cabeza, Daniel
1
Cabot, Jordi
1
Calimeri, Francesco
1
Calinescu, Radu
1
Campbell, Roy Harold
1
Cannataro, Mario
1
Cannataro, Mario, 1964-
1
Cannatoro, Mario
1
Cao, Jian-nong
1
Cao, Jiannong
1
Cariani, Fabrizio
1
Carvalho Junior, Francisco Heron de
1
Casati, Fabio, 1971-
1
Cassez, Franck
1
Castagna, Giuseppe
1
Cebulla, Michael
1
Ceri, Stefano, 1955-
1
Cerqueira, Eduardo
1
Cerqueira, Renato
1
Cerro, Luis Fariñas del
1
Cervesato, Iliano
1
Chaintreau, Augustin
1
Chakraborty, Goutam
1
Chakraborty, Supratik
1
Chang, Elizabeth, 1964-
1
Chang, Ruay-Shiung
1
Chao, Han-Chieh
1
Chapman, Barbara, 1954-
1
Charikar, Moses
1
Chattopadhyay, Sanatan
1
Chattopadhyay, Santanu
1
Chaudhuri, Soma
1
Chbeir, Richard
1
Chekuri, Chandra
1
Chemello, Gaetano
1
Chen, Danny Z
1
Chen, Jianer
1
Chen, Liqun
1
Cheng, Siu-Wing
1
Chitil, Olaf
1
Chlebus, Bogdan S.
1
Choudhury, Romit Roy
1
Chrisment, Isabelle
1
Christiansen, Henning
1
Christophides, Vassilis
1
Chrysanthou, Yiorgos
1
Cisternino, Antonio
1
Clark, Alexander
1
Clark, Tony
1
Clarke, E. M., 1945-
1
Clauss, Carsten
1
Clavel, Manuel
1
Codish, Michael
1
Cohen, David
1
Collard, Martine
1
Collier, Rem
1
Combemale, Benoit
1
Comon-Lundh, Hubert
1
Conchon, Sylvain
1
Connor, Richard
1
Consel, Charles
1
Constable, Robert L.
1
Cortier, Véronique
1
Cossentino, Massimo
1
Costabile, Maria Francesca
1
Costan, Alexandru
1
Coste, François
1
Couch, Alva
1
Cousot, Radhia
1
Cox, Richard
1
Creignou, Nadia
1
Crovella, Mark
1
Crutcher, Paul D.
1
Cruz, Isabel F.
1
Csató, Lehel
1
Cuellar, Jorge
1
Curado, Marília
1
Dahl, Véronica
1
Dalpiaz, Fabiano, 1981-
1
Damiani, Ernesto, 1960-
1
Damiani, Ferruccio
1
Dams, Dennis R
1
Danvy, Olivier
1
Das, Samir R
1
Dastani, Mohammad Mehdi
1
Datta, Ajoy K
1
Datta, Anupam
1
Dau, Frithjof
1
Davies, Jim
1
Davis, Martin, 1928-2023
1
De Nivelle, Hans
1
De Raedt, Luc, 1964-
1
Dean, Mike
1
Dearle, Alan
1
Dearle, Alan, 1959-
1
Deb, Kalyanmoy, 1963-
1
Decker, Stefan (Stefan Josef), 1968-
1
Dehne, F. (Frank), 1960-
1
Dehne, Frank
1
Delcambre, Lois, 1950-
1
Delgrande, James P.
1
Deng, Xiaotie
1
Derrick, John
1
Desharnais, Jules
1
Desmedt, Yvo
1
Devismes, Stéphane
1
Dias, João
1
Dignum, Virginia, 1964-
1
Dingel, Juergen
1
Dinur, Irit
1
Dipanda, Albert
1
Dittrich, Yvonne
1
Dix, Jürgen
1
Dolev, Shlomi
1
Domingue, John
1
Dong, Jin Song
1
Dongarra, Jack J
1
Dony, Christophe
1
Dorffner, Georg
1
Dowek, Gilles
1
Drossopoulou, Sophia
1
Du, Dingzhu, 1948-
1
Duff, Robert A
1
Dunkelman, Orr
1
Durán, Francisco
1
Díaz, Josep, 1950-
1
D’Ambra, Pasqua
1
Echizen, Isao
1
Echtle, Klaus
1
Edelkamp, Stefan, 1969-
1
Eigenmann, Rudolf
1
Eisenbach, Susan
1
Eker, Steven
1
El-Mabrouk, Nadia
1
Elgesem, Dag
1
Elmoataz, Abderrahim
1
Engels, Gregor
1
Erdem, Esra
1
Erlebach, Thomas, 1970-
1
Escolano, Francisco
1
Eymann, Torsten
1
Faber, Wolfgang, 1974-
1
Fabry, Johan
1
Fahrenberg, Uli
1
Fahringer, Thomas, 1965-
1
Falaschi, Moreno
1
Falchi, Fabrizio
1
Falcone, Ylies
1
Fallah Seghrouchni, Amal El
1
Fang, Qizhi
1
Feeney, Laura Marie
1
Fehnker, Ansgar
1
Feitelson, Dror
1
Feitelson, Dror G
1
Felleisen, Matthias
1
Fensel, Dieter
1
Fermé, Eduardo
1
Fernandes, João M
1
Ferragina, Paolo
1
Ferrari, Gianluigi
1
Festa, Paola
1
Fiat, Amos
1
Fiems, Dieter
1
Figueroa, Juan Carlos
1
Filliâtre, Jean-Christophe
1
Filé, Gilberto
1
Fischbach, Kai
1
Fischer, Gerhard
1
Fischer, Klaus, 1958-
více ...
více ...
zavřít
×
Načítá se...