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ě
152
SpringerLink (online služba)
5
Dediu, Adrian-Horia
5
Martín-Vide, Carlos
5
Queiroz, Ruy J. G. B. de
4
Cooper, S. B. (S. Barry), 1943-2015
4
Karhumäki, Juhani, 1949-
4
Löwe, Benedikt
4
Potapov, Igor
4
Zeugmann, Thomas
3
Lepistö, Arto
3
Okhotin, Alexander
3
Priami, Corrado
3
Rozenberg, Grzegorz, 1942-
3
Stephan, Frank
3
Truthe, Bianca
3
Wang, Lipo
2
Beklemishev, Lev D.
2
Boer, Frank S. de
2
Brattka, Vasco
2
Calude, Cristian, 1952-
2
Domaratzki, Michael
2
Ebert, Christian
2
Hirsch, Edward A
2
Ibarra, Oscar H., 1941-
2
Iida, Hiroyuki
2
Jin, Yaochu, 1966-
2
Jäger, Gerhard
2
Jürgensen, Helmut, 1942-
2
Li, Angsheng
2
Mauri, Giancarlo, 1949-
2
Ong, Luke
2
Plaat, Aske
2
Reis, Rogério
2
Salomaa, Kai
2
Sarukkai, Sundar
2
Sebastiani, Roberto
2
Shur, Arseny M.
2
Thomas, Wolfgang, 1947-
2
Yu, Sheng
1
Abdulla, Parosh Aziz
1
Ablayev, Farid
1
Abrial, Jean-Raymond, 1938-
1
Aceto, Luca, 1961-
1
Agrawal, Manindra
1
Agrawal, Manindra, 1966-
1
An, Aijun, 1964-
1
Anna Ingólfsdóttir, 1952-
1
Archibald, Margaret
1
Arun-Kumar, S
1
Auer, Peter, 1964-
1
Avron, Arnon
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Baier, Christel
1
Balcázar, José L
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Banerjee, Mohua
1
Beckmann, Arnold
1
Bensalem, Saddek
1
Benz, Anton
1
Berghammer, Rudolf, 1952-
1
Berghofer, Stefan
1
Bjørner, Nikolaj
1
Bodlaender, Hans L
1
Bonizzoni, Paola
1
Bouajjani, Ahmed
1
Bouchou-Markhoff, Béatrice
1
Bramer, M. A. (Max A.), 1948-
1
Bshouty, Nader H
1
Bshouty, Nader H.
1
Bulatov, Andrei A.
1
Butz, Cory J.
1
Béal, Marie-Pierre
1
Calude, Cristian S
1
Caron, Pascal
1
Carton, Olivier
1
Cerone, Antonio
1
Champarnaud, Jean-Marc
1
Chan, T-H. Hubert
1
Charatonik, Witold
1
Chen, Jianer
1
Cimatti, Alessandro
1
Coecke, Bob, 1968-
1
Coppo, Mario
1
Corby, Olivier
1
Croitoru, Madalina
1
Csuhaj-Varjú, E., 1954-
1
Dawar, Anuj
1
Dawar, Anuj, 1966-
1
De Felice, Clelia, 1959-
1
Degano, Pierpaolo
1
Delcambre, Lois, 1950-
1
Delzanno, Giorgio
1
Dennunzio, Alberto
1
Dershowitz, Nachum
1
Diekert, Volker
1
Dinneen, Michael J
1
Downey, Rod
1
Drewes, Frank
1
Drossopoulou, Sophia
1
Durand, Bruno
1
Durand-Lose, Jerome
1
Durand-Lose, Jérôme
1
Díaz, Josep, 1950-
1
Eiter, Thomas
1
Eiter, Thomas, 1966-
1
Eklund, Peter W., 1962-
1
Farré, Jacques
1
Finkel, Alain
1
Fomin, Fedor V
1
Formenti, Enrico
1
Franceschinis, Giuliana
1
Frappier, Marc
1
Freivalds, Rūsiņš
1
Freund, Rudolf
1
Frid, Anna
1
Gao, Yuan
1
Garg, Naveen
1
Gelbukh, Alexander, 1962-
1
Gentile, Claudio
1
Ghilardi, Silvio
1
Glässer, Uwe
1
Glässer, Uwe, 1959-
1
Goldreich, Oded
1
Gopal, T. V.
1
Goranko, Valentin
1
Greco, Sergio, 1955-
1
Gębala, Maciej
1
Haemmerlé, Ollivier
1
Hagiya, Masami, 1957-
1
Hanus, Michael, 1959-
1
Harju, T.
1
Havelund, Klaus, 1955-
1
Henzinger, Monika
1
Herik, H. Jaap van den
1
Holub, Jan, 1973-
1
Holzer, Markus
1
Honsell, Furio
1
Howse, John
1
Huang, De-Shuang
1
Hutter, Marcus
1
Inenaga, Shunsuke
1
Irwin, G. W. (George William), 1950-
1
Itō, Masami, 1941-
1
Jain, Sanjay
1
Jain, Sanjay, 1965 únor 22.-
1
Jaoua, Ali Mohamed
1
Jiao, Li-cheng
1
Johnsen, Einar Broch
1
Jonoska, Nataša
1
Järvisalo, Matti
1
Kanazawa, Makoto
1
Kari, Jarkko
1
Kaschek, Roland
1
Kazuo, Iwama
1
Khoussainov, Bakhadyr
1
Khurshid, Sarfraz
1
Kivinen, Jyrki
1
Kleine Büning, Hans
1
Konstantinidis, Stavros
1
Koopman, Pieter
1
Královič, Rastislav
1
Kulikov, Alexander
1
Kutrib, Martin
1
Kutyłowski, Mirosław
1
Kuznetsov, Sergei O
1
Laleau, Régine
1
Lanese, Ivan, 1978-
1
Lau, Lap Chi
1
Lee, Jimmy
1
Legay, Axel
1
Leivant, Daniel Maurice Raphaël
1
Leporati, Alberto
1
Leroux, Jérôme
1
Li, Kang
1
Li, Xue, 1963-
1
Libkin, Leonid, 1965-
1
Link, Sebastian
1
Litovsky, Igor
1
Liu, Jing
1
Liu, Zhi-Qiang
1
Liu, Zhiming, 1972-
1
Liśkiewicz, Maciej
1
Lodaya, Kamal
1
Lodi, Elena
1
Long, Philip M
1
Lu, Hanlin
1
Lugosi, Gábor
1
Lukasiewicz, Thomas
1
Mahajan, Meena
1
Maler, Oded
1
Maneth, Sebastian
1
Manzoni, Luca
1
Margenstern, Maurice
1
Marx, Dániel
1
Maurel, Denis
1
Mayr, Ernst W
1
Meir, Ron
1
Meseguer, José
1
Michaelis, Jens
1
Miculan, Marino
1
Milano, Michela, 1970-
1
Mishra, Bhubaneswar, 1958-
1
Mitrana, Victor
1
Morales, Eduardo F.
1
Moreira, Nelma
1
Morita, Kenichi
1
Morozov, Andrey
1
Munos, Rémi
1
Murlak, Filip
1
Musatov, Daniil V.
1
Mycroft, Alan
1
Möller, Bernhard, 1953-
1
Nagy, Benedek
1
Nicola, Rocco De
1
Nielson, Hanne Riis, 1954-
1
Nies, André
1
Nipkow, Tobias
1
Niwiński, Damian
1
Normann, Dag, 1947-
1
Nowotka, Dirk
1
Ogihara, Mitsunori, 1963-
1
Ono, Hiroakira, 1942-
1
Ortmeier, Frank
1
Owe, Olaf
1
Panangaden, Prakash
1
Paun, Gheorghe, 1950-
1
Pedrycz, Witold, 1953-
1
Peters, James F., 1936-
1
Petre, Ion
1
Petre, Luigia
1
Pihlajasaari, Pekka
1
Pin, Jean-Éric
1
Pinna, G. Michele
1
Plasmeijer, Rinus
1
Plotkin, G. (Gordon), 1946-
1
Polycarpou, Marios, 1962-
1
Porreca, Antonio E.
1
Prade, Henri, 1953-
1
Prilutskii, Michail
1
Rabinovich, Alexander
1
Ramanna, Sheela
1
Ramanujam, R
1
Rauzy, Antoine
1
Ravikumar, B.
1
Ravn, Anders P., 1947-2019
1
Real, Jorge
1
Reeves, Steve
1
Reischuk, Rüdiger, 1955-
1
Restivo, Antonio, 1945-
1
Rooij, Robert van
1
Rudolph, Sebastian
1
Rust, Heinrich
1
Rutkowski, Leszek
1
Rutkowski, Leszek, 1952-
1
Rybalchenko, Andrey
1
Sadri, Fariba
1
Sakallah, Karem A.
1
Salomaa, Arto, 1934-
1
Sangiorgi, Davide, 1964-
1
Sankowski, Piotr
1
Satoh, Ken, 1959-
1
Scagnetto, Ivan
1
Schmitz, Sylvain
1
Schwentick, Thomas, 1963-
1
Seki, Shinnosuke
1
Sen, Sandeep
1
Seth, Anil
1
Sgall, Jiří, 1965-
1
Shallit, Jeffrey Outlaw, 1957-
1
Shi, Guanming
1
Sierra-Rodríguez, José-Luis
1
Simon, Hans Ulrich
1
Simon, Hans Ulrich, 1954-
1
Simon, Laurent
1
Skowron, Andrzej, 1943-
1
Sommaruga, Giovanni, 1956-
1
Soskov, Ivan
1
Soskova, Alexandra
1
Soskova, Mariya
1
Stefanowski, Jerzy
1
Steffen, Martin, 1965-
1
Stoltz, Gilles
1
Strass, Hannes
1
Suciu, Dan
1
Swierstra, Doaitse
1
Szepesvári, Csaba
1
Tadeusiewicz, Ryszard
1
Tadeusiewicz, Ryszard, 1947-
1
Tarui, Jun
1
Telle, Jan Arne
1
Timmis, Jon
1
Tinelli, Cesare
1
Tomita, Etsuji
1
Toyama, Masafumi
1
Trevisan, Luca
1
Truszczyński, Mirosław
1
Ukkonen, Esko
1
Urban, Christian
1
Van Gelder, Allen
1
Vardanega, Tullio
1
Vayatis, Nicolas
1
Vereshchagin, Nikolay
1
Vereshchagin, Nikolay K
1
Volkov, Mikhail V.
1
Vovk, Vladimir
1
Wagner, Klaus W
1
Wang, Guoyin
1
Wang, Jun
1
Wang, Xi-Zhao
1
Weil, Pascal
1
Wenzel, Makarius
1
Wilson, Nic
1
Wolf, Karsten
1
Woltran, Stefan
1
Yan, Hong
1
Yen, Gary G.
1
Yen, Hsu-Chun, 1958-
1
Yeung, Daniel S
1
Zadeh, Lotfi A
1
Zadeh, Lotfi A. (Lotfi Asker), 1921-2017
1
Zamboni, Luca
1
Zeller, Andreas, 1965-
1
Zhao, Xishun
1
Zurada, Jacek M.
1
van den Herik, H. Jaap
1
Ábrahám, Erika
1
Èsik, Zoltán, 1951-
1
Żurada, Jacek M
1
Žďárek, Jan, 1977-
zavřít
×
Načítá se...