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ě
214
SpringerLink (online služba)
7
Potapov, Igor
7
Rozenberg, Grzegorz
7
Salomaa, Arto
6
Păun, Gheorghe
4
Cooper, S. B. (S. Barry), 1943-2015
4
Kutrib, Martin
4
Löwe, Benedikt
4
Nerode, Anil, 1932-
4
Ong, Luke
4
Queiroz, Ruy J. G. B. de
4
Thomas, Wolfgang, 1947-
3
Durand, Bruno
3
Ibarra, Oscar H., 1941-
3
Karhumäki, Juhani, 1949-
3
Palamidessi, Catuscia
3
Priami, Corrado
3
Reis, Rogério
3
Rozenberg, Grzegorz, 1942-
2
Alt, Helmut, 1950-
2
Beklemishev, Lev D.
2
Bensalem, Saddek
2
Boer, Frank S. de
2
Bozapalidis, Symeon
2
Calude, Cristian S
2
Cavalcanti, Ana
2
Cerone, Antonio
2
Coecke, Bob, 1968-
2
Diekert, Volker, 1955-
2
Dinneen, Michael J
2
Gheorghe, Marian
2
Gottlob, Georg, 1956-
2
Grundy, Jim
2
Habib, M. (Michel), 1951-
2
Harrison, John, 1966-
2
Havelund, Klaus, 1955-
2
Hirsch, Edward A
2
Holzer, Markus
2
Jürgensen, Helmut, 1942-
2
Kreowski, Hans-Jörg
2
Legay, Axel
2
Lepistö, Arto
2
Li, Angsheng
2
Liu, Zhiming, 1972-
2
Margenstern, Maurice
2
Martín-Vide, Carlos
2
Meseguer, José
2
Montanari, Ugo, 1943-
2
Moreira, Nelma
2
Mossakowski, Till
2
Naumann, David
2
Nerode, Anil
2
Okhotin, Alexander
2
Paun, Gheorghe, 1950-
2
Pihlajasaari, Pekka
2
Plasmeijer, Rinus
2
Rahonis, George
2
Rutten, Jan
2
Salomaa, Arto, 1934-
2
Shur, Arseny M.
2
Tsumoto, Shūsaku, 1963-
2
Vardanega, Tullio
2
Wolff, Burkhart
2
Ábrahám, Erika
1
Abdulla, Parosh Aziz
1
Ablayev, Farid
1
Abrial, Jean-Raymond, 1938-
1
Aceto, Luca
1
Aceto, Luca, 1961-
1
Adian, Sergei
1
Agrawal, Manindra
1
Agrawal, Manindra, 1966-
1
Ait Ameur, Yamine
1
Alfaro, Luca de
1
Alves-Foss, James, 1964-
1
Amadio, Roberto M.
1
Anna Ingólfsdóttir, 1952-
1
Araki, Keijiro
1
Arbab, Farhad
1
Artemov, S. N.
1
Artemov, Sergei
1
Artemov, Sergei N
1
Arun-Kumar, S
1
Audebaud, Philippe
1
Avron, Arnon
1
Baek, Joonsang
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Baier, Christel
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Banâtre, Jean-Pierre
1
Bao, Feng
1
Barkaoui, Kamel
1
Baumgartner, Peter
1
Beckmann, Arnold
1
Bek, Roman, 1924-
1
Berghammer, Rudolf, 1952-
1
Berghofer, Stefan
1
Bernardo, Marco, 1970-
1
Bertot, Yves
1
Beyer, Dirk, 1972-
1
Billington, Jonathan
1
Bjørner, Nikolaj
1
Boca, Paul
1
Bodlaender, Hans L
1
Bojanczyk, Mikolai
1
Bonanno, Giacomo
1
Bonizzoni, Paola
1
Bonsangue, Marcello M
1
Bordihn, Henning
1
Boreale, Michele
1
Borger, Egon
1
Bouajjani, Ahmed
1
Bouchou-Markhoff, Béatrice
1
Bouzeghoub, M. (Mokrane)
1
Bowen, J. P. (Jonathan Peter), 1956-
1
Brattka, Vasco
1
Bravetti, Mario, 1971-
1
Breitman, Karin
1
Breugel, Franck van
1
Bulatov, Andrei A.
1
Butler, Michael, 1967-
1
Béal, Marie-Pierre
1
Büning, Hans Kleine
1
Caires, Luís
1
Calude, Elena
1
Caron, Pascal
1
Carton, Olivier
1
Casadio, Claudia
1
Cejpek, Jiří, 1928-2005
1
Champarnaud, Jean-Marc
1
Chan, T-H. Hubert
1
Charatonik, Witold
1
Chatterjee, Krishnendu
1
Chen, Jianer
1
Chen, Kefei
1
Clote, Peter, 1951-
1
Codescu, Mihai
1
Coppo, Mario
1
Corne, David
1
Corradini, Andrea
1
Corradini, Andrea, 1960-
1
Curien, Pierre-Louis
1
Cîrstea, Corina
1
D'Souza, Deepak
1
Dams, Dennis
1
Dang, Zhe, 1967-
1
Dawar, Anuj
1
Dawar, Anuj, 1966-
1
De Felice, Clelia, 1959-
1
Dediu, Adrian Horia
1
Delzanno, Giorgio
1
Dershowitz, Nachum
1
Diaconescu, Răzvan
1
Diekert, Volker
1
Ditmarsch, Hans van
1
Domaratzki, Michael
1
Dovier, Agostino, 1965-
1
Dowek, Gilles, 1966-
1
Downey, Rod
1
Drewes, Frank
1
Drossopoulou, Sophia
1
Duan, Zhenhua
1
Durand-Lose, Jerome
1
Durand-Lose, Jérôme
1
Durán, Franciso
1
Díaz, Josep, 1950-
1
D’Souza, Meenakshi
1
Ebert, Christian
1
Eleftherakis, George
1
Escobar, Santiago
1
Feliachi, Abderrahmane
1
Felty, Amy
1
Feng, Xinyu
1
Fernau, Henning
1
Ferreira, Afonso, 1960-
1
Fiadeiro, José Luiz
1
Finkel, Alain
1
Fisher, Michael
1
Fitzgerald, John, 1965-
1
Flum, Jörg
1
Fomin, Fedor V
1
Fradet, Pascal
1
Franceschinis, Giuliana
1
Frappier, Marc
1
Freivalds, Rūsiņš
1
Freund, Rudolf
1
Fribourg, Laurent
1
Frid, Anna
1
Frisco, Pierluigi
1
Futatsugi, Kokichi
1
Fähndrich, Manuel
1
Gao, Yuan
1
Garg, Naveen
1
Gaudel, Marie-Claude
1
Gheyi, Rohit
1
Giannakopoulou, Dimitra
1
Giavitto, Jean-Louis
1
Gibbons, Jeremy, 1966-
1
Glässer, Uwe
1
Glässer, Uwe, 1959-
1
Gnesi, Stefania, 1954-
1
Gogolla, Martin, 1954-
1
Goldreich, Oded
1
Gopal, T. V.
1
Graf, Susanne
1
Grandjean, Etienne
1
Grossi, Davide
1
Grumberg, Orna, 1952-
1
Gunter, Elsa L.
1
Gębala, Maciej
1
Hannemann, Ulrich
1
Hanus, Michael, 1959-
1
Harju, T.
1
Harman, Neil
1
Hasegawa, Masahito
1
Haveraaen, Magne
1
Hayes, Ian, 1956-
1
He, Xiangdong
1
Henson, Martin
1
Henzinger, Monika
1
Henzinger, T. A., 1962-
1
Hierons, Robert M.
1
Hinze, Ralf
1
Hinze, Thomas
1
Hoek, Wiebe van der
1
Hofmann, Martin
1
Holzmann, Gerald J., 1951-
1
Hoogeboom, Hendrik Jan
1
Horty, John
1
Horváth, Zoltán
1
Huang, Huaxin
1
Hung, Dang Van
1
Hurst, Stanley Leonard
1
Hähnle, Reiner
1
Igarashi, Atsushi
1
Iida, Shusaku
1
Ingólfsdóttir, Anna
1
Ionescu, Armand Mihai
1
Issarny, Valérie
1
Italiano, Giuseppe F
1
Itō, Masami, 1941-
1
Jaoua, Ali Mohamed
1
Jensen, Kurt
1
Jhala, Ranjit
1
Johnsen, Einar Broch
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Cliff
1
Jones, Richard
1
Joshi, Rajeev
1
Jouannaud, Jean-Pierre
1
Ju, Shier
1
Jäger, Gerhard
1
Kaminski, Michael
1
Kanazawa, Makoto
1
Kashefi, Elham
1
Katz, Shmuel
1
Kazuo, Iwama
1
Kedad, Zoubida
1
Kefalas, Petros
1
Kelemen, Jozef
1
Kelemenová, Alica
1
Khoussainov, Bakhadyr
1
Khurshid, Sarfraz
1
King, Steve
1
Klin, Bartek
1
Konstantinidis, Stavros
1
Koopman, Pieter
1
Kornai, András
1
Koutny, Maciej
1
Kracht, Marcus
1
Kristensen, Lars M
1
Královič, Rastislav
1
Kulikov, Alexander
1
Kurz, Alexander
1
Kutyłowski, Mirosław
1
Kuznetsov, Sergei O
1
Kučera, Antonín, 1971-
1
Lai, Xuejia
1
Lakhneck, Yassine
1
Lal, Akash
1
Laleau, Régine
1
Lanese, Ivan, 1978-
1
Lang, Jérôme
1
Larsen, K. G. (Kim G.), 1957-
1
Lasota, Slawomir
1
Lau, Lap Chi
1
Leitsch, Alexander
1
Leivant, Daniel Maurice Raphaël
1
Lenisa, Marina
1
Leroux, Jérôme
1
Li, Yuefeng
1
Lingras, Pawan J. (Pawan Jayawantrao), 1963-
1
Link, Sebastian
1
Liu, Shaoying
1
Liu, Zhiming
1
Lloyd, John W.
1
Lodaya, Kamal
1
Lodi, Elena
1
Logozzo, Francesco
1
Loidl, Hans-Wolfgang+
1
Lu, Hanlin
1
Mahajan, Meena
1
Maler, Oded
1
Maneth, Sebastian
1
Manna, Zohar, 1939-2018
1
Martell, Craig
1
Martí-Oliet, Narciso
1
Marx, Dániel
1
Matijasevič, Ju. V. (Jurij Vladimirovič)
1
Maurel, Denis
1
Mauri, Giancarlo, 1949-
1
Mayr, Ernst W
1
McCune, William W.
1
Merayo, Mercedes G.
1
Meyer, Bertrand, 1950-
1
Miao, Duoqian
1
Michaelis, Jens
1
Michel, Olivier
1
Milano, Michela, 1970-
1
Miller, D. M.
1
Mishra, Bhubaneswar, 1958-
1
Mitrana, Victor
1
Montanari, Ugo
1
Monteiro, Luís
1
Moortgat, Michael
1
Morozov, Andrey
1
Mundici, Daniele
1
Murlak, Filip
1
Musatov, Daniil V.
1
Muscholl, Anca
1
Muzio, Jon C.
1
Mycielski, Jan
1
Méry, Dominique
1
Métais, Elisabeth, 1959-
1
Möller, Bernhard, 1953-
1
Nagy, Benedek
1
Newey, Malcolm
1
Nielsen, Mogens
1
Nielson, Hanne Riis, 1954-
1
Nies, André
1
Nipkow, Tobias
1
Niwiński, Damian
1
Noble, James
1
Nordio, Martin
1
Normann, Dag, 1947-
1
Nowotka, Dirk
1
Ogata, Kazuhiro
1
Ogihara, Mitsunori, 1963-
1
Oliveira, José Nuno
1
Orejas, Fernando
1
Ortmeier, Frank
1
Otto, Friedrich
1
Ouaknine, Joël
1
Owe, Olaf
1
Pacholski, Leszek
1
Pacuit, Eric
1
Padmanabhan, R. (Ranganathan), 1938-
1
Paech, Barbara
1
Palomino, Miguel
1
Panangaden, Prakash
1
Park, Sungwoo
1
Pattinson, Dirk, 1970-
1
Paulin-Mohring, Christine, 1962-
1
Peled, Doron A., 1962-
1
Peters, James F., 1936-
1
Petre, Luigia
1
Petrucci, Laure
1
Peña, Ricardo, 1950-
1
Pfenning, Frank
1
Pighizzini, Giovanni
1
Pin, Jean-Éric
1
Pinna, G. Michele
1
Pitts, A. M. (Andrew M.), 1956-
1
Plotkin, G. (Gordon), 1946-
1
Pol, Jaco van de, 1969-
1
Polkowski, Lech
1
Pontelli, Enrico, 1967-
1
Posegga, Joachim
1
Prade, Henri, 1953-
1
Prilutskii, Michail
1
Pérez Jiménez, Mario de J., 1948-
1
Pérez-Jiménez, Mario J
1
Rabinovich, Alexander
1
Rauzy, Antoine
1
Ravikumar, B.
1
Ravn, Anders P., 1947-2019
1
Real, Jorge
1
Reeves, Steve
1
Rensink, Arend, 1964-
1
Restivo, Antonio, 1945-
1
Riscos-Núñez, Agustín
1
Rodríguez-Artalejo, Mario
1
Roggenbach, Markus
1
Ronchi Della Rocca, Simona, 1946-
1
Roy, Olivier
1
Roychoudhury, Abhik
1
Rust, Heinrich
1
Rybalchenko, Andrey
1
Sadri, Fariba
1
Sagiv, Mooly
1
Salomaa, Kai
1
Sangiorgi, Davide, 1964-
1
Sankaranarayanan, Sriram
1
Sankowski, Piotr
1
Sarukkai, Sundar
1
Sassone, Vladimiro
1
Schewe, Klaus-Dieter
1
Schneider, Steve
1
Schröder, Lutz
1
Schubert, E. Thomas
1
Schwichtenberg, Helmut
1
Scott, P. J.
1
Seidl, Helmut
1
Seki, Hiroyuki
1
Seki, Shinnosuke
1
Sen, Sandeep
1
Sestoft, Peter
1
Seyr, Katrin
1
Sgall, Jiří, 1965-
1
Shallit, Jeffrey Outlaw, 1957-
1
Shankar, N.
1
Shankar, Natarajan
1
Shao, Zhong, 1968-
1
Sirjani, Marjan
1
Skowron, Andrzej
1
Sommaruga, Giovanni, 1956-
1
Soskov, Ivan
1
Soskova, Alexandra
1
Soskova, Mariya
1
Soós, Anna
1
Steffen, Martin
1
Steffen, Martin, 1965-
1
Sun, Jun
1
Swierstra, Doaitse
1
Słowiński, Roman
1
Taentzer, Gabriele
1
Taitslin, Mikhail
1
Tarlecki, Andrzej
1
Tarlecki, Andrzej, 1956-
1
Tarui, Jun
1
Telle, Jan Arne
1
Thielscher, Michael
1
Tinelli, Cesare
1
Tiuryn, Jerzy, 1950-
1
Toyama, Masafumi
1
Treharne, Helen
1
Trevisan, Luca
1
Truthe, Bianca
1
Urban, Christian
1
Uustalu, Tarmo
1
Vereshchagin, Nikolay
1
Vereshchagin, Nikolay K
1
Verlan, Sergey
1
Vicario, Enrico
1
Viswanathan, Mahesh
1
Voigtländer, Janis
1
Volkov, Mikhail V.
1
Väänänen, Jouko
1
Wagner, Klaus W
1
Wang, Guoyin
1
Weber, Michael
1
Weil, Pascal
1
Wen, Peng
1
Wenzel, Makarius
1
Windley, Phillip J.
1
Wintner, Shuly, 1963-
1
Wirsing, Martin
1
Wolf, Karsten
1
Wolff, Burkhart, 1962-
1
Woodcock, Jim
1
Woodcock, Jim, 1956-
1
Worrell, James
1
Wright, Joakim von
1
Yang, Hongseok
1
Yao, Yiyu
1
Yen, Hsu-Chun, 1958-
1
Yu, Sheng
1
Yung, Moti
1
Zaïdi, Fatiha
1
Zsók, Viktória
1
de la Puente, Juan Antonio
1
Ölveczky, Peter Csaba
1
Țuțu, Ionuț
zavřít
×
Načítá se...