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ě
763
SpringerLink (online služba)
15
Virius, Miroslav, 1953-
11
Pokorný, Jan
9
Boer, Frank S. de
8
Zsók, Viktória
8
České vysoké učení technické v Praze. Elektrotechnická fakulta
8
Štěpánek, Petr
7
Bonsangue, Marcello M
7
Horváth, Zoltán
7
Peña, Ricardo, 1950-
7
Univerzita Karlova. Matematicko-fyzikální fakulta
7
Voronkov, Andrei, 1959-
6
Bernardo, Marco
6
Cavalcanti, Ana
6
Kvoch, Martin, 1961-
6
Reed, Rick, 1948-
6
Vardanega, Tullio
5
Crnkovic, Ivica
5
Fages, François
5
Flanagan, David
5
Jones, C. B. (Cliff B.), 1944-
5
Kordon, Fabrice
5
Margaria, Tiziana
5
Plasmeijer, Rinus
5
Potapov, Igor
5
Písek, Slavoj, 1975-
5
Rashid, Awais
5
Steffen, Bernhard
5
Szyperski, Clemens
5
Univerzita Karlova. Katedra softwarového inženýrství
5
Wirsing, Martin
5
České vysoké učení technické v Praze. Jaderná a fyzikálně inženýrská fakulta
4
Aksit, Mehmet
4
Ambler, Scott W., 1966-
4
Ashenden, Peter J.
4
Baldoni, Matteo
4
Barthe, Gilles
4
Beckert, Bernhard
4
Bernardo, Marco, 1970-
4
Butler, Michael
4
Cantu, Marco
4
Chiba, Shigeru
4
Ciancarini, Paolo, 1959-
4
Cousot, Radhia
4
Damiani, Ferruccio
4
De Nicola, Rocco
4
Dongarra, Jack, 1950-
4
Gibbons, Jeremy, 1966-
4
Giese, Holger
4
Gosling, James, 1955-
4
Graf, Susanne
4
Grelck, Clemens
4
Halvorson, Michael, 1963-
4
Havelund, Klaus
4
Herout, Pavel, 1961-
4
Holzner, Steven, 1957-
4
Koopman, Pieter
4
Leucker, Martin
4
Lämmel, Ralf
4
Meseguer, José
4
Noble, James
4
Núñez, Manuel
4
Paige, Richard F.
4
Plášil, František, 1943-
4
Rumpe, Bernhard
4
Selic, Bran
4
Sestoft, Peter
4
Son, Tran Cao
4
Swierstra, S. Doaitse
4
Tanter, Éric
4
Torroni, Paolo
4
Trinder, Phil
4
Vitek, Jan, 1966-
4
Vogel, Jiří
4
Vysoká škola ekonomická v Praze. Fakulta informatiky a statistiky
4
Zavattaro, Gianluigi
4
České vysoké učení technické v Praze. Strojní fakulta
3
Bajgar, Lubomír
3
Barnes, John
3
Barthe, Gilles, 1967-
3
Bensalem, Saddek
3
Berger, Hans, 1949-
3
Bishop, J. M. (Judith Mary), 1951-
3
Broža, Petr, 1978-
3
Buchalcevová, Alena, 1958-
3
Butterfield, Andrew
3
Chapman, Barbara, 1954-
3
Charles University (Prague). Faculty of Mathematics and Physics
3
Clack, Chris
3
Cook, Byron
3
Dingel, Juergen
3
Eekelen, Marko van
3
Engels, Gregor
3
Evjen, Bill, 1970-
3
France, Robert B.
3
Giannakopoulou, Dimitra
3
Gogolla, Martin, 1954-
3
Gotzhein, Reinhard
3
Gschwind, Thomas
3
Hage, Jurriaan
3
Hanselman, Scott, 1974-
3
Hanus, Michael, 1959-
3
Haugen, Øystein
3
Hermenegildo, Manuel de, 1959-
3
Hinze, Ralf
3
Huch, Frank
3
Hynek, Josef, 1965-
3
Hölzl, Matthias
3
Ibarra, Oscar H., 1941-
3
Jhala, Ranjit
3
Johnsen, Einar Broch
3
Johnson, Ralph
3
Joshi, Rajeev
3
Julliand, Jacques
3
Jézéquel, Jean-Marc
3
Katz, Shmuel
3
Kobayashi, Naoki, 1968-
3
Kolařík, Vladimír
3
Kolouch, Jaromír, 1945-
3
Kühne, Thomas
3
Leavens, Gary T
3
Legay, Axel
3
Liu, Shaoying
3
Liu, Zhiming, 1972-
3
Lopes, Antónia
3
Löwe, Benedikt
3
Majumdar, Rupak
3
Martí-Oliet, Narciso
3
Merunka, Vojtěch, 1967-
3
Mezini, Mira, 1966-
3
Midkiff, Samuel P. (Samuel Pratt), 1954-
3
Molnár, Ľudovít, 1940-
3
Moreira, Ana
3
Morkes, David, 1972-
3
Müller, Matthias S.
3
Müller-Olm, Markus
3
Nierstrasz, Oscar Marius, 1957-
3
Návrat, Pavol, 1952-
3
Omicini, Andrea, 1965-
3
Ong, Luke
3
Pacheco, Xavier
3
Pardo, Alberto
3
Peled, Doron A., 1962-
3
Petroutsos, Evangelos
3
Petzold, Charles, 1953-
3
Plasil, Frantisek
3
Rader, Devin, 1976-
3
Reed, Jeanne, 1948-
3
Reed, Rick
3
Reussner, Ralf
3
Richta, Karel, 1950-
3
Riemsdijk, M. Birna van
3
Roever, Willem-Paul de
3
Roman, Steven
3
Romanovsky, Alexander
3
Rossi, Francesca
3
Roşu, Grigore
3
Sagiv, Mooly
3
Saraiva, João
3
Sardina, Sebastian
3
Schaefer, Ina
3
Schildt, Herbert, 1951-
3
Schätz, Bernhard
3
Seidl, Helmut
3
Seipel, Dietmar
3
Sekerinski, Emil, 1963-
3
Sokolsky, Oleg
3
Stroustrup, Bjarne, 1950-
3
Südholt, Mario
3
Taentzer, Gabriele
3
Taft, S. Tucker
3
Talcott, Carolyn
3
Teixeira, Steve
3
Tyc, Otto, 1941-
3
Ungerer, Theo, 1954-
3
Vasconcelos, Wamberto
3
Visser, Joost
3
Voronkov, Andrei
3
Wehrheim, Heike
3
Wellman, Dan
3
Whittle, Jon, 1972-
3
Wiklicky, Herbert, 1963-
3
Winikoff, Michael
3
Wolff, Burkhart
3
Woodcock, Jim
3
Woodcock, Jim, 1956-
3
Yi, Kwangkeun
3
Zdun, Uwe
3
Ölveczky, Peter Csaba
3
Šaloun, Petr, 1962-
3
Šmejkal, Ladislav, 1945-
2
Abdulla, Parosh Aziz
2
Aitken, Peter G., 1947-
2
Albahari, Ben
2
Aldini, Alessandro
2
Alpuente, María
2
Amadio, Roberto M.
2
Arbab, F. (Farhad)
2
Arenas, Marcelo
2
Assmann, Uwe, 1963-
2
Avgeriou, Paris
2
Ayguadé, Eduard
2
Baier, Christel
2
Banerjee, Utpal, 1942-
2
Banâtre, Jean-Pierre
2
Barbosa, Luís Soares
2
Bartenstein, Oskar
2
Beran, Martin
2
Bečka, Jan, 1941-
2
Bierman, Gavin
2
Bin, Eyal
2
Book, Matthias
2
Boone, Barry
2
Bravetti, Mario, 1971-
2
Bressan, Stéphane, 1965-
2
Bruel, Jean-Michel
2
Bruni, Roberto
2
Butler, Michael, 1967-
2
Butterfield, A. (Andrew)
2
Cabot, Jordi
2
Calinescu, Radu
2
Cassez, Franck
2
Castagna, Giuseppe
2
Cerioli, Maura, 1964-
2
Cerone, Antonio
2
Chan, Patrick
2
Cheng, Betty H. C.
2
Chin, Wei-Ngan
2
Chitil, Olaf
2
Clark, Tony
2
Clarke, E. M., 1945-
2
Clayberg, Eric
2
Cohen, Albert
2
Consel, Charles
2
Cortellessa, Vittorio
2
Craig, John Clark, 1950-
2
Czarnecki, Krzysztof, 1970-
2
Dang, Hung Van, 1950-
2
Daněček, Jiří, 1954-
2
Davie, A. J. T. (Antony J. T.), 1939-
2
Davis, Stephen R., 1956-
2
Di Martino, Beniamino
2
Dongarra, Jack
2
Dony, Christophe
2
Drayton, Peter
2
Drbal, Pavel, 1942-
2
Drossopoulou, Sophia
2
Duan, Zhenhua
2
Dvořák, Leoš
2
Eigenmann, Rudolf, 1955-
2
Endriss, Ulle
2
Ernst, Erik
2
Escobar, Santiago
2
Fantechi, Alessandro
2
Felleisen, Matthias
2
Fernau, Henning
2
Ferrucci, Filomena
2
Feuerstein, Steven
2
Fiala, Přemek
2
Finkbeiner, Bernd
2
Flatt, Matthew
2
France, Robert
2
Fraser, Gordon
2
Frič, Pavol
2
Gardner, Philippa
2
Garrigue, Jacques
2
Gaster, Benedict
2
Geske, Ulrich
2
Giorgini, Paolo
2
Gleizes, Marie-Pierre
2
González Harbour, Michael, 1960-
2
Gopalakrishnan, Ganesh
2
Gordon, Andrew D., 1964-
2
Gorrieri, Roberto, 1962-
2
Gorton, Ian, 1962-
2
Gray, Jeff
2
Grieskamp, Wolfgang
2
Gruhn, Volker
2
Gupta, Rajiv
2
Hammond, Kevin, 1962-
2
Harold, Elliotte Rusty
2
Hartel, Pieter H. (Pieter Hendrik), 1953-
2
Havelund, Klaus, 1955-
2
Heineman, George T
2
Heineman, George T.
2
Hellriegel, Zdeněk
2
Henzinger, T. A., 1962-
2
Hermenegildo, Manuel V
2
Hloušek, Pavel, 1976-
2
Hnich, Brahim
2
Hofmeister, Christine
2
Honzík, Jan M., 1944-
2
Horstmann, Cay S., 1959-
2
Horváth, Zoltán, 1962-
2
Hruška, Tomáš, 1954-
2
Hu, Zhenjiang
2
Huisman, Marieke
2
Hyde, Randall, 1956-
2
Hála, Tomáš, 1964-
2
Inverardi, Paola
2
Issarny, Valérie
2
Ito, Takayasu, 1940-
2
Jacobson, Reed, 1954-
2
Jardim Nunes, Nuno
2
Jeannot, Emmanuel
2
Kaklamanis, Christos
2
Katoen, Joost-Pieter, 1964-
2
Kienzle, Jörg
2
Kindler, Ekkart
2
Kleindienst, Jan
2
Klima, Valent
2
Kolovos, Dimitris
2
Kosek, Jiří, 1975-
2
Kouchnarenko, Olga
2
Kračmar, Stanislav, 1955-
2
Kroening, Daniel
2
Kuchen, Herbert, 1958-
2
Kudenko, Daniel
2
Kučera, Antonín, 1971-
2
König, Barbara
2
Lanet, Jean-Louis
2
Lara, Juan de
2
Lee, Insup
2
Lee, Rosanna
2
Leite, João, 1970-
2
Lemos, Rogério de
2
Lemos, Rogério de, 1961-
2
Leue, Stefan, 1962-
2
Leuschel, Michael
2
Li, Zhiyuan, 1954-
2
Lippman, Stanley B.
2
Liu, Zhiming, 1961-
2
Logozzo, Francesco
2
Lomax, Paul
2
Loney, Kevin
2
Lucia, Andrea De
2
Lumpe, Markus
2
Lutz, Mark
2
MacDonald, Matthew
2
Margaria-Steffen, Tiziana, 1964-
2
Matoušek, David, 1972-
2
McCarthy, Jay
2
Mellish, Ch. S. (Christopher S.), 1954-
2
Merayo, Mercedes G.
2
Merz, Stephan
2
Meyer, Bertrand
2
Meyer, Bertrand, 1950-
2
Michaelson, Greg J
2
Mikle, Pavol
2
Mikula, Pavel
2
Min, Sang Lyul
2
Mirandola, Raffaela
2
Misra, Jayadev
2
Mohnen, Markus
2
Mohr, Bernd
2
Montanari, Ugo
2
Moo, Barbara E.
2
Morazán, Marco T
2
Méry, Dominique
2
Mössenböck, Hanspeter, 1959-
2
Müller, Peter
2
Nadrchal, Štěpán P., 1972-
2
Nagel, Christian, 1965-
2
Namyst, Raymond
2
Naumann, David
2
Neward, Ted
2
Nielsen, Brian
2
Nipkow, Tobias, 1958-
2
Nordio, Martin
2
Návrat, Pavol
2
Ober, Ileana
2
Odersky, Martin, 1958-
2
Ohori, Atsushi, 1957-
2
Omicini, Andrea
2
Orejas, Fernando
2
Ossher, Harold
2
Ouaknine, Joël
2
Page, Rex, 1944-
2
Palsberg, Jens
2
Paulin-Mohring, Christine, 1962-
2
Peled, Doron A
2
Petriu, Dorina C
2
Pešat, Pavel, 1963-
2
Pfenning, Frank
2
Pinho, Luís Miguel
2
Piterman, Nir
2
Plödereder, Erhard
2
Podelski, Andreas
2
Pol, Jaco van de, 1969-
2
Pontelli, Enrico
2
Priami, Corrado
2
Procházka, Marek
2
Průša, Daniel
2
Qadeer, Shaz
2
Qin, Shengchao
2
Raida, Zbyněk, 1967-
2
Raskin, Jean-François
2
Roever, W.-P. de, 1943-
2
Roman, Jean
2
Romanovsky, Alexander, 1954-
2
Ronchi Della Rocca, Simona, 1946-
2
Rossi, Francesca, 1962-
2
Rouquette, Nicolas
2
Rubel, Dan
2
Rubin, Julia
2
Rybalchenko, Andrey
2
Salaün, Gwen
2
Sarukkai, Sundar
2
Sassone, Vladimiro
2
Schmidt, David
2
Schmidt, David A., 1953-
2
Schmidt, Heinz Wilhelm, 1952-
2
Scholz, Sven-Bodo
2
Schrijvers, Tom
2
Schulte, Christian
2
Schulte, Wolfram
2
Schwartzbach, Michael I., 1961-
2
Schürr, Andy
2
Shamis, Pavel
2
Shao, Zhong
2
Shao, Zhong, 1968-
2
Sharp, John, 1964-
2
Shkaravska, Olha
2
Simao, Adenilso
2
Slavík, Pavel, 1946-
2
Stafford, Judith A
2
Stafford, Judith A.
2
Staníček, Petr, 1968-
2
Steffen, Bernhard, 1958-
2
Stenström, Per, 1957-
2
Svoboda, Luděk, 1968-
2
Svoboda, Tomáš, 1972 duben 9.-
2
Swan, Tom
2
Szpuszta, Mario
2
Tillmann, Nikolai
2
Tolksdorf, Robert, 1965-
2
Treharne, Helen
2
Troubitsyna, Elena
2
Träff, Jesper Larsson
2
Tseng, Chau-Wen
2
Ulrich, Andreas
2
Univerzita Karlova (Praha). Matematicko-fyzikální fakulta. Katedra teoretické informatiky
2
Ur, Shmuel
2
Uustalu, Tarmo
2
Vallecillo, Antonio, 1962-
2
Valmari, Antti
2
Van Roy, Peter
2
Varró, Dániel
2
Veanes, Margus
2
Vidal, Germán
2
Virbickajte, I. B.
2
Virbitskaite, Irina
2
Vospěl, Zdeněk, 1940-
2
Vysoké učení technické (Brno). Fakulta elektrotechniky a informatiky. Ústav mikroelektroniky FEI VUT
2
Váňa, Pavel
2
Wallnau, Kurt
2
Watson, Karli, 1975-
2
Watson, Mark, 1951-
2
Weise, Carsten
2
Wempen, Faithe
2
Weyns, Danny
2
Williams, Clay
2
Wohlstadter, Eric
2
Wolf, Armin
2
Wooldridge, Michael J., 1966-
2
Wyk, Eric Van
2
Yahav, Eran
2
Yelling, Frank
2
Yu, Sheng
2
Zaïdi, Fatiha
2
Zeller, Andreas, 1965-
2
Ziv, Avi
2
Černý, Jaroslav, 1950-2007
2
Češka, Milan, 1946-
2
Štrupl, David
2
Žára, Jiří, 1958-
1
Aalst, Wil van der, 1966-
1
Abadi, Martín
1
Abbey, Michael
1
Abbott, Paul, 1960-
1
Abdallah, Ali E
1
Abdallah, Ali E., 1957-
1
Abdennadher, Nabil
1
Abelló, Alberto
1
Abiteboul, Serge, 1953-
1
Abrahamsson, Pekka
1
Abrahão, Silvia
1
Abramson, Ian
1
Abrash, Michael
1
Aceto, Luca
1
Aceto, Luca, 1961-
1
Achten, Peter
1
Adi, Asaf
1
Adve, Vikram
1
Agha, Gul
1
Agrawal, Dharma P.
1
Aho, Alfred V.
1
Aichernig, Bernhard K
1
Ajmone Marsan, Marco, 1951-
1
Akehurst, David H.
více ...
více ...
zavřít
×
Načítá se...