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ě
267
SpringerLink (online služba)
4
Karhumäki, Juhani, 1949-
4
Peters, James F., 1936-
4
Queiroz, Ruy J. G. B. de
4
Skowron, Andrzej, 1943-
3
Liu, Zhiming, 1972-
3
Okhotin, Alexander
3
Reis, Rogério
3
Rozenberg, Grzegorz, 1942-
3
Wang, Lipo
2
Baier, Christel
2
Bekki, Daisuke
2
Beklemishev, Lev D.
2
Biere, Armin, 1967-
2
Boer, Frank S. de
2
Calude, Cristian, 1952-
2
Carette, Jacques
2
Cooper, S. B. (S. Barry), 1943-2015
2
Durand, Bruno
2
Ebert, Christian
2
Eiter, Thomas, 1966-
2
Embley, David W.
2
Fiadeiro, José Luiz, 1961-
2
Gelbukh, Alexander, 1962-
2
Gupta, Gopal, 1963-
2
Hagiya, Masami, 1957-
2
Henzinger, T. A., 1962-
2
Itō, Masami, 1941-
2
Jin, Yaochu, 1966-
2
Jäger, Gerhard
2
Jürgensen, Helmut, 1942-
2
Kaminski, Michael
2
Kutrib, Martin
2
Lepistö, Arto
2
Lutz, Carsten, 1971-
2
Löbner, Sebastian, 1949-
2
Meduna, Alexander, 1957-
2
Meseguer, José
2
Miller, Dale (Dale A.), 1956-
2
Montanari, Ugo, 1943-
2
Moreira, Nelma
2
Nguyen, Hung Son
2
Olivé, Antoni, 1946-
2
Paulin-Mohring, Christine, 1962-
2
Pedrycz, Witold, 1953-
2
Petrosino, Alfredo
2
Peña, Ricardo, 1950-
2
Potapov, Igor
2
Priami, Corrado
2
Ram, Sudha, 1959-
2
Richter, Frank
2
Satoh, Ken, 1959-
2
Schmidt, Renate A.
2
Schrijvers, Tom
2
Sorge, Volker
2
Thomas, Wolfgang, 1947-
2
Torroni, Paolo
2
Vardanega, Tullio
2
Vidal, Germán
2
Voronkov, Andrei, 1959-
2
Wang, Guoyin
2
Ölveczky, Peter Csaba
2
Železný, Filip, 1974-
1
Abdulla, Parosh Aziz
1
Abrial, Jean-Raymond, 1938-
1
Agrawal, Manindra, 1966-
1
Akhgar, Babak
1
Aloni, Maria
1
Amadio, Roberto M.
1
An, Aijun, 1964-
1
Andrews, Simon
1
Anna Ingólfsdóttir, 1952-
1
Anthony, Patricia
1
Apolloni, Bruno, 1946-
1
Arbab, F. (Farhad)
1
Arumugam, S., 1943-
1
Asociación Española de Inteligencia Artificial. Conferencia
1
Audebaud, Philippe
1
Auer, Peter, 1964-
1
Aziz, Zaheer
1
Bach, Joscha
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Baldan, Paolo
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Barbosa, Luís Soares
1
Basili, Roberto
1
Bazan, Jan G.
1
Beckert, Bernhard
1
Beetz, Michael, 1961-
1
Bensalem, Saddek
1
Benz, Anton
1
Berardi, Stefano
1
Berghammer, Rudolf, 1952-
1
Bernardo, Marco, 1970-
1
Bezhanishvili, Guram
1
Bezhanishvili, Nick
1
Bidlo, Radek
1
Birkedal, Lars
1
Blatný, Petr
1
Blazy, Sandrine
1
Blume, Matthias
1
Boca, Paul
1
Boella, Guido
1
Bonsangue, Marcello M. (Marcello Maria)
1
Borger, Egon
1
Borrajo, Daniel
1
Bosch, Peter
1
Botana, Francisco
1
Bouajjani, Ahmed
1
Bowen, J. P. (Jonathan Peter), 1956-
1
Bramer, M. A. (Max A.), 1948-
1
Branco, António
1
Bravetti, Mario, 1971-
1
Bshouty, Nader H.
1
Butler, Alastair
1
Butler, Michael, 1967-
1
Butz, Cory J.
1
Béal, Marie-Pierre
1
Calimeri, Francesco
1
Campbell, J. A., 1940-
1
Carton, Olivier
1
Casadio, Claudia
1
Caseli, Helena
1
Castillo, Luis, 1969-
1
Cerone, Antonio
1
Chan, T-H. Hubert
1
Chatterjee, Kingshuk
1
Chatterjee, Krishnendu
1
Chen, Jianer
1
Chen, Peter P. S., 1947-
1
Chng, Eng-Siong
1
Ciobanu, Gabriel
1
Coecke, Bob, 1968-
1
Coelho, Helder, 1944-
1
Cohen, Ernie
1
Colinet, Margot
1
Corchado, Juan M., 1971-
1
Corradini, Andrea, 1960-
1
Croitoru, Madalina
1
Csuhaj-Varjú, E., 1954-
1
Cummins, Fred
1
Czarnecki, Krzysztof, 1970-
1
D'Souza, Deepak
1
Damiani, Ferruccio
1
Datta, Anupam
1
Davis, Brian
1
Davis, Martin, 1928-2023
1
Dawar, Anuj, 1966-
1
De Felice, Clelia, 1959-
1
De Nicola, Rocco
1
Delcambre, Lois, 1950-
1
Delgrande, James P.
1
Di Gesù, Vito
1
Diekert, Volker, 1955-
1
Domaratzki, Michael
1
Domenach, Florent
1
Dovier, Agostino, 1965-
1
Dowek, Gilles, 1966-
1
Drossopoulou, Sophia
1
Duan, Zhenhua
1
Duchier, Denys
1
Duparc, Jacques, 1962-
1
Díaz, Josep, 1950-
1
Dömösi, Pál, 1943-
1
Edelkamp, Stefan, 1969-
1
Egg, Markus
1
Ehrig, Hartmut, 1944-
1
Eklund, Peter W., 1962-
1
Engels, Gregor
1
Englert, Roman
1
Erdem, Esra
1
Esposito, Anna
1
Etalle, Sandro
1
Etessami, Kousha
1
European Cooperation in the Field of Scientific and Technical Research (organizace). COST Action 274 TARSKI (projekt)
1
Faber, Wolfgang, 1974-
1
Falaschi, Moreno
1
Fanelli, Anna Maria
1
Fehnker, Ansgar
1
Feng, Xinyu
1
Fermüller, Christian G., 1963-
1
Fitzgerald, John, 1965-
1
Fleuriot, Jacques, 1972-
1
Franconi, Enrico
1
Frappier, Marc
1
Frasconi, Paolo
1
Froncek, Dalibor
1
Frühwirth, Thom, 1962-
1
Furbach, Ulrich, 1948-
1
Futatsugi, Kokichi
1
Fähndrich, Manuel
1
Fürnkranz, Johannes
1
Gaag, Linda C. van der
1
Gabbrielli, Maurizio
1
Gabelaia, David
1
Ganesalingam, Mohan
1
Gao, Helena Hong
1
Gentile, Claudio
1
Gheyi, Rohit
1
Ghosh, Sujata
1
Giachino, Elena
1
Giagkou, Maria
1
Gibbons, Jeremy, 1966-
1
Giese, Holger, 1970-
1
Giese, Martin
1
Giesl, Jürgen
1
Glässer, Uwe
1
Glässer, Uwe, 1959-
1
Gnesi, Stefania, 1954-
1
Godo, Lluís
1
Goertzel, Ben, 1966-
1
Gogolla, Martin, 1954-
1
Gomes, Carla
1
Gonthier, Georges
1
Gonzales, Christophe
1
Gopal, T. V.
1
Gorla, Daniele
1
Gramlich, Bernhard, -2014
1
Greco, Sergio, 1955-
1
Groote, Philippe de
1
Grumberg, Orna, 1952-
1
Gupta, Aarti
1
Gutierrez, Claudio
1
Haemmerlé, Ollivier
1
Handschuh, Siegfried
1
Hanus, Michael, 1959-
1
Harju, T.
1
Havelund, Klaus, 1955-
1
Haveraaen, Magne
1
Hawblitzel, Chris
1
Hayes, Ian, 1956-
1
Hedin, Görel
1
Hendren, Laurie
1
Hennicker, Rolf
1
Hermanns, Holger, 1967-
1
Hertzberg, Joachim, 1958-
1
Hierons, Robert M.
1
Hill, Richard
1
Hinze, Ralf
1
Hirsch, Edward A.
1
Hitzler, Pascal, 1971-
1
Holub, Jan, 1973-
1
Holvoet, Tom
1
Holzer, Markus
1
Holzmann, Gerald J., 1951-
1
Hommersom, Arjen
1
Honsell, Furio
1
Horimoto, Katsuhisa
1
Huang, De-Shuang
1
Hund, Marcus
1
Huo, Qiang
1
Hurd, Joe, 1975-
1
Hutter, Dieter
1
Hähnle, Reiner, 1962-
1
Höfner, Peter
1
Hölldobler, Steffen
1
Ianni, Giovambattista
1
Ida, Tetsuo
1
Igarashi, Atsushi
1
Ignatov, Dmitrij Igorevič, 1983-
1
Iida, Shusaku
1
Iklé, Matthew
1
Imiya, Atsushi
1
Inuiguchi, Masahiro
1
Irwin, G. W. (George William), 1950-
1
Ishizuka, Mitsuru, 1948-
1
Issarny, Valérie
1
Jain, Sanjay, 1965 únor 22.-
1
Janhunen, Tomi
1
Jaoua, Ali Mohamed
1
Jeuring, Johan, 1965-
1
Jhala, Ranjit
1
Jiao, Li-cheng
1
Jipsen, Peter
1
Johnsen, Einar Broch
1
Johnson, Michael
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Richard
1
Joshi, Rajeev
1
Jouannaud, Jean-Pierre, 1947-
1
Kahl, Wolfram
1
Kaliszyk, Cezary
1
Kaljurand, Kaarel
1
Kallmeyer, Laura
1
Kanazawa, Makoto
1
Kari, Jarkko
1
Kaschek, Roland
1
Katrenko, Sophia
1
Katz, Graham
1
Katz, Shmuel
1
Kedad, Zoubida
1
Kerber, Manfred
1
Khurshid, Sarfraz
1
Kimmelman, Vadim
1
Kleine Büning, Hans
1
Kobayashi, Naoki, 1968-
1
Kratochvíl, Jan, 1959-
1
Kreowski, Hans-Jörg, 1949-
1
Krishnamurthi, Shriram
1
Kroening, Daniel
1
Kuhn, Tobias
1
Kučera, Antonín, 1971-
1
König, Barbara
1
Lal, Akash
1
Laleau, Régine
1
Lammari, Nadira
1
Lanese, Ivan, 1978-
1
Lang, Jérôme
1
Larsen, K. G. (Kim G.), 1957-
1
Lau, Lap Chi
1
Lavrač, Nada, 1953-
1
Leake, David B., 1957-
1
Lecroq, Thierry, 1965-
1
Legay, Axel
1
Leite, João, 1970-
1
Li, Angsheng
1
Li, Haizhou
1
Li, Kang
1
Li, Tianrui
1
Li, Xuandong
1
Li, Xue, 1963-
1
Li, Yuefeng
1
Libkin, Leonid, 1965-
1
Lin, Fangzhen
1
Link, Sebastian
1
Lisi, Francesca A.
1
Liu, Jing
1
Liu, Shaoying
1
Liu, Weiru, 1962-
1
Liśkiewicz, Maciej
1
Logozzo, Francesco
1
Loidl, Hans-Wolfgang+
1
Lomuscio, Alessio
1
Looks, Moshe
1
Lu, Qin
1
Lucas, Peter J. F.
1
Lukasiewicz, Thomas
1
Lukose, Dickson, 1963-
1
Lukáš, Roman
1
Lumpe, Markus
1
Ma, Bin
1
Maler, Oded
1
Malik, Sharad
1
Manea, Florin
1
Maneth, Sebastian
1
Manna, Zohar, 1939-2018
1
Marchetti-Spaccamela, Alberto
1
Margaria-Steffen, Tiziana, 1964-
1
Margenstern, Maurice
1
Marinaro, Maria, 1933-
1
Mariño, Julio
1
Marra, Vincenzo
1
Martini, Simone, 1959-
1
Masulli, Francesco, 1952-
1
McIver, Annabelle, 1964-
1
McMillan, Kenneth L.
1
Meir, Ron
1
Melham, T. F. (Tom F.), 1960-
1
Merayo, Mercedes G.
1
Mertsching, Bärbel
1
Meyer, Bertrand, 1950-
1
Meziane, Farid
1
Michaelis, Jens
1
Miculan, Marino
1
Milano, Michela, 1970-
1
Miller, Mirka, 1949-2016
1
Mishra, Bhubaneswar, 1958-
1
Missaoui, Rokia, 1949-
1
Moortgat, Michael
1
Morales, Eduardo F.
1
Moreno-Díaz, Roberto, 1939-
1
Morita, Kenichi
1
Morrill, Glyn
1
Morrill, Glyn V.
1
Mossakowski, Till
1
Mosses, Peter D., 1948-
1
Motomura, Yoichi
1
Mouchard, Laurent
1
Murlak, Filip, 1980-
1
Musatov, Daniil V.
1
Muskens, Reinhard, 1953-
1
Mycroft, Alan
1
Méry, Dominique
1
Métais, Elisabeth, 1959-
1
Möller, Bernhard, 1953-
1
Müller, Jörg P., 1965-
1
Müller, M. E., 1970-
1
Müller-Hannemann, Matthias, 1969-
1
Nahir, Amir
1
Narukawa, Yasuo, 1964-
1
Naumann, David
1
Nederhof, Mark-Jan
1
Nicosia, Giuseppe
1
Nielson, Hanne Riis, 1954-
1
Niemelä, Ilkka, 1961-
1
Niwiński, Damian, 1957-
1
Noble, James
1
Nordio, Martin
1
Nordström, Bengt
1
Norrish, Michael
1
Nowotka, Dirk
1
Odersky, Martin, 1958-
1
Ogata, Kazuhiro
1
Okumura, Manabu
1
Oliveira, José Nuno
1
Olivetti, Nicola, 1963-
1
Ong, Luke
1
Ono, Hiroakira, 1942-
1
Orejas, Fernando, 1952-
1
Orgun, Mehmet A.
1
Orłowska, Ewa, 1935-
1
Osswald, Rainer
1
Owe, Olaf
1
Papadelis, Georgios
1
Parent, Christine
1
Park, Sungwoo
1
Parmentier, Yannick
1
Pavlovic, Dusko
1
Pazienza, Maria Teresa
1
Peled, Doron A., 1962-
1
Perdigão, Fernando
1
Perner, Petra, 1958-
1
Pesant, Gilles
1
Petre, Ion
1
Petre, Luigia
1
Pichardie, David
1
Pichler, Franz, 1936-
1
Pihlajasaari, Pekka
1
Pitts, A. M. (Andrew M.), 1956-
1
Plotkin, G. (Gordon), 1946-
1
Poelmans, Jonas
1
Pol, Jaco van de, 1969-
1
Polkowski, Lech
1
Polovina, Simon
1
Pontelli, Enrico, 1967-
1
Prade, Henri, 1953-
1
Prinz, Andreas, 1963-
1
Puebla, Germán
1
Pugliese, Andrea
1
Pustejovsky, J. (James), 1956-
1
Păsăreanu, Corina S.
1
Qin, Shengchao
1
Quesada-Arencibia, Alexis
1
Rabe, Florian
1
Rajamani, Sriram K., 1970-
1
Ramanna, Sheela
1
Ranta, Aarne
1
Ravn, Anders P., 1947-2019
1
Ray, Kumar S.
1
Razborov, Alexander A.
1
Real, Jorge
1
Recio, Tomas
1
Reed, Jeanne, 1948-
1
Reed, Rick, 1948-
1
Reeves, Steve
1
Regensburger, Georg
1
Reis, Gabriel Dos
1
Reischuk, Rüdiger, 1955-
1
Rendsvig, Rasmus K.
1
Rensink, Arend, 1964-
1
Restivo, Antonio, 1945-
1
Rezende, Solange Oliveira, 1964-
1
Rezgui, Yacine
1
Riguzzi, Fabrizio
1
Rival, Xavier
1
Roelofsen, Floris
1
Ronchi Della Rocca, Simona, 1946-
1
Rooij, Robert van
1
Rosenkranz, Markus
1
Rossi, Francesca, 1962-
1
Roth-Berghofer, Thomas R., 1967-
1
Roubens, Marc, 1940-
1
Rousset, Marie-Christine
1
Rudolph, Sebastian, 1976-
1
Rust, Heinrich
1
Rutkowski, Leszek, 1952-
1
Rybalchenko, Andrey
1
Rytter, Wojciech, 1948-
1
Sadri, Fariba
1
Sagiv, Mooly
1
Saitta, Lorenza, 1944-
1
Salomaa, Kai
1
Sangiorgi, Davide, 1964-
1
Sassone, Vladimiro
1
Sassoon, Galit W.
1
Sattler, Ulrike, 1966-
1
Savaci, F. Acar (Ferit Acar)
1
Scagnetto, Ivan
1
Schaerf, Marco
1
Schaub, Torsten
1
Scheffer, Tobias
1
Schewe, Klaus-Dieter
1
Schilder, Frank
1
Schirra, Stefan, 1961-
1
Schmidhuber, Jürgen
1
Schmidt, Gunther, 1939-
1
Schmidt, Jürg
1
Schobbens, Pierre-Yves, 1961-
1
Schulz, Katrin
1
Schulz, Stefan, 1969-
více ...
více ...
zavřít
×
Načítá se...