Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Author
Sort
Result Count
Alphabetical
more ...
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
Aoki, Toshiaki
1
Archibald, Margaret
1
Artemov, Sergei
1
Arumugam, S., 1943-
1
Arun-Kumar, S
1
Auer, Peter, 1964-
1
Avron, Arnon
1
Azevedo, Francisco de Moura e Castro Ascensão de, 1969-
1
Bacchus, Fahiem
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Bach, Joscha
1
Baier, Christel
1
Balcázar, José L
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Banerjee, Mohua
1
Barahona, Pedro, 1954-
1
Barceló, Pablo
1
Barkatou, Moulay
1
Bartocci, Ezio
1
Béal, Marie-Pierre
2
Beckmann, Arnold
1
Beierle, Christoph
2
Beklemishev, Lev D.
1
Bensalem, Saddek
1
Benz, Anton
1
Berghammer, Rudolf, 1952-
1
Berghofer, Stefan
1
Bezhanishvili, Nick
1
Bieger, Jordi
1
Biere, Armin, 1967-
1
Bjørner, Nikolaj
1
Blass, Andreas
1
Blazy, Sandrine
1
Blockeel, Hendrik
1
Bodlaender, Hans L
2
Boer, Frank S. de
1
Bonacina, Maria Paola
1
Bonakdarpour, Borzoo
1
Bonizzoni, Paola
1
Bouajjani, Ahmed
1
Bouchou-Markhoff, Béatrice
1
Bramer, M. A. (Max A.), 1948-
1
Branco, António
2
Brattka, Vasco
1
Brazdil, Pavel, 1945-
1
Bshouty, Nader H
1
Bshouty, Nader H.
1
Bulatov, Andrei A.
1
Bulling, Nils
1
Butler, Michael
1
Butz, Cory J.
1
Calude, Cristian S
2
Calude, Cristian, 1952-
1
Camacho, Rui
1
Caron, Pascal
1
Carton, Olivier
1
Cerone, Antonio
1
Cimatti, Alessandro
1
Cluzeau, Thomas
1
Coecke, Bob, 1968-
1
Coelho, Helder, 1944-
1
Cohen, David
1
Colinet, Margot
1
Conchon, Sylvain
4
Cooper, S. B. (S. Barry), 1943-2015
1
Coppo, Mario
1
Corby, Olivier
1
Croitoru, Madalina
2
Csuhaj-Varjú, Erzsébet
1
Csuhaj-Varjú, E., 1954-
1
Daelemans, Walter
1
Daelemans, Walter, 1960-
1
Dagan, Ido
1
Dale, Robert, 1959-
1
Datta, Anupam
2
Dau, Frithjof
1
Dawar, Anuj
1
Dawar, Anuj, 1966-
5
Dediu, Adrian-Horia
1
De Felice, Clelia, 1959-
1
Degano, Pierpaolo
1
Delcambre, Lois, 1950-
1
Delzanno, Giorgio
1
Dennunzio, Alberto
2
De Raedt, Luc, 1964-
1
Derrick, John
2
Dershowitz, Nachum
1
Díaz, Josep, 1950-
1
Diekert, Volker
2
Dietzfelbinger, Martin
1
Dinneen, Michael J
2
Domaratzki, Michael
1
Domenach, Florent
1
Downey, Rod
1
Drewes, Frank
1
Drossopoulou, Sophia
1
Durand, Bruno
1
Durand-Lose, Jerome
1
Durand-Lose, Jérôme
2
Ebert, Christian
1
Ehrig, Hartmut
1
Ehrig, Hartmut, 1944-
1
Eiter, Thomas
1
Eiter, Thomas, 1966-
1
Eklund, Peter W., 1962-
1
Engels, Gregor
1
Etessami, Kousha
2
Fages, François
1
Fahrenberg, Uli
1
Faltings, Boi V
1
Farré, Jacques
1
Fiala, Jiří
1
Filliâtre, Jean-Christophe
1
Finkel, Alain
1
Fomin, Fedor V
1
Fontaine, Pascal
1
Formenti, Enrico
1
Franceschinis, Giuliana
1
Frappier, Marc
1
Frasconi, Paolo
1
Freivalds, Rūsiņš
1
Freund, Rudolf
1
Frid, Anna
1
Froncek, Dalibor
1
Frühwirth, Thom, 1962-
1
Fürnkranz, Johannes
1
Gama, João
1
Gamboa, Ruben
1
Gao, Yuan
1
Garg, Naveen
1
Gębala, Maciej
2
Gelbukh, Alexander, 1962-
1
Gentile, Claudio
1
Ghilardi, Silvio
1
Ghosh, Sujata
1
Gibbons, Jeremy, 1966-
1
Giese, Holger, 1970-
1
Glässer, Uwe
1
Glässer, Uwe, 1959-
1
Gnesi, Stefania
2
Goertzel, Ben
1
Goertzel, Ben, 1966-
2
Goethals, Bart
1
Goldreich, Oded
1
Gomes, Carla
1
Gopal, T. V.
2
Goranko, Valentin
1
Greco, Sergio, 1955-
3
Gunopulos, Dimitrios
1
Gupta, Aarti
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
Hill, Richard
2
Hirsch, Edward A
1
Hitzler, Pascal, 1971-
3
Hofmann, Thomas
1
Höfner, Peter
1
Holub, Jan, 1973-
1
Holzer, Markus
1
Honsell, Furio
1
Hoos, Holger H
1
Howse, John
1
Huang, De-Shuang
1
Huo, Qiang
1
Hutter, Marcus
1
Champarnaud, Jean-Marc
1
Chan, T-H. Hubert
1
Charatonik, Witold
1
Chatterjee, Krishnendu
1
Chen, Jianer
1
Chng, Eng-Siong
2
Ibarra, Oscar H., 1941-
1
Ignatov, Dmitrij Igorevič, 1983-
2
Iida, Hiroyuki
1
Iklé, Matthew
1
Iliopoulos, Costas S
1
Inenaga, Shunsuke
1
Irwin, G. W. (George William), 1950-
1
Itō, Masami, 1941-
2
Jäger, Gerhard
1
Jain, Rahul
2
Jain, Sanjay
1
Jain, Sanjay, 1965 únor 22.-
1
Janhunen, Tomi
1
Jaoua, Ali Mohamed
1
Järvisalo, Matti
1
Jha, Girish Nath
1
Jhala, Ranjit
1
Jiao, Li-cheng
2
Jin, Yaochu, 1966-
1
Jipsen, Peter
1
Johnsen, Einar Broch
1
Jonoska, Nataša
1
Jorge, Alípio Mário
1
Jurdziński, Marcin
2
Jürgensen, Helmut, 1942-
1
Kahl, Wolfram
1
Kanazawa, Makoto
5
Karhumäki, Juhani, 1949-
1
Kari, Jarkko
1
Karttunen, Lauri
1
Kaschek, Roland
1
Katrenko, Sophia
1
Kazuo, Iwama
1
Kedad, Zoubida
1
Kersting, Kristian, 1973-
1
Khoussainov, Bakhadyr
2
Khurshid, Sarfraz
1
Kivinen, Jyrki
1
Kleine Büning, Hans
1
Klein, Gerwin
1
Knoop, Jens
1
Kohlenbach, Ulrich
1
Kok, Joost N
1
König, Barbara
1
Konstantinidis, Stavros
1
Koopman, Pieter
1
Koronacki, Jacek
1
Královič, Rastislav
1
Kramer, Stefan
1
Kratochvíl, Jan
1
Kratochvíl, Jan, 1959-
1
Kreowski, Hans-Jörg, 1949-
1
Kühnberger, Kai-Uwe
1
Kulikov, Alexander
1
Kullmann, Oliver
1
Kuncak, Viktor
1
Kutrib, Martin
1
Kutyłowski, Mirosław
2
Kuznetsov, Sergei O
2
Kwong, Oi Yee
1
Laleau, Régine
1
Lammari, Nadira
1
Lanese, Ivan, 1978-
1
Larrosa, Javier
1
Latella, Diego
1
Lau, Lap Chi
1
Lavrač, Nada, 1953-
1
Lawrence, Neil (Neil D.), 1972-
1
Lecroq, Thierry, 1965-
1
Lee, Jimmy
1
Lee, Jong-Hyeok
1
Legay, Axel
2
Leivant, Daniel Maurice Raphaël
3
Lepistö, Arto
1
Leporati, Alberto
1
Leroux, Jérôme
1
Levit, Vadim E.
2
Li, Angsheng
1
Libkin, Leonid, 1965-
1
Li, Haizhou
1
Li, Kang
1
Link, Sebastian
1
Lipshteyn, Marina
1
Liśkiewicz, Maciej
1
Litovsky, Igor
1
Liu, Jing
1
Liu, Weiru, 1962-
1
Liu, Zhiming, 1972-
1
Liu, Zhi-Qiang
1
Li, Xue, 1963-
1
Lodaya, Kamal
1
Lodi, Elena
1
Long, Philip M
1
Looks, Moshe
4
Löwe, Benedikt
1
Lugosi, Gábor
1
Lu, Hanlin
2
Lukasiewicz, Thomas
1
Ma, Bin
1
Maffei, Matteo
1
Magnini, Bernardo
1
Mahajan, Meena
1
Majumdar, Rupak
3
Malerba, Donato
1
Maler, Oded
1
Malik, Sharad
1
Maneth, Sebastian
1
Mantaras, Raomon Lopez de
1
Manzoni, Luca
1
Margenstern, Maurice
1
Marchetti-Spaccamela, Alberto
1
Marques-Silva, João
5
Martín-Vide, Carlos
1
Marx, Dániel
1
Matsumoto, Yuji, 1955-
1
Matwin, Stan
1
Maurel, Denis
2
Mauri, Giancarlo, 1949-
1
Mayr, Ernst W., 1950-
1
McConnell, Ross M.
1
Meghini, Carlo
1
Meir, Ron
1
Merz, Stephan
1
Meseguer, José
1
Métais, Elisabeth, 1959-
1
Meziane, Farid
1
Miculan, Marino
1
Michaelis, Jens
1
Milano, Michela, 1970-
1
Miller, Mirka
1
Miller, Mirka, 1949-2016
1
Mishra, Bhubaneswar, 1958-
1
Mitchell, David G
1
Mitrana, Victor
1
Mladenič, Dunja
1
Möller, Bernhard, 1953-
1
Morales, Eduardo F.
1
Moreira, Nelma
1
Morik, Katharina
1
Morik, Katharina, 1954-
1
Morita, Kenichi
1
Morozov, Andrey
1
Moss, Lawrence S.
1
Mouchard, Laurent
2
Muggleton, Stephen
1
Mugnier, Marie-Laure
1
Müller-Hannemann, Matthias, 1969-
1
Müller, M. E., 1970-
1
Munos, Rémi
1
Murlak, Filip
1
Musatov, Daniil V.
1
Mycroft, Alan
1
Nagl, Manfred, 1944-
1
Nagy, Benedek
1
Nerode, Anil
1
Nicola, Rocco De
1
Ničković, Dejan
1
Nielson, Hanne Riis, 1954-
1
Niemelä, Ilkka, 1961-
1
Nies, André
1
Nipkow, Tobias
1
Niranjan, Mahesan
1
Niwiński, Damian
1
Nogueira, Pablo
1
Normann, Dag, 1947-
1
Nowotka, Dirk
1
O’Boyle, Michael
1
Ogihara, Mitsunori, 1963-
3
Okhotin, Alexander
2
Ong, Luke
1
Ono, Hiroakira, 1942-
1
Orseau, Laurent
1
Ortmeier, Frank
2
O’Sullivan, Barry
1
Otero, Ramon
1
Owe, Olaf
1
Panangaden, Prakash
1
Pang, Jun
1
Parisi-Presicce, Francesco
2
Paulin-Mohring, Christine, 1962-
1
Paun, Gheorghe, 1950-
1
Pedrycz, Witold, 1953-
1
Pesant, Gilles
1
Petcu, Adrian
1
Peters, James F., 1936-
1
Petre, Ion
1
Petre, Luigia
2
Pfahringer, Bernhard
1
Pihlajasaari, Pekka
1
Pichardie, David
1
Pin, Jean-Éric
1
Pinna, G. Michele
2
Plaat, Aske
1
Plasmeijer, Rinus
1
Plotkin, G. (Gordon), 1946-
1
Poelmans, Jonas
1
Polovina, Simon
1
Polycarpou, Marios, 1962-
1
Porreca, Antonio E.
1
Potapov, Alexey
4
Potapov, Igor
1
Prade, Henri, 1953-
3
Priami, Corrado
1
Prilutskii, Michail
1
Priss, Uta
1
Puebla, Germán
1
Qadeer, Shaz
1
Qin, Shengchao
1
Qiu, Zongyan
7
Queiroz, Ruy J. G. B. de
1
Quiñonero-Candela, Joaquin, 1977-
1
Rabinovich, Alexander
1
Rajamani, Sriram K., 1970-
1
Ramanna, Sheela
1
Ramanujam, R
1
Ramon, Jan
1
Rauzy, Antoine
1
Ravikumar, B.
1
Ravn, Anders P., 1947-2019
1
Real, Jorge
1
Reeves, Steve
1
Regensburger, Georg
1
Reischuk, Rüdiger, 1955-
1
Reisig, Wolfgang
2
Reis, Rogério
1
Rendsvig, Rasmus K.
1
Rensink, Arend
1
Renz, Jochen
1
Restivo, Antonio, 1945-
1
Rezende, Solange Oliveira, 1964-
1
Rezgui, Yacine
1
Ringeissen, Christophe
1
Rooij, Robert van
1
Rosenkranz, Markus
2
Rossi, Francesca
1
Rovan, Branislav
1
Rozenberg, Grzegorz
4
Rozenberg, Grzegorz, 1942-
3
Rudolph, Sebastian
1
Rust, Heinrich
1
Rutkowski, Leszek
1
Rutkowski, Leszek, 1952-
2
Rybalchenko, Andrey
1
Sadri, Fariba
2
Sakallah, Karem A.
1
Sali, Attila
1
Salomaa, Arto, 1934-
2
Salomaa, Kai
1
Sangiorgi, Davide, 1964-
1
Sankowski, Piotr
2
Sarukkai, Sundar
1
Sassone, Vladimiro
1
Satoh, Ken, 1959-
1
Scagnetto, Ivan
2
Sebastiani, Roberto
1
Segal, Michael
1
Seki, Shinnosuke
1
Sen, Koushik
1
Sen, Sandeep
1
Seth, Anil
1
Sgall, Jirí
1
Sgall, Jiří, 1965-
1
Shallit, Jeffrey Outlaw, 1957-
1
Shavlik, Jude
1
Shi, Guanming
2
Shur, Arseny M.
1
Schärfe, Henrik, 1968-
1
Scheffer, Tobias
1
Schirra, Stefan, 1961-
1
Schmidhuber, Jürgen
1
Schmidt, David
1
Schmidt, Renate A
1
Schmitz, Sylvain
1
Schrijvers, Tom
1
Schulte, Christian
2
Schürr, Andy
1
Schwentick, Thomas, 1963-
1
Sierra-Rodríguez, José-Luis
1
Sichman, Jaime S. (Jaime Simão), 1962-
1
Simon, Hans Ulrich
1
Simon, Hans Ulrich, 1954-
1
Simon, Laurent
1
Skowron, Andrzej
1
Skowron, Andrzej, 1943-
1
Smolka, Scott A
1
Smyth, William F
1
Smyth, William F.
1
Snaider, Javier
1
Sofronie-Stokkermans, Viorica
1
Sommaruga, Giovanni, 1956-
1
Soskova, Alexandra
1
Soskova, Mariya
1
Soskov, Ivan
1
Spiliopoulou, Myra, 1965-
265
SpringerLink (online služba)
1
Sproat, Richard W
1
Stefanowski, Jerzy
1
Steffen, Martin, 1965-
4
Stephan, Frank
1
Stoltz, Gilles
1
Strass, Hannes
1
Strichman, Ofer
1
Stumme, Gerd
1
Suciu, Dan
1
Su, Jian
1
Su, Keh-Yih
1
Swierstra, Doaitse
1
Szeider, Stefan
1
Szepesvári, Csaba
1
Tadepalli, Prasad
1
Tadeusiewicz, Ryszard
1
Tadeusiewicz, Ryszard, 1947-
1
Taguchi, Kenji
1
Tamaddoni-Nezhad, Alireza
1
Tarui, Jun
1
Tasiran, Serdar
more ...
close
×
Loading...