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
90
SpringerLink (online služba)
2
Baier, Christel
2
Henzinger, T. A., 1962-
2
Liu, Zhiming, 1972-
2
Potapov, Igor
2
Vardanega, Tullio
2
Voronkov, Andrei, 1959-
2
Ölveczky, Peter Csaba
1
Abdulla, Parosh Aziz
1
Amadio, Roberto M.
1
Arbab, F. (Farhad)
1
Audebaud, Philippe
1
Baldan, Paolo
1
Barbosa, Luís Soares
1
Bensalem, Saddek
1
Berardi, Stefano
1
Berghammer, Rudolf, 1952-
1
Bernardo, Marco, 1970-
1
Birkedal, Lars
1
Blume, Matthias
1
Boella, Guido
1
Bosch, Peter
1
Bramer, M. A. (Max A.), 1948-
1
Bravetti, Mario, 1971-
1
Chatterjee, Krishnendu
1
Ciobanu, Gabriel
1
Cohen, Ernie
1
Czarnecki, Krzysztof, 1970-
1
D'Souza, Deepak
1
Damiani, Ferruccio
1
Davis, Martin, 1928-2023
1
Dawar, Anuj, 1966-
1
De Nicola, Rocco
1
Drossopoulou, Sophia
1
Duan, Zhenhua
1
Duchier, Denys
1
Duparc, Jacques, 1962-
1
Ebert, Christian
1
Eklund, Peter W., 1962-
1
Fehnker, Ansgar
1
Feng, Xinyu
1
Fermüller, Christian G., 1963-
1
Fitzgerald, John, 1965-
1
Fähndrich, Manuel
1
Gabbrielli, Maurizio
1
Gabelaia, David
1
Gelbukh, Alexander, 1962-
1
Gheyi, Rohit
1
Gibbons, Jeremy, 1966-
1
Giese, Holger, 1970-
1
Giesl, Jürgen
1
Gnesi, Stefania, 1954-
1
Gogolla, Martin, 1954-
1
Gonthier, Georges
1
Gorla, Daniele
1
Greco, Sergio, 1955-
1
Gupta, Gopal, 1963-
1
Haemmerlé, Ollivier
1
Hagiya, Masami, 1957-
1
Hanus, Michael, 1959-
1
Havelund, Klaus, 1955-
1
Hawblitzel, Chris
1
Hayes, Ian, 1956-
1
Hedin, Görel
1
Hendren, Laurie
1
Hennicker, Rolf
1
Hermanns, Holger, 1967-
1
Hierons, Robert M.
1
Hinze, Ralf
1
Holvoet, Tom
1
Holzmann, Gerald J., 1951-
1
Honsell, Furio
1
Hölldobler, Steffen
1
Igarashi, Atsushi
1
Iida, Shusaku
1
Issarny, Valérie
1
Jaoua, Ali Mohamed
1
Jhala, Ranjit
1
Johnsen, Einar Broch
1
Johnson, Michael
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Richard
1
Joshi, Rajeev
1
Jäger, Gerhard
1
Kobayashi, Naoki, 1968-
1
Krishnamurthi, Shriram
1
Kučera, Antonín, 1971-
1
Lal, Akash
1
Lang, Jérôme
1
Larsen, K. G. (Kim G.), 1957-
1
Legay, Axel
1
Leite, João, 1970-
1
Liu, Shaoying
1
Logozzo, Francesco
1
Loidl, Hans-Wolfgang+
1
Lukasiewicz, Thomas
1
Lumpe, Markus
1
Lutz, Carsten, 1971-
1
Manna, Zohar, 1939-2018
1
Margaria-Steffen, Tiziana, 1964-
1
Mariño, Julio
1
McIver, Annabelle, 1964-
1
Merayo, Mercedes G.
1
Meseguer, José
1
Meyer, Bertrand, 1950-
1
Michaelis, Jens
1
Miculan, Marino
1
Milano, Michela, 1970-
1
Miller, Dale (Dale A.), 1956-
1
Morales, Eduardo F.
1
Mycroft, Alan
1
Méry, Dominique
1
Möller, Bernhard, 1953-
1
Naumann, David
1
Noble, James
1
Nordio, Martin
1
Norrish, Michael
1
Odersky, Martin, 1958-
1
Ogata, Kazuhiro
1
Oliveira, José Nuno
1
Park, Sungwoo
1
Parmentier, Yannick
1
Paulin-Mohring, Christine, 1962-
1
Pavlovic, Dusko
1
Peled, Doron A., 1962-
1
Petre, Luigia
1
Peña, Ricardo, 1950-
1
Pitts, A. M. (Andrew M.), 1956-
1
Pol, Jaco van de, 1969-
1
Qin, Shengchao
1
Queiroz, Ruy J. G. B. de
1
Ravn, Anders P., 1947-2019
1
Real, Jorge
1
Rensink, Arend, 1964-
1
Ronchi Della Rocca, Simona, 1946-
1
Roşu, Grigore, 1971-
1
Rust, Heinrich
1
Rybalchenko, Andrey
1
Sadri, Fariba
1
Sagiv, Mooly
1
Sassone, Vladimiro
1
Satoh, Ken, 1959-
1
Scagnetto, Ivan
1
Schmidt, Renate A.
1
Schrijvers, Tom
1
Sestoft, Peter
1
Shao, Zhong, 1968-
1
Sommaruga, Giovanni, 1956-
1
Steffen, Bernhard, 1958-
1
Tarlecki, Andrzej, 1956-
1
Thiemann, Peter
1
Tinelli, Cesare
1
Torre, Leendert Willem Nicolaas van der, 1968-
1
Torroni, Paolo
1
Urzyczyn, Pawel
1
Vidal, Germán
1
Viroli, Mirko
1
Voigtländer, Janis
1
Wadler, Philip, 1956-
1
Wansing, Heinrich
1
Weber, Michael
1
Wolff, Burkhart, 1962-
1
Woodcock, Jim, 1956-
1
Yang, Hongseok
1
Zeller, Andreas, 1965-
1
de la Puente, Juan Antonio
1
de’Liguoro, Ugo
1
Ågotnes, Thomas
close
×
Loading...