Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Author
Sort
Result Count
Alphabetical
1
Abelló, Alberto
1
Abrahão, Silvia
4
Aksit, Mehmet
1
Atkinson, Colin
1
Ayala, Jose L.
1
Baker, Paul
1
Balun, Vladimír
1
Banach, Richard
1
Barais, Olivier
1
Barbosa, Luís Soares
1
Bellatreche, Ladjel
1
Benatallah, Boualem, 1966-
1
Berardi, Stefano
1
Blanchette, Jasmin Christian
1
Botterweck, Goetz
1
Bove, Ana
1
Brand, Mark van den
1
Breu, Ruth
1
Briand, Lionel
1
Brucker, Achim D
2
Bruel, Jean-Michel
1
Clarke, Peter
1
Combemale, Benoît
1
Czarnecki, Krzysztof
1
Czarnecki, Krzysztof, 1970-
1
Černý, David
1
České vysoké učení technické v Praze. Elektrotechnická fakulta
1
Dabney, James
1
Damiani, Ferruccio
1
de’Liguoro, Ugo
2
Dingel, Juergen
1
Dobeš, Josef, 1958-
1
Douša, Jiří, 1942-
1
Engels, Gregor
1
Erwig, Martin, 1963-
1
Fehr, Hans, 1962-
1
France, Robert
1
France, Robert B.
1
Gašević, Dragan
1
Gašević, Dragan, 1976-
1
Ghosh, Sudipto
2
Giese, Holger
1
Giese, Holger, 1970-
2
Gray, Jeff
1
Grundy, John
1
Harel, David, 1950-
1
Harman, Thomas L., 1942-
1
Haupt, Michael
1
Havelund, Klaus, 1955-
1
Hedin, Görel
1
Holzmann, Gerald J., 1951-
1
Chaudron, Michel R. V.
1
Cheng, Betty H. C.
1
Chiba, Shigeru
1
Insfran, Emilio
1
Inverardi, Paola
1
Jardim Nunes, Nuno
1
Jézéquel, Jean-Marc
1
Joosen, Wouter
1
Joshi, Rajeev
1
Julliand, Jacques
2
Katz, Shmuel
1
Kazmeier, Jürgen
1
Kienzle, Jörg
1
Kindermann, Fabian, 1984-
1
Kosmatov, Nikolai
1
Kühne, Thomas
1
Lämmel, Ralf
1
Lau, K.-K. (Kung-Kiu), 1953-
1
Leavens, Gary T
1
Lemos, Rogério de
1
Lemos, Rogério de, 1961-
1
Maciel, Rita Suzana P
1
Magee, Jeff
1
Machado, Ricardo J
1
Merayo, Mercedes G
1
Mezini, Mira, 1966-
2
Moreira, Ana
1
Müller, Hausi A
1
Nierstrasz, Oscar Marius, 1957-
1
Núñez, Manuel
1
Ober, Ileana
1
Opdyke, Bill
2
Ossher, Harold
1
Ostermann, Klaus
2
Paige, Richard F.
1
Pardo, Alberto
1
Pearce, David J.
1
Pinto, Jorge Sousa
1
Pol, Jaco van de, 1969-
1
Ramos Salavert, Isidro, 1943-
5
Rashid, Awais
1
Reggio, Gianna
1
Rodrigues da Silva, Alberto
1
Rubin, Julia
1
Samuelis, Ladislav
1
Seidl, Martina
1
Selic, Bran
1
Shang, Delong
1
Shaw, Mary
1
Schaefer, Ina
1
Schätz, Bernhard
1
Schmidt, Douglas C
1
Schulte, Wolfram
1
Schwanninger, Christine
1
Solberg, Arnor, 1967-
47
SpringerLink (online služba)
1
Stamelos, Ioannis
1
Tillmann, Nikolai
1
Toval Alvarez, Ambrosio
1
Uhl, Axel
1
Vallecillo, Antonio, 1962-
1
Veanes, Margus
1
Viganò, Luca
1
Vinju, Jurgen J.
1
Völter, Markus
1
Weber, Michael
1
Weil, Frank
1
Whittle, Jon, 1972-
1
Williams, Clay
1
Wohlstadter, Eric
2
Wyk, Eric Van
1
Yahav, Eran
1
Yakovlev, Alex
close
×
Loading...