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ě
80
SpringerLink (online služba)
3
Potapov, Igor
2
Abdulla, Parosh Aziz
2
Bin, Eyal
2
Eekelen, Marko van
2
Fages, François
2
Hnich, Brahim
2
Peña, Ricardo, 1950-
2
Shamis, Pavel
2
Shkaravska, Olha
2
Ur, Shmuel
1
Aceto, Luca, 1961-
1
Anna Ingólfsdóttir, 1952-
1
Aoki, Toshiaki
1
Armando, Alessandro
1
Baier, Christel
1
Barringer, Howard
1
Barros, Márcio
1
Barthe, Gilles
1
Bartocci, Ezio
1
Bellahsene, Zohra, 1954-
1
Bensalem, Saddek
1
Blesa, María J
1
Blum, Christian
1
Bonakdarpour, Borzoo
1
Bouajjani, Ahmed
1
Bošnački, Dragan
1
Brennan, Rob
1
Bressan, Stéphane, 1965-
1
Brodman, James
1
Butler, Michael
1
Carlsson, Mats
1
Castagna, Giuseppe
1
Ceri, Stefano, 1955-
1
Chapman, Barbara, 1954-
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
Delzanno, Giorgio
1
Derrick, John
1
Di Martino, Beniamino
1
Dong, Jin Song
1
Dongarra, Jack, 1950-
1
Drossopoulou, Sophia
1
Eliassen, Frank
1
Engberg, Uffe, 1959-
1
Fahrenberg, Uli
1
Falcone, Ylies
1
Finkbeiner, Bernd
1
Finkel, Alain
1
Fleck, Joel
1
Gibbons, Jeremy, 1966-
1
Gnesi, Stefania
1
Gordon, Andrew D., 1964-
1
Gorentla Venkata, Manjunath
1
Gorton, Ian, 1962-
1
Guo, Minyi
1
Hanus, Michael, 1959-
1
Havelund, Klaus
1
Havelund, Klaus, 1955-
1
Hermenegildo, Manuel
1
Hernandez, Oscar
1
Hofmeister, Christine
1
Holvoet, Tom
1
Honsell, Furio
1
Hull, Richard
1
Hunold, Sascha
1
Ienne, Paolo
1
Imam, Neena
1
Indulska, Jadwiga
1
Issarny, Valérie
1
Ives, Zachary G., 1974-
1
Jhala, Ranjit
1
Ji, Qing
1
Johnsen, Einar Broch
1
Jurdziński, Marcin
1
Kaklamanis, Christos
1
Khurshid, Sarfraz
1
Knoop, Jens
1
Koopman, Pieter
1
Kovalev, Mikhail
1
Kuncak, Viktor
1
Labiche, Yvan
1
Latella, Diego
1
Le Goues, Claire
1
Lee, David
1
Lee, Insup
1
Legay, Axel
1
Leino, K. Rustan M.
1
Leroux, Jérôme
1
Leue, Stefan, 1962-
1
Liu, Zhiming, 1972-
1
Lodaya, Kamal
1
Lopes, Antónia
1
Lopez, M. Graham
1
Lowe, Gavin
1
Mahajan, Meena
1
Majumdar, Rupak
1
Meer, Sven van der
1
Mendling, Jan
1
Merz, Stephan
1
Miculan, Marino
1
Mirandola, Raffaela
1
Montresor, Alberto
1
Moor, Oege de
1
Mycroft, Alan
1
Mödersheim, Sebastian
1
Müller, Matthias S.
1
Müller, Silvia M
1
Nielsen, Mogens
1
Nielson, Flemming, 1955-
1
Ničković, Dejan
1
Nogueira, Pablo
1
Oddi, Angelo
1
Ong, Luke
1
Ortmeier, Frank
1
Ouaknine, Joël
1
O’Boyle, Michael
1
Pace, Gordon J.
1
Palamidessi, Catuscia
1
Panangaden, Prakash
1
Pang, Jun
1
Park, James J
1
Paul, Wolfgang J
1
Petre, Luigia
1
Piterman, Nir
1
Plasmeijer, Rinus
1
Poetzsch-Heffter, Arnd
1
Poole, Stephen
1
Pustulka-Hunt, Ela
1
Qadeer, Shaz
1
Qin, Shengchao
1
Qiu, Zongyan
1
Raidl, Günther
1
Rauzy, Antoine
1
Ravn, Anders P., 1947-2019
1
Raymond, Kerry, 1960-
1
Real, Jorge
1
Reble, Pablo
1
Roli, Andrea
1
Rossi, Francesca
1
Rossi, Francesca, 1962-
1
Roşu, Grigore
1
Ruhe, Günther
1
Rust, Heinrich
1
Rybalchenko, Andrey
1
Rys, Michael
1
Sahni, Sartaj, 1949-
1
Sampels, Michael
1
Sarukkai, Sundar
1
Sassone, Vladimiro
1
Scagnetto, Ivan
1
Schantz, Richard E.
1
Schmidt, David
1
Schwartzbach, Michael I
1
Sen, Koushik
1
Sen, Sandeep
1
Smolka, Scott A
1
Smolka, Scott A.
1
Sokolsky, Oleg
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
Unland, Rainer
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
Walukiewicz, Igor, 1968-
1
Wille, Robert
1
Wolfsthal, Yaron
1
Wu, Chenggang
1
Yang, Laurence Tianruo
1
Yeo, Sang-Soo
1
Yoo, Shin
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...