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ě
prev ...
1
Pollock, Lori L
1
Prade, Henri, 1953-
1
Pugh, Bill
1
Păsăreanu, Corina S.
1
Qin, Shengchao
1
Queiroz, Ruy J. G. B. de
1
Raidl, Günther
1
Rajopadhye, Sanjay
1
Ramakrishnan, C. R.
1
Ramanujam, J.
1
Ramanujam, R
1
Ranta, Aarne
1
Rauzy, Antoine
1
Ravikumar, B.
1
Ravn, Anders P., 1947-2019
1
Real, Jorge
1
Reble, Pablo
1
Reed, Rick
1
Reed, Rick, 1948-
1
Reichel, Horst, 1941-
1
Rensink, Arend, 1964-
1
Reussner, Ralf
1
Riemsdijk, M. Birna van
1
Roever, Willem-Paul de
1
Roli, Andrea
1
Romanovsky, Alexander, 1954-
1
Romijn, Judi Maria Tirza, 1971-
1
Ronchi Della Rocca, Simona, 1946-
1
Rorro, Marco
1
Rosenblum, David S.
1
Roveri, Marco
1
Roychoudhury, Abhik
1
Rozenberg, Grzegorz
1
Rudd, Walter G.
1
Ruhe, Günther
1
Rumpe, Bernhard
1
Rust, Heinrich
1
Rybalchenko, Andrey
1
Sadayappan, P.
1
Sadri, Fariba
1
Sagiv, Mooly
1
Sahin, Özgür
1
Sakama, Chiaki
1
Sampaio, Augusto, 1964-
1
Sampels, Michael
1
Sangiorgi, Davide, 1964-
1
Sarkar, Vivek
1
Sartor, Giovanni
1
Sassone, Vladimiro
1
Satoh, Ken, 1959-
1
Scagnetto, Ivan
1
Schaefer, Ina
1
Schantz, Richard E.
1
Schewe, Klaus-Dieter
1
Schmid, Klaus
1
Schmidt, Renate A.
1
Schonberg, Edmond
1
Schrijvers, Tom
1
Schwartzbach, Michael I., 1961-
1
Schäfer, Wilhelm, 1954-
1
Schätz, Bernhard
1
Schürr, Andy
1
Scotto, Marco
1
Seidl, Helmut
1
Seipel, Dietmar
1
Seki, Shinnosuke
1
Selic, Bran
1
Sen, Sandeep
1
Sestoft, Peter
1
Shankar, Natarajan
1
Shao, Zhong
1
Shao, Zhong, 1968-
1
Shehory, Onn M., 1963-
1
Shkaravska, Olha
1
Sifakis, Joseph, 1946-
1
Sirjani, Marjan
1
Skowron, Andrzej
1
Smith, Graeme, 1966-
1
Smolka, Scott A.
1
Sokolsky, Oleg
1
Soliman, Sylvain
1
Sommaruga, Giovanni, 1956-
1
Son, Tran Cao
1
Soós, Anna
1
Spirakis, P. G. (Paul G.), 1955-
1
Staab, Steffen, 1970-
1
Steffen, Martin
1
Steffen, Martin, 1965-
1
Stieger, K.
1
Stoddart, Bill
1
Succi, Giancarlo, 1964-
1
Swierstra, Doaitse
1
Słowiński, Roman
1
Taft, S. Tucker
1
Takadama, Keiki
1
Tarlecki, Andrzej, 1956-
1
Terboven, Christian
1
Thiemann, Peter
1
Tinelli, Cesare
1
Tison, Sophie
1
Toeroe, Maria
1
Torra, Vicenç
1
Torre, Leendert Willem Nicolaas van der, 1968-
1
Trinder, Phil
1
Troubitsyna, Elena
1
Tsay, Yih-Kuen, 1962-
1
Tseng, Chau-Wen
1
Tsumoto, Shūsaku, 1963-
1
Ueda, Kazunori
1
Ungerer, Theo, 1954-
1
Ur, Shmuel
1
Uustalu, Tarmo
1
Vaandrager, Frits W.
1
Valmari, Antti
1
Van Roy, Peter
1
Varró, Dániel
1
Vasconcelos, Vasco T
1
Vidal, Germán
1
Virbitskaite, Irina
1
Viroli, Mirko
1
Viswanathan, Mahesh
1
Vitek, Jan
1
Vitek, Jan, 1966-
1
Vlček, Jaroslav, 1928-2002
1
Voigtländer, Janis
1
Voronkov, Andrei
1
Vos, Tanja
1
Wadler, Philip, 1956-
1
Wallingford, Eugene
1
Wansing, Heinrich
1
Warren, David S.
1
Wehrheim, Heike
1
Wellings, Andrew J.
1
Wiklicky, Herbert, 1963-
1
Wimmer, Manuel
1
Wolf, Felix
1
Wolff, Burkhart, 1962-
1
Wolfsthal, Yaron
1
Worrell, James
1
Wright, Matthew
1
Wu, Peng
1
Wunsch, Donald C
1
Yang, Hongseok
1
Yang, Ye
1
Yi, Wang
1
Yolum, Pinar
1
Yonezawa, Akinori
1
Yoo, Shin
1
Youens-Clark, Ken
1
Yu, Eric S
1
Yu, Sheng
1
Zavattaro, Gianluigi
1
Zaverucha, Gerson
1
Zaïdi, Fatiha
1
Zhang, Yuanyuan
1
Ziv, Avi
1
de Supinski, Bronis R.
1
de la Puente, Juan Antonio
1
Ábrahám, Erika
1
Ågotnes, Thomas
1
Ésik, Zoltán
1
Ölveczky, Peter Csaba
zavřít
×
Načítá se...