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ě
120
SpringerLink (online služba)
4
Fages, François
3
Potapov, Igor
2
Abdulla, Parosh Aziz
2
Baier, Christel
2
Bin, Eyal
2
Chapman, Barbara, 1954-
2
Eekelen, Marko van
2
Löwe, Benedikt
2
Müller, Matthias S.
2
Peña, Ricardo, 1950-
2
Rossi, Francesca
2
Rossi, Francesca, 1962-
2
Sarukkai, Sundar
2
Shamis, Pavel
2
Shkaravska, Olha
2
Ur, Shmuel
1
Abadi, Martín
1
Amaral, José Nelson
1
Aoki, Toshiaki
1
Archibald, Margaret
1
Armando, Alessandro
1
Arun-Kumar, S
1
Azevedo, Francisco de Moura e Castro Ascensão de, 1969-
1
Barahona, Pedro, 1954-
1
Barringer, Howard
1
Barros, Márcio
1
Barthe, Gilles
1
Bartocci, Ezio
1
Bellahsene, Zohra, 1954-
1
Bensalem, Saddek
1
Berghammer, Rudolf, 1952-
1
Blesa, María J
1
Blum, Christian
1
Bonakdarpour, Borzoo
1
Bouajjani, Ahmed
1
Bramer, M. A. (Max A.), 1948-
1
Brattka, Vasco
1
Brennan, Rob
1
Bressan, Stéphane, 1965-
1
Brodman, James
1
Butler, Michael
1
Castagna, Giuseppe
1
Ceri, Stefano, 1955-
1
Chapman, Barbara M
1
Charatonik, Witold
1
Chen, Yunji, 1983-
1
Chin, Wei-Ngan
1
Clarke, E. M., 1945-
1
Coecke, Bob, 1968-
1
Cohen, Albert
1
Cohen, David
1
Conchon, Sylvain
1
Dal Lago, Ugo
1
Dau, Frithjof
1
Dawar, Anuj, 1966-
1
De Alfaro, Luca, 1966-
1
De Raedt, Luc, 1964-
1
DeRose, Luiz
1
Dediu, Adrian Horia, 1961-
1
Delzanno, Giorgio
1
Derrick, John
1
Di Martino, Beniamino
1
Dong, Jin Song
1
Dongarra, Jack, 1950-
1
Drossopoulou, Sophia
1
Dubois, Michel
1
Dutra, Inês
1
Ebert, Christian
1
Eigenmann, Rudolf, 1955-
1
Eklund, Peter W., 1962-
1
Eliassen, Frank
1
Fahrenberg, Uli
1
Falcone, Ylies
1
Faltings, Boi V
1
Fernau, Henning
1
Ferreira, Fernando
1
Fiala, Jiří
1
Filliâtre, Jean-Christophe
1
Finkbeiner, Bernd
1
Finkel, Alain
1
Fleck, Joel
1
Frühwirth, Thom, 1962-
1
Gao, Yuan
1
Garg, Naveen
1
Gelbukh, Alexander, 1962-
1
Gibbons, Jeremy, 1966-
1
Gnesi, Stefania
1
Goranko, Valentin
1
Gorentla Venkata, Manjunath
1
Gorton, Ian, 1962-
1
Greco, Sergio, 1955-
1
Guo, Minyi
1
Gupta, Rajiv
1
Gębala, Maciej
1
Haemmerlé, Ollivier
1
Hanus, Michael, 1959-
1
Havelund, Klaus
1
Havelund, Klaus, 1955-
1
Hermanns, Holger, 1967-
1
Hermenegildo, Manuel
1
Hernandez, Oscar
1
Hliněný, Petr, 1971-
1
Hofmeister, Christine
1
Holvoet, Tom
1
Honsell, Furio
1
Hull, Richard
1
Hunold, Sascha
1
Ibarra, Oscar H., 1941-
1
Ienne, Paolo
1
Imam, Neena
1
Indulska, Jadwiga
1
Issarny, Valérie
1
Ives, Zachary G., 1974-
1
Jaoua, Ali Mohamed
1
Jhala, Ranjit
1
Ji, Qing
1
Johnsen, Einar Broch
1
Jurdziński, Marcin
1
Jäger, Gerhard
1
Kaklamanis, Christos
1
Katevenis, Manolis
1
Khurshid, Sarfraz
1
Knoop, Jens
1
Kolman, Petr
1
Koopman, Pieter
1
Kovalev, Mikhail
1
Kratochvíl, Jan
1
Kuncak, Viktor
1
Kutyłowski, Mirosław
1
Kuznetsov, Sergei O
1
Kučera, Antonín, 1971-
1
Labiche, Yvan
1
Larrosa, Javier
1
Latella, Diego
1
Le Goues, Claire
1
Lee, David
1
Lee, Insup
1
Lee, Jimmy
1
Legay, Axel
1
Leino, K. Rustan M.
1
Leroux, Jérôme
1
Li, Angsheng
1
Li, Zhiyuan, 1954-
1
Link, Sebastian
1
Liu, Zhiming, 1972-
1
Lodaya, Kamal
1
Lopes, Antónia
1
Lopez, M. Graham
1
Lowe, Gavin
1
Lu, Hanlin
1
Lukasiewicz, Thomas
1
Mahajan, Meena
1
Majumdar, Rupak
1
Martín Vide, Carlos, 1955-
1
Massaioli, Federico
1
Mayordomo, Elvira
1
Meer, Sven van der
1
Mendes Gomes, Luís
1
Mendling, Jan
1
Merz, Stephan
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
Moor, Oege de
1
Morales, Eduardo F.
1
Mycroft, Alan
1
Mödersheim, Sebastian
1
Möller, Bernhard, 1953-
1
Müller, Matthias S
1
Müller, Silvia M
1
Nielson, Flemming, 1955-
1
Ničković, Dejan
1
Nogueira, Pablo
1
Oddi, Angelo
1
Olivier, Stephen L.
1
Ong, Luke
1
Ortmeier, Frank
1
Ouaknine, Joël
1
O’Boyle, Michael
1
O’Sullivan, Barry
1
Pace, Gordon J.
1
Palamidessi, Catuscia
1
Panangaden, Prakash
1
Pang, Jun
1
Park, James J
1
Paul, Wolfgang J
1
Paulin-Mohring, Christine, 1962-
1
Petcu, Adrian
1
Petre, Luigia
1
Piterman, Nir
1
Plasmeijer, Rinus
1
Poetzsch-Heffter, Arnd
1
Poole, Stephen
1
Prade, Henri, 1953-
1
Pustulka-Hunt, Ela
1
Qadeer, Shaz
1
Qin, Shengchao
1
Qiu, Zongyan
1
Queiroz, Ruy J. G. B. de
1
Raidl, Günther
1
Ramanujam, R
1
Rauzy, Antoine
1
Ravikumar, B.
1
Ravn, Anders P., 1947-2019
1
Raymond, Kerry, 1960-
1
Real, Jorge
1
Reble, Pablo
1
Roli, Andrea
1
Rorro, Marco
1
Roşu, Grigore
1
Rudolph, Sebastian
1
Ruhe, Günther
1
Rust, Heinrich
1
Rybalchenko, Andrey
1
Rys, Michael
1
Sadri, Fariba
1
Sahni, Sartaj, 1949-
1
Sampels, Michael
1
Santos Costa, Vítor
1
Satoh, Ken, 1959-
1
Scagnetto, Ivan
1
Schantz, Richard E.
1
Schmidt, David
1
Schrijvers, Tom
1
Schulte, Christian
1
Schwartzbach, Michael I
1
Seki, Shinnosuke
1
Sen, Koushik
1
Sen, Sandeep
1
Silva, Fernando
1
Smolka, Scott A
1
Smolka, Scott A.
1
Sokolsky, Oleg
1
Soliman, Sylvain
1
Sommaruga, Giovanni, 1956-
1
Stenström, Per, 1957-
1
Supinski, Bronis R. de
1
Swierstra, Doaitse
1
Taguchi, Kenji
1
Tai, Stefan
1
Tang, Feilong
1
Tasiran, Serdar
1
Terboven, Christian
1
Tillmann, Nikolai
1
Tinelli, Cesare
1
Treharne, Helen
1
Tripakis, Stavros
1
Träff, Jesper Larsson
1
Tu, Peng
1
Ungerer, Theo, 1954-
1
Unland, Rainer
1
Urzyczyn, Pawel
1
Vaandrager, Frits W.
1
Vardanega, Tullio
1
Versaci, Francesco
1
Virbickajte, I. B.
1
Viroli, Mirko
1
Voronkov, Andrei, 1959-
1
Vos, Alexis De
1
Werner, Benjamin
1
Wille, Robert
1
Wolf, Felix
1
Wolfsthal, Yaron
1
Wu, Chenggang
1
Yang, Laurence Tianruo
1
Yeo, Sang-Soo
1
Yoo, Shin
1
Yu, Sheng
1
Zaïdi, Fatiha
1
Zeller, Andreas, 1965-
1
Zhang, Yuanyuan
1
Zhu, Huibiao
1
Zima, Hans, 1941-
1
Ziv, Avi
1
Zomaya, Albert
1
de Supinski, Bronis R.
1
Ábrahám, Erika
zavřít
×
Načítá se...