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ě
137
SpringerLink (online služba)
4
Cooper, S. B. (S. Barry), 1943-2015
4
Potapov, Igor
4
Queiroz, Ruy J. G. B. de
3
Karhumäki, Juhani, 1949-
3
Löwe, Benedikt
3
Priami, Corrado
2
Beckmann, Arnold
2
Beklemishev, Lev D.
2
Boer, Frank S. de
2
Csuhaj-Varjú, Erzsébet
2
Dershowitz, Nachum
2
Dietzfelbinger, Martin
2
Hirsch, Edward A
2
Jürgensen, Helmut, 1942-
2
Khurshid, Sarfraz
2
Lepistö, Arto
2
Li, Angsheng
2
Okhotin, Alexander
2
Ong, Luke
2
Reis, Rogério
2
Rozenberg, Grzegorz, 1942-
2
Rybalchenko, Andrey
2
Schürr, Andy
2
Shur, Arseny M.
2
Thomas, Wolfgang, 1947-
2
Ésik, Zoltán
1
Abdulla, Parosh Aziz
1
Ablayev, Farid
1
Abrial, Jean-Raymond, 1938-
1
Aceto, Luca, 1961-
1
Agrawal, Manindra
1
Agrawal, Manindra, 1966-
1
Anna Ingólfsdóttir, 1952-
1
Aoki, Toshiaki
1
Artemov, Sergei
1
Arumugam, S., 1943-
1
Arun-Kumar, S
1
Avron, Arnon
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Baier, Christel
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Bartocci, Ezio
1
Bensalem, Saddek
1
Berghammer, Rudolf, 1952-
1
Berghofer, Stefan
1
Bjørner, Nikolaj
1
Blass, Andreas
1
Bodlaender, Hans L
1
Bonakdarpour, Borzoo
1
Bonizzoni, Paola
1
Bouajjani, Ahmed
1
Bouchou-Markhoff, Béatrice
1
Brattka, Vasco
1
Bulatov, Andrei A.
1
Butler, Michael
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
Chatterjee, Krishnendu
1
Chen, Jianer
1
Coecke, Bob, 1968-
1
Cohen, David
1
Conchon, Sylvain
1
Coppo, Mario
1
Csuhaj-Varjú, E., 1954-
1
Datta, Anupam
1
Dawar, Anuj
1
Dawar, Anuj, 1966-
1
De Felice, Clelia, 1959-
1
De Raedt, Luc, 1964-
1
Delzanno, Giorgio
1
Derrick, John
1
Diekert, Volker
1
Dinneen, Michael J
1
Domaratzki, Michael
1
Downey, Rod
1
Drewes, Frank
1
Drossopoulou, Sophia
1
Durand, Bruno
1
Durand-Lose, Jerome
1
Díaz, Josep, 1950-
1
Ebert, Christian
1
Ehrig, Hartmut
1
Ehrig, Hartmut, 1944-
1
Engels, Gregor
1
Fahrenberg, Uli
1
Fiala, Jiří
1
Finkel, Alain
1
Fomin, Fedor V
1
Franceschinis, Giuliana
1
Frappier, Marc
1
Freivalds, Rūsiņš
1
Freund, Rudolf
1
Frid, Anna
1
Froncek, Dalibor
1
Gao, Yuan
1
Garg, Naveen
1
Ghosh, Sujata
1
Gibbons, Jeremy, 1966-
1
Giese, Holger, 1970-
1
Glässer, Uwe
1
Glässer, Uwe, 1959-
1
Gnesi, Stefania
1
Goldreich, Oded
1
Gopal, T. V.
1
Gębala, Maciej
1
Hanus, Michael, 1959-
1
Harju, T.
1
Havelund, Klaus, 1955-
1
Henzinger, Monika
1
Holzer, Markus
1
Ibarra, Oscar H., 1941-
1
Iliopoulos, Costas S
1
Itō, Masami, 1941-
1
Jain, Rahul
1
Jain, Sanjay
1
Jaoua, Ali Mohamed
1
Jhala, Ranjit
1
Johnsen, Einar Broch
1
Jurdziński, Marcin
1
Jäger, Gerhard
1
Kazuo, Iwama
1
Kedad, Zoubida
1
Khoussainov, Bakhadyr
1
Knoop, Jens
1
Konstantinidis, Stavros
1
Koopman, Pieter
1
Kratochvíl, Jan
1
Kratochvíl, Jan, 1959-
1
Kreowski, Hans-Jörg, 1949-
1
Královič, Rastislav
1
Kulikov, Alexander
1
Kuncak, Viktor
1
Kutrib, Martin
1
Kutyłowski, Mirosław
1
Kuznetsov, Sergei O
1
König, Barbara
1
Laleau, Régine
1
Lammari, Nadira
1
Lanese, Ivan, 1978-
1
Latella, Diego
1
Lau, Lap Chi
1
Lecroq, Thierry, 1965-
1
Legay, Axel
1
Leivant, Daniel Maurice Raphaël
1
Leroux, Jérôme
1
Link, Sebastian
1
Liu, Zhiming, 1972-
1
Liśkiewicz, Maciej
1
Lodaya, Kamal
1
Lodi, Elena
1
Lu, Hanlin
1
Maffei, Matteo
1
Mahajan, Meena
1
Majumdar, Rupak
1
Maler, Oded
1
Maneth, Sebastian
1
Marchetti-Spaccamela, Alberto
1
Margenstern, Maurice
1
Marx, Dániel
1
Maurel, Denis
1
Mayr, Ernst W
1
Merz, Stephan
1
Meziane, Farid
1
Michaelis, Jens
1
Milano, Michela, 1970-
1
Miller, Mirka
1
Miller, Mirka, 1949-2016
1
Mishra, Bhubaneswar, 1958-
1
Mitrana, Victor
1
Moreira, Nelma
1
Morozov, Andrey
1
Mouchard, Laurent
1
Murlak, Filip
1
Musatov, Daniil V.
1
Métais, Elisabeth, 1959-
1
Möller, Bernhard, 1953-
1
Müller-Hannemann, Matthias, 1969-
1
Nagl, Manfred, 1944-
1
Nagy, Benedek
1
Nerode, Anil
1
Nielson, Hanne Riis, 1954-
1
Nies, André
1
Nipkow, Tobias
1
Niwiński, Damian
1
Ničković, Dejan
1
Nogueira, Pablo
1
Normann, Dag, 1947-
1
Nowotka, Dirk
1
Ogihara, Mitsunori, 1963-
1
Ortmeier, Frank
1
Owe, Olaf
1
O’Boyle, Michael
1
Panangaden, Prakash
1
Pang, Jun
1
Parisi-Presicce, Francesco
1
Paun, Gheorghe, 1950-
1
Petre, Luigia
1
Pihlajasaari, Pekka
1
Pin, Jean-Éric
1
Pinna, G. Michele
1
Plasmeijer, Rinus
1
Plotkin, G. (Gordon), 1946-
1
Prade, Henri, 1953-
1
Prilutskii, Michail
1
Qadeer, Shaz
1
Qin, Shengchao
1
Qiu, Zongyan
1
Rabinovich, Alexander
1
Rauzy, Antoine
1
Ravikumar, B.
1
Ravn, Anders P., 1947-2019
1
Real, Jorge
1
Reeves, Steve
1
Reischuk, Rüdiger, 1955-
1
Reisig, Wolfgang
1
Rensink, Arend
1
Restivo, Antonio, 1945-
1
Rezgui, Yacine
1
Rovan, Branislav
1
Rozenberg, Grzegorz
1
Rust, Heinrich
1
Salomaa, Arto, 1934-
1
Salomaa, Kai
1
Sangiorgi, Davide, 1964-
1
Sankowski, Piotr
1
Sarukkai, Sundar
1
Sassone, Vladimiro
1
Schirra, Stefan, 1961-
1
Schmidt, David
1
Schulte, Christian
1
Segal, Michael
1
Seki, Shinnosuke
1
Sen, Koushik
1
Sen, Sandeep
1
Sgall, Jirí
1
Sgall, Jiří, 1965-
1
Shallit, Jeffrey Outlaw, 1957-
1
Smolka, Scott A
1
Smyth, William F
1
Smyth, William F.
1
Sommaruga, Giovanni, 1956-
1
Soskov, Ivan
1
Soskova, Alexandra
1
Soskova, Mariya
1
Steffen, Martin, 1965-
1
Stephan, Frank
1
Strichman, Ofer
1
Swierstra, Doaitse
1
Szeider, Stefan
1
Taguchi, Kenji
1
Tarui, Jun
1
Tasiran, Serdar
1
Telle, Jan Arne
1
Tinelli, Cesare
1
Toyama, Masafumi
1
Treharne, Helen
1
Trevisan, Luca
1
Tripakis, Stavros
1
Tuosto, Emilio
1
Urban, Christian
1
Urzyczyn, Pawel
1
Vardanega, Tullio
1
Verbrugge, Rineke, 1965-
1
Vereshchagin, Nikolay
1
Vereshchagin, Nikolay K
1
Volkov, Mikhail V.
1
Vos, Alexis De
1
Wagner, Klaus W
1
Weil, Pascal
1
Wenzel, Makarius
1
Westfechtel, Bernhard, 1958-
1
Widmayer, Peter
1
Wille, Robert
1
Wolf, Karsten
1
Yu, Sheng
1
Zaïdi, Fatiha
1
Zündorf, Albert
1
van Benthem, Johan
1
Ábrahám, Erika
1
Èsik, Zoltán, 1951-
zavřít
×
Načítá se...