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ě
64
SpringerLink (online služba)
3
Fages, François
2
Abdulla, Parosh Aziz
2
Baier, Christel
2
Bin, Eyal
2
Chapman, Barbara, 1954-
2
Hnich, Brahim
2
Müller, Matthias S.
2
Potapov, Igor
2
Rossi, Francesca, 1962-
2
Ur, Shmuel
1
Abadi, Martín
1
Aceto, Luca, 1961-
1
Amaral, José Nelson
1
Anna Ingólfsdóttir, 1952-
1
Bartocci, Ezio
1
Bellahsene, Zohra, 1954-
1
Bensalem, Saddek
1
Berghammer, Rudolf, 1952-
1
Bouajjani, Ahmed
1
Brennan, Rob
1
Bressan, Stéphane, 1965-
1
Carlsson, Mats
1
Ceri, Stefano, 1955-
1
Chen, Yunji, 1983-
1
Chin, Wei-Ngan
1
Clarke, E. M., 1945-
1
Dawar, Anuj, 1966-
1
De Alfaro, Luca, 1966-
1
De Raedt, Luc, 1964-
1
DeRose, Luiz
1
Dediu, Adrian Horia, 1961-
1
Di Martino, Beniamino
1
Dong, Jin Song
1
Dongarra, Jack, 1950-
1
Drossopoulou, Sophia
1
Dubois, Michel
1
Ebert, Christian
1
Eigenmann, Rudolf, 1955-
1
Eklund, Peter W., 1962-
1
Eliassen, Frank
1
Fernau, Henning
1
Filliâtre, Jean-Christophe
1
Finkel, Alain
1
Fleck, Joel
1
Gelbukh, Alexander, 1962-
1
Gibbons, Jeremy, 1966-
1
Gorentla Venkata, Manjunath
1
Gorton, Ian, 1962-
1
Greco, Sergio, 1955-
1
Guo, Minyi
1
Gupta, Rajiv
1
Haemmerlé, Ollivier
1
Hanus, Michael, 1959-
1
Havelund, Klaus, 1955-
1
Hermanns, Holger, 1967-
1
Hliněný, Petr, 1971-
1
Hofmeister, Christine
1
Holvoet, Tom
1
Honsell, Furio
1
Ienne, Paolo
1
Imam, Neena
1
Indulska, Jadwiga
1
Issarny, Valérie
1
Ives, Zachary G., 1974-
1
Jaoua, Ali Mohamed
1
Ji, Qing
1
Johnsen, Einar Broch
1
Jäger, Gerhard
1
Kaklamanis, Christos
1
Katevenis, Manolis
1
Koopman, Pieter
1
Kučera, Antonín, 1971-
1
Langmaack, Hans, 1934-
1
Le Goues, Claire
1
Lee, David
1
Legay, Axel
1
Leino, K. Rustan M.
1
Leroux, Jérôme
1
Li, Zhiyuan, 1954-
1
Link, Sebastian
1
Liu, Zhiming, 1972-
1
Lopes, Antónia
1
Lopez, M. Graham
1
Lukasiewicz, Thomas
1
Majumdar, Rupak
1
Martín Vide, Carlos, 1955-
1
Meer, Sven van der
1
Mey, Dieter an
1
Michaelis, Jens
1
Miculan, Marino
1
Midkiff, Samuel P. (Samuel Pratt), 1954-
1
Milano, Michela, 1970-
1
Mirandola, Raffaela
1
Mohr, Bernd
1
Montresor, Alberto
1
Morales, Eduardo F.
1
Mycroft, Alan
1
Möller, Bernhard, 1953-
1
Nielson, Flemming, 1955-
1
Nogueira, Pablo
1
Oddi, Angelo
1
Olivier, Stephen L.
1
Ortmeier, Frank
1
Ouaknine, Joël
1
Paulin-Mohring, Christine, 1962-
1
Petre, Luigia
1
Piterman, Nir
1
Plasmeijer, Rinus
1
Pnueli, A. (Amir), 1941-
1
Poetzsch-Heffter, Arnd
1
Prade, Henri, 1953-
1
Pustulka-Hunt, Ela
1
Qin, Shengchao
1
Qiu, Zongyan
1
Queiroz, Ruy J. G. B. de
1
Rauzy, Antoine
1
Ravn, Anders P., 1947-2019
1
Raymond, Kerry, 1960-
1
Real, Jorge
1
Reble, Pablo
1
Roever, W.-P. de, 1943-
1
Rossi, Francesca
1
Rys, Michael
1
Sadri, Fariba
1
Sarukkai, Sundar
1
Sassone, Vladimiro
1
Satoh, Ken, 1959-
1
Scagnetto, Ivan
1
Schantz, Richard E.
1
Sen, Sandeep
1
Shamis, Pavel
1
Smolka, Scott A.
1
Soliman, Sylvain
1
Stenström, Per, 1957-
1
Supinski, Bronis R. de
1
Swierstra, Doaitse
1
Tang, Feilong
1
Terboven, Christian
1
Tinelli, Cesare
1
Ungerer, Theo, 1954-
1
Unland, Rainer
1
Urzyczyn, Pawel
1
Vaandrager, Frits W.
1
Vardanega, Tullio
1
Virbickajte, I. B.
1
Viroli, Mirko
1
Voronkov, Andrei, 1959-
1
Walukiewicz, Igor, 1968-
1
Werner, Benjamin
1
Wolf, Felix
1
Wolfsthal, Yaron
1
Yang, Laurence Tianruo
1
Yoo, Shin
1
Zeller, Andreas, 1965-
1
Zhu, Huibiao
1
Zima, Hans, 1941-
1
Ziv, Avi
1
de Supinski, Bronis R.
1
Ábrahám, Erika
zavřít
×
Načítá se...