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ě
244
SpringerLink (online služba)
12
Peters, James F., 1936-
10
Skowron, Andrzej
8
Rozenberg, Grzegorz
8
Salomaa, Arto
6
Păun, Gheorghe
4
Nerode, Anil, 1932-
4
Torra, Vicenç
4
Wang, Guoyin
4
Yao, Yiyu
3
Düntsch, Ivo
3
Gelbukh, Alexander
3
Huang, De-Shuang
3
Kutrib, Martin
3
Ong, Luke
3
Palamidessi, Catuscia
3
Polkowski, Lech
3
Potapov, Igor
3
Schewe, Klaus-Dieter
3
Skowron, Andrzej, 1943-
3
Słowiński, Roman
2
Alt, Helmut, 1950-
2
Boella, Guido
2
Bozapalidis, Symeon
2
Calude, Cristian S
2
Cavalcanti, Ana
2
Diekert, Volker, 1955-
2
Durand, Bruno
2
Embley, David W.
2
Felty, Amy
2
Gheorghe, Marian
2
Gottlob, Georg, 1956-
2
Grundy, Jim
2
Habib, M. (Michel), 1951-
2
Harrison, John, 1966-
2
Henzinger, T. A., 1962-
2
Ibarra, Oscar H., 1941-
2
Inuiguchi, Masahiro
2
Jo, Kang-Hyun
2
Kaminski, Michael
2
Kovacs, Tim
2
Kreowski, Hans-Jörg
2
Lang, Jérôme
2
Lingras, Pawan J. (Pawan Jayawantrao), 1963-
2
Llorà, Xavier
2
Martín-Vide, Carlos
2
Masulli, Francesco
2
Meseguer, José
2
Meyer, John-Jules Ch
2
Miao, Duoqian
2
Montanari, Ugo, 1943-
2
Mossakowski, Till
2
Narukawa, Yasuo
2
Narukawa, Yasuo, 1964-
2
Naumann, David
2
Nerode, Anil
2
Olivé, Antoni, 1946-
2
Orłowska, Ewa
2
Pasi, Gabriella, 1961-
2
Petrosino, Alfredo
2
Rahonis, George
2
Ram, Sudha, 1959-
2
Riguzzi, Fabrizio
2
Rozenberg, Grzegorz, 1942-
2
Rutten, Jan
2
Takadama, Keiki
2
Thomas, Wolfgang, 1947-
2
Tsumoto, Shūsaku, 1963-
2
Wolff, Burkhart
2
Wu, Wei-Zhi
2
Yao, JingTao
2
Zaverucha, Gerson
2
Ślęzak, Dominik
1
Aceto, Luca
1
Adian, Sergei
1
Ait Ameur, Yamine
1
Albornoz, Álvaro de
1
Alfaro, Luca de
1
Alves-Foss, James, 1964-
1
Amadio, Roberto M.
1
Apolloni, Bruno, 1946-
1
Araki, Keijiro
1
Arbab, Farhad
1
Artemov, S. N.
1
Artemov, Sergei
1
Artemov, Sergei N
1
Asociación Española de Inteligencia Artificial. Conferencia
1
Audebaud, Philippe
1
Bacardit, Jaume
1
Baek, Joonsang
1
Baldoni, Matteo
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Bandini, Stefania
1
Banerjee, Mohua
1
Banâtre, Jean-Pierre
1
Bao, Feng
1
Barkaoui, Kamel
1
Baroglio, Cristina
1
Basili, Roberto
1
Baumgartner, Peter
1
Beigl, Michael
1
Bek, Roman, 1924-
1
Bensalem, Saddek
1
Berardi, Stefano
1
Berdine, Josh
1
Beringer, Lennart
1
Bernadó-Mansilla, Ester
1
Bernardo, Marco, 1970-
1
Bertot, Yves
1
Bevilacqua, Vitoantonio
1
Beyer, Dirk, 1972-
1
Biere, Armin, 1967-
1
Billington, Jonathan
1
Birkedal, Lars
1
Blackburn, Patrick, 1959-
1
Bloch, Isabelle
1
Blume, Matthias
1
Boca, Paul
1
Bojanczyk, Mikolai
1
Bonanno, Giacomo
1
Bonsangue, Marcello M
1
Bordihn, Henning
1
Boreale, Michele
1
Borger, Egon
1
Borrajo, Daniel
1
Borrione, Dominique
1
Bosch, Peter
1
Bouzeghoub, M. (Mokrane)
1
Bowen, J. P. (Jonathan Peter), 1956-
1
Bradshaw, Jeff
1
Brandt, Jens
1
Bravetti, Mario, 1971-
1
Breitman, Karin
1
Breugel, Franck van
1
Broersen, Jan
1
Brézillon, Patrick
1
Bugarín, Alberto
1
Butler, Michael, 1967-
1
Butz, Martin V
1
Büning, Hans Kleine
1
Caferra, Ricardo
1
Caires, Luís
1
Calude, Elena
1
Casadio, Claudia
1
Castillo, Luis, 1969-
1
Cejpek, Jiří, 1928-2005
1
Cercone, Nick J
1
Cerone, Antonio
1
Chakraborty, Mihir K.
1
Chatterjee, Krishnendu
1
Chen, Kefei
1
Chen, Peter P. S., 1947-
1
Christiansen, Henning
1
Clote, Peter, 1951-
1
Codescu, Mihai
1
Coecke, Bob, 1968-
1
Cohen, Ernie
1
Corchado, Juan M., 1971-
1
Corne, David
1
Corradini, Andrea
1
Corradini, Andrea, 1960-
1
Costa, Augusto Loureiro da
1
Coventry, Kenny R
1
Cucchiara, Rita
1
Curien, Pierre-Louis
1
Czarnecki, Krzysztof, 1970-
1
Cîrstea, Corina
1
D'Souza, Deepak
1
Damiani, Ferruccio
1
Damm, Werner
1
Dams, Dennis
1
Dang, Zhe, 1967-
1
Dapoigny, Richard
1
Davis, Jesse
1
Dawar, Anuj
1
De Nicola, Rocco
1
Dediu, Adrian Horia
1
Di Gesù, Vito
1
Diaconescu, Răzvan
1
Dignum, Frank
1
Dinneen, Michael J
1
Ditmarsch, Hans van
1
Doesburg, Willem van
1
Domingo-Ferrer, Josep
1
Dovier, Agostino, 1965-
1
Dowek, Gilles, 1966-
1
Duan, Zhenhua
1
Dubois, Didier
1
Duchier, Denys
1
Duparc, Jacques, 1962-
1
Durand-Lose, Jérôme
1
Durán, Franciso
1
Düsterhöft, Antje
1
D’Souza, Meenakshi
1
Egg, Markus
1
Eleftherakis, George
1
Erdem, Esra
1
Escobar, Santiago
1
European Cooperation in the Field of Scientific and Technical Research (organizace). COST Action 274 TARSKI (projekt)
1
Feliachi, Abderrahmane
1
Feng, Xinyu
1
Fermüller, Christian G., 1963-
1
Fernau, Henning
1
Ferreira, Afonso, 1960-
1
Fiadeiro, José Luiz
1
Fisher, Michael
1
Fitzgerald, John, 1965-
1
Flum, Jörg
1
Fradet, Pascal
1
Frasconi, Paolo
1
Fribourg, Laurent
1
Frisco, Pierluigi
1
Futatsugi, Kokichi
1
Fähndrich, Manuel
1
Gabbrielli, Maurizio
1
Gabelaia, David
1
Gaudel, Marie-Claude
1
Gavanelli, Marco
1
Gheyi, Rohit
1
Giacobazzi, Roberto
1
Giannakopoulou, Dimitra
1
Giavitto, Jean-Louis
1
Gibbons, Jeremy, 1966-
1
Giesl, Jürgen
1
Gnesi, Stefania, 1954-
1
Goble, Lou
1
Godo, Lluís
1
Gogolla, Martin, 1954-
1
Gonthier, Georges
1
Governatori, Guido
1
Graf, Susanne
1
Gramlich, Bernhard
1
Grandjean, Etienne
1
Greco, Salvatore
1
Groote, Philippe de
1
Grossi, Davide
1
Grumberg, Orna, 1952-
1
Grzymala-Busse, Jerzy W., 1942-
1
Grzymała-Busse, Jerzy
1
Grzymała-Busse, Jerzy W
1
Gunter, Elsa L.
1
Gupta, Gopal, 1963-
1
Hagiya, Masami, 1957-
1
Hannemann, Ulrich
1
Harman, Neil
1
Hasegawa, Masahito
1
Hata, Yutaka
1
Havelund, Klaus, 1955-
1
Haveraaen, Magne
1
Hawblitzel, Chris
1
Hayes, Ian, 1956-
1
He, Xiangdong
1
Hedin, Görel
1
Hendren, Laurie
1
Hennicker, Rolf
1
Henson, Martin
1
Hepting, Daryl H
1
Hermanns, Holger
1
Heutte, Laurent
1
Hierons, Robert M.
1
Hinze, Ralf
1
Hinze, Thomas
1
Hirano, Shoji
1
Hoek, Wiebe van der
1
Hofmann, Martin
1
Holzer, Markus
1
Holzmann, Gerald J., 1951-
1
Hoogeboom, Hendrik Jan
1
Horimoto, Katsuhisa
1
Horty, John
1
Horváth, Zoltán
1
Huang, Huaxin
1
Hung, Dang Van
1
Hurd, Joe, 1975-
1
Hurst, Stanley Leonard
1
Hähnle, Reiner
1
Hölldobler, Steffen
1
Igarashi, Atsushi
1
Iida, Shusaku
1
Ingólfsdóttir, Anna
1
Ionescu, Armand Mihai
1
Issarny, Valérie
1
Italiano, Giuseppe F
1
Jarvis, Ray
1
Jensen, Kurt
1
Jhala, Ranjit
1
Johnson, Michael
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Cliff
1
Jones, Richard
1
Jones, Robert B. (Robert Brent), 1969-
1
Joshi, Rajeev
1
Jouannaud, Jean-Pierre
1
Ju, Shier
1
Kallmeyer, Laura
1
Kanazawa, Makoto
1
Kang, Byeong-ho
1
Kang, Hee-Jun
1
Kashefi, Elham
1
Katz, Shmuel
1
Kedad, Zoubida
1
Kefalas, Petros
1
Kelemen, Jozef
1
Kelemenová, Alica
1
King, Steve
1
Klettke, Meike
1
Klin, Bartek
1
Kobayashi, Naoki, 1968-
1
Kofod-Petersen, Anders
1
Kohlhase, Michael
1
Konev, Boris
1
Kornai, András
1
Koutny, Maciej
1
Kracht, Marcus
1
Krishna, Shankara Narayanan
1
Krishnamurthi, Shriram
1
Kristensen, Lars M
1
Kryszkiewicz, Marzena B.
1
Kuri Morales, Ángel Fernando
1
Kurz, Alexander
1
Kuznetsov, Sergei O
1
Kučera, Antonín, 1971-
1
Lai, Xuejia
1
Lakhneck, Yassine
1
Lal, Akash
1
Lamma, Evelina
1
Lanzi, Pier Luca
1
Larsen, K. G. (Kim G.), 1957-
1
Lasota, Slawomir
1
Lecomte, Alain
1
Lee, Hong-Hee
1
Legay, Axel
1
Leite, João, 1970-
1
Leitsch, Alexander
1
Lenisa, Marina
1
Levine, Daniel S
1
Li, Tianrui
1
Li, Yuefeng
1
Lin, Fangzhen
1
Lisi, Francesca A
1
Lisi, Francesca A.
1
Liu, Shaoying
1
Liu, Zhiming
1
Liu, Zhiming, 1972-
1
Lloyd, John W.
1
Logozzo, Francesco
1
Loidl, Hans-Wolfgang+
1
Loog, Marco
1
Lutz, Carsten, 1971-
1
Löwe, Benedikt
1
MacCaull, Wendy
1
Manea, Florin
1
Manna, Zohar, 1939-2018
1
Manzoni, Sara
1
Marek, Victor W.
1
Margaria, Tiziana
1
Margaria-Steffen, Tiziana, 1964-
1
Margenstern, Maurice
1
Marinaro, Maria, 1933-
1
Mariño, Julio
1
Martell, Craig
1
Martini, Simone, 1959-
1
Martí-Oliet, Narciso
1
Marín, Roque
1
Mastroeni, Isabella
1
Masulli, Francesco, 1952-
1
Matijasevič, Ju. V. (Jurij Vladimirovič)
1
Mauri, Giancarlo, 1949-
1
McCune, William W.
1
McMillan, Kenneth L.
1
Melham, T. F. (Tom F.), 1960-
1
Merayo, Mercedes G.
1
Meyer, Bertrand, 1950-
1
Micalizio, Roberto
1
Michel, Olivier
1
Miguel, Ian
1
Miller, D. M.
1
Miller, Dale (Dale A.), 1956-
1
Mirkin, Boris G
1
Mitra, Sushmita
1
Miyamoto, Sadaaki
1
Miyamoto, Sadaaki, 1950-
1
Montanari, Ugo
1
Monteiro, Luís
1
Moortgat, Michael
1
Moreira, Nelma
1
Muggleton, Stephen H
1
Mundici, Daniele
1
Muscholl, Anca
1
Muzio, Jon C.
1
Mycielski, Jan
1
Méry, Dominique
1
Métais, Elisabeth, 1959-
1
Nahir, Amir
1
Newey, Malcolm
1
Nguyen, Hung Son
1
Nicosia, Giuseppe
1
Nielsen, Mogens
1
Noble, James
1
Nordio, Martin
1
Nordström, Bengt
1
Norrish, Michael
1
Nouwen, Rick
1
Nowotka, Dirk
1
Odersky, Martin, 1958-
1
Ogata, Kazuhiro
1
Oliveira, José Nuno
1
Onaindia, Eva
1
Orejas, Fernando
1
Orgun, Mehmet A.
1
Orłowska, Ewa, 1935-
1
Otto, Friedrich
1
Ouaknine, Joël
1
Pacholski, Leszek
1
Pacuit, Eric
1
Padmanabhan, R. (Ranganathan), 1938-
1
Paech, Barbara
1
Paes, Aline
1
Palomino, Miguel
1
Parent, Christine
1
Park, Sungwoo
1
Parmentier, Yannick
1
Pattinson, Dirk, 1970-
1
Paul, Wolfgang
1
Paulin-Mohring, Christine, 1962-
1
Paun, Gheorghe, 1950-
1
Pavlovic, Dusko
1
Pazienza, Maria Teresa
1
Peled, Doron A., 1962-
1
Petrucci, Laure
1
Peña, Ricardo, 1950-
1
Pfenning, Frank
1
Pighizzini, Giovanni
1
Pihlajasaari, Pekka
1
Pirrone, Roberto
1
Pitts, A. M. (Andrew M.), 1956-
1
Plasmeijer, Rinus
1
Pol, Jaco van de, 1969-
1
Pontelli, Enrico, 1967-
1
Posegga, Joachim
1
Pugliese, Andrea
1
Pérez Jiménez, Mario de J., 1948-
1
Pérez-Jiménez, Mario J
1
Qin, Shengchao
1
Ramanna, Sheela
1
Ramon, Jan
1
Ranta, Aarne
1
Regensburger, Georg
1
Reis, Rogério
1
Rensink, Arend, 1964-
1
Reyes-Garcia, Carlos Alberto
1
Riscos-Núñez, Agustín
1
Rival, Xavier
1
Rodríguez-Artalejo, Mario
1
Roggenbach, Markus
1
Ronchi Della Rocca, Simona, 1946-
1
Rooij, Robert van
1
Rosenkranz, Markus
1
Roth-Berghofer, Thomas R
1
Roubens, Marc, 1940-
1
Roy, Olivier
1
Roychoudhury, Abhik
1
Ruml, Wheeler
1
Rybalchenko, Andrey
1
Rybinski, Henryk
1
Rybiński, Henryk
1
Sadri, Fariba
1
Sagiv, Mooly
1
Saitta, Lorenza, 1944-
1
Salomaa, Arto, 1934-
1
Salzer, Gernot
1
Sankaranarayanan, Sriram
1
Santos Costa, Vítor
1
Santos, José
1
Sartor, Giovanni
1
Sassone, Vladimiro
1
Sattar, Abdul
1
Sauerland, Uli
1
Savaci, F. Acar (Ferit Acar)
1
Schaub, Torsten
1
Schmidt, Gunther, 1939-
1
Schmidt, Renate A.
1
Schmidtke, Hedda R
1
Schmitz, Hans-Christian
1
Schneider, Klaus
1
Schneider, Steve
1
Schrijvers, Tom
1
Schröder, Lutz
1
Schubert, E. Thomas
1
Schwichtenberg, Helmut
1
Scott, P. J.
1
Seidl, Helmut
1
Seki, Hiroyuki
1
Serra, Roberto
1
Sestoft, Peter
1
Seyr, Katrin
1
Shankar, N.
1
Shankar, Natarajan
1
Shao, Zhong, 1968-
1
Silverman, Barry
více ...
více ...
zavřít
×
Načítá se...