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ě
785
SpringerLink (online služba)
17
Virius, Miroslav, 1953-
13
Pokorný, Jan
13
ProQuest Ebook Central (online služba)
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
Kvoch, Martin, 1961-
7
Peña, Ricardo, 1950-
7
Písek, Slavoj, 1975-
7
Univerzita Karlova. Matematicko-fyzikální fakulta
7
Voronkov, Andrei, 1959-
6
Bernardo, Marco
6
Cavalcanti, Ana
6
Halvorson, Michael, 1963-
6
Herout, Pavel, 1961-
6
Pecinovský, Rudolf, 1954-
6
Reed, Rick, 1948-
6
Vardanega, Tullio
5
Crnkovic, Ivica
5
Dastani, Mehdi
5
Fages, François
5
Jones, C. B. (Cliff B.), 1944-
5
Kordon, Fabrice
5
Margaria, Tiziana
5
Mikula, Pavel
5
Plasmeijer, Rinus
5
Potapov, Igor
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
Domes, Martin
4
Dongarra, Jack, 1950-
4
Flanagan, David
4
Gibbons, Jeremy, 1966-
4
Gosling, James, 1955-
4
Graf, Susanne
4
Grelck, Clemens
4
Havelund, Klaus
4
Holzner, Steven, 1957-
4
Hruboň, J.
4
Koopman, Pieter
4
Leucker, Martin
4
Lutz, Mark
4
Lämmel, Ralf
4
Meseguer, José
4
Meyer, Eric A.
4
Müller, Karel, 1946-2011
4
Noble, James
4
Núñez, Manuel
4
Odersky, Martin, 1958-
4
Olehla, Miroslav,
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
Taft, S. Tucker
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
Winikoff, Michael
4
Zavattaro, Gianluigi
4
České vysoké učení technické v Praze. Strojní fakulta
4
Šaloun, Petr, 1962-
3
Armstrong, Joe
3
Bajgar, Lubomír
3
Barnes, John
3
Barthe, Gilles, 1967-
3
Bensalem, Saddek
3
Berger, Hans, 1949-
3
Bordini, Rafael H
3
Broža, Petr, 1978-
3
Buchalcevová, Alena, 1958-
3
Butterfield, Andrew
3
Cambridge University Press
3
Cejtlin, G. Je
3
Chapman, Barbara, 1954-
3
Charles University (Prague). Faculty of Mathematics and Physics
3
Clack, Chris
3
Cook, Byron
3
Dingel, Juergen
3
Dix, Jürgen
3
Eekelen, Marko van
3
Engels, Gregor
3
Evjen, Bill, 1970-
3
France, Robert B.
3
Giannakopoulou, Dimitra
3
Giese, Holger
3
Gluškov, Viktor Michajlovič, 1923-1982
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
Honzík, Jan M., 1944-
3
Horstmann, Cay S., 1959-
3
Hruška, Tomáš, 1954-
3
Huch, Frank
3
Hynek, Josef, 1965-
3
Hölzl, Matthias
3
Ibarra, Oscar H., 1941-
3
Jhala, Ranjit
3
Jinoch, Josef
3
Johnsen, Einar Broch
3
Johnson, Ralph
3
Joshi, Rajeev
3
Julliand, Jacques
3
Juščenko, Kataryna Logvìnovna, 1919-2001
3
Jézéquel, Jean-Marc
3
Katz, Shmuel
3
Kernighan, Brian W., 1942-
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
Matoušek, David, 1972-
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
Neuburg, Matt, 1954-
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
Plecháč, Vladimír
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
Schildt, Herbert, 1951-
3
Schwartz, Randal L., 1961-
3
Schätz, Bernhard
3
Seidl, Helmut
3
Seipel, Dietmar
3
Sekerinski, Emil, 1963-
3
Sharp, John, 1964-
3
Sokolsky, Oleg
3
Stevens, Perdita, 1966-
3
Stroustrup, Bjarne, 1950-
3
Swan, Tom
3
Südholt, Mario
3
Taentzer, Gabriele
3
Talcott, Carolyn
3
Teixeira, Steve
3
Tyc, Otto, 1941-
3
Ungerer, Theo, 1954-
3
Vasconcelos, Wamberto
3
Visser, Joost
3
Vogel, Josef
3
Voronkov, Andrei
3
Věchet, Vladimír
3
Wehrheim, Heike
3
Wellman, Dan
3
Whittle, Jon, 1972-
3
Wiklicky, Herbert, 1963-
3
Wolff, Burkhart
3
Woodcock, Jim
3
Woodcock, Jim, 1956-
3
Yi, Kwangkeun
3
Zdun, Uwe
3
Ölveczky, Peter Csaba
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
Bishop, J. M. (Judith Mary), 1951-
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
Bílek, Jan, 1940-
2
Cabot, Jordi
2
Calinescu, Radu
2
Cassez, Franck
2
Castro, Elizabeth
2
Cederholm, Dan
2
Cerioli, Maura, 1964-
2
Cerone, Antonio
2
Chan, Patrick
2
Cheng, Betty H. C.
2
Chin, Wei-Ngan
2
Chitil, Olaf
2
Christiansen, Tom
2
Clark, Tony
2
Clarke, E. M., 1945-
2
Clayberg, Eric
2
Cohen, Albert
2
Consel, Charles
2
Coron, Tammy
2
Cortellessa, Vittorio
2
Czarnecki, Krzysztof, 1970-
2
Dang, Hung Van, 1950-
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
Duff, Robert A.
2
Dvořák, Leoš
2
Eigenmann, Rudolf, 1955-
2
Endriss, Ulle
2
Ernst, Erik
2
Escobar, Santiago
2
Fain, Yakov
2
Fallah Seghrouchni, Amal El
2
Fantechi, Alessandro
2
Felleisen, Matthias
2
Fernau, Henning
2
Ferrucci, Filomena
2
Feuerstein, Steven
2
Fiala, Jiří
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
Giese, Holger, 1970-
2
Giorgini, Paolo
2
Gleizes, Marie-Pierre
2
Goerzen, John
2
González Harbour, Michael, 1960-
2
Gopalakrishnan, Ganesh
2
Gordon, Andrew D., 1964-
2
Gorrieri, Roberto, 1962-
2
Gorton, Ian, 1962-
2
Governatori, Guido
2
Gray, Jeff
2
Grieskamp, Wolfgang
2
Gruhn, Volker
2
Gupta, Rajiv
2
Gutknecht, Jürg, 1949-
2
Hammond, Kevin, 1962-
2
Harel, David, 1950-
2
Harms, Daryl D.
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
Horváth, Zoltán, 1962-
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
Jardim Nunes, Nuno
2
Jeannot, Emmanuel
2
Jirků, Petr, 1942-2017
2
Juhová, Kateřina
2
Kadlec, Václav, 1978-
2
Kaklamanis, Christos
2
Katoen, Joost-Pieter, 1964-
2
Kay, Michael
2
Kay, Michael, 1951-
2
Kienzle, Jörg
2
Kindler, Ekkart
2
Klabnik, Steve, 1986-
2
Kleindienst, Jan
2
Klima, Valent
2
Koffman, Elliot B.
2
Kolovos, Dimitris
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
Lacey, Nichola
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
Leroy, Pascal
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
MacDonald, Matthew
2
Margaria-Steffen, Tiziana, 1964-
2
McCarthy, Jay
2
McDonald, Kenneth, 1964-
2
Mellish, Ch. S. (Christopher S.), 1954-
2
Merayo, Mercedes G.
2
Merunka, Vojtěch, 1967-
2
Merz, Stephan
2
Meyer, Bertrand
2
Meyer, Bertrand, 1950-
2
Michaelson, Greg J
2
Mikle, Pavol
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
Mosses, Peter D., 1948-
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
Nichols, Carol, 1983-
2
Nielsen, Brian
2
Nipkow, Tobias, 1958-
2
Nordio, Martin
2
Novák, Tomáš
2
Návrat, Pavol
2
Ober, Ileana
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
Pavlů, Jan
2
Peled, Doron A
2
Petriu, Dorina C
2
Pešat, Pavel, 1963-
2
Pfenning, Frank
2
Pinho, Luís Miguel
2
Pirkl, Josef, 1974-
2
Piterman, Nir
2
Ploedereder, Erhard
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
Ritchie, Dennis M., 1941-2011
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
Russo, Marco, 1967-
2
Rybalchenko, Andrey
2
Salaün, Gwen
2
Samoylov, Nick
2
Sarukkai, Sundar
2
Sassone, Vladimiro
2
Satrapa, Pavel, 1964-
2
Schaefer, Ina
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
Shkaravska, Olha
2
Simao, Adenilso
2
Sirjani, Marjan
2
Slavík, Pavel, 1946-
2
Sotnikov, Dmitri
2
Soukenka, Jiří
2
Stafford, Judith A
2
Stafford, Judith A.
2
Staníček, Petr, 1968-
2
Starý, Jaroslav
2
Steffen, Bernhard, 1958-
2
Stenström, Per, 1957-
2
Svoboda, Luděk, 1968-
2
Svoboda, Tomáš, 1972 duben 9.-
2
Szpuszta, Mario
2
Taha, Walid, 1972-
2
Tate, Bruce, 1965-
2
Tillmann, Nikolai
2
Tolksdorf, Robert, 1965-
2
Torre, Leon van der
2
Treharne, Helen
2
Troubitsyna, Elena
2
Träff, Jesper Larsson
2
Tseng, Chau-Wen
2
Tsoukalos, Mihalis
více ...
více ...
zavřít
×
Načítá se...