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 ...
prev ...
1
Krishnamurthi, Shriram
1
Kroening, Daniel
1
Krüger, Antonio
3
Kryszkiewicz, Marzena B.
1
Ktari, Béchir
1
Kühnberger, Kai-Uwe
2
Kuhn, Tobias
1
Kuchen, Herbert
1
Kuich, Werner
1
Kullmann, Oliver
1
Kulmann, Friedhelm
1
Kulmann, Friedhelm, 1959-
1
Küng, Josef
1
Kupke, Clemens
1
Kuri Morales, Ángel Fernando
1
Kuznecov, Sergej Olegovič
3
Kuznetsov, Sergei O
2
Kwong, Oi Yee
1
Kwuida, Léonard
1
La Higuera, Colin de
1
Lalitha Devi, Sobha
1
Lamma, Evelina
1
Lange, Christoph
2
Lang, Jérôme
1
Lanzi, Pier Luca
1
Larchey-Wendling, Dominique
1
Larrosa, Javier
2
Laskey, Kathryn B
2
Laskey, Kenneth J
1
Lassiter, Daniel
1
Launchbury, John
1
Lausen, Georg
1
Lavrač, Nada, 1953-
1
Lawless, William
1
Lawrence, Neil (Neil D.), 1972-
1
Leake, David
1
Leake, David B., 1957-
2
Lecomte, Alain
1
Lee, Hong-Hee
1
Lee, Jimmy
1
Lee, Jong-Hyeok
1
Lee, Joohyung
1
Legay, Axel
4
Leite, João
3
Leite, João, 1970-
1
Leivant, Daniel Maurice Raphaël
1
Lenz, Mario
1
Leone, Nicola
1
Lepistö, Arto
1
Leporati, Alberto
1
Levesque, Hector J., 1951-
1
Levine, Daniel S
1
Levit, Vadim E.
2
Libkin, Leonid, 1965-
1
Lierler, Yuliya
1
Li, Haizhou
1
Li, Huaxiong
1
Li, Jinhai
1
Li, Kang
1
Lima, Vera Lúcia Strube de
1
Lincoln, Patrick
2
Lin, Fangzhen
2
Lingras, Pawan J. (Pawan Jayawantrao), 1963-
1
Lin, Lin
1
Lipshteyn, Marina
1
Lisi, Francesca A
1
Lisi, Francesca A.
1
Lisitsa, Alexei
3
Li, Tianrui
1
Litovsky, Igor
1
Liu, Jing
1
Liu, Weiru, 1962-
1
Liu, Zhi-Qiang
1
Li, Wenjie
1
Li, Xue, 1963-
2
Llorà, Xavier
2
Löbner, Sebastian, 1949-
1
Lodaya, Kamal
1
Lomuscio, Alessio
1
Long, Philip M
1
Loog, Marco
1
Looks, Moshe
1
Löwe, Benedikt
1
Lucas, Peter J. F.
1
Lugosi, Gábor
4
Lukasiewicz, Thomas
2
Lukasová, Alena, 1936-
1
Lukose, Dickson
1
Lukose, Dickson, 1963-
1
Luo, Bin
1
Lu, Qin
1
Lutz, Carsten
2
Lutz, Carsten, 1971-
1
Ma, Bin
1
MacCaull, Wendy
1
MacNish, Craig
1
Madhusudan, P
1
Magnani, Lorenzo
1
Magnini, Bernardo
3
Malerba, Donato
1
Malik, Sharad
1
Mamede, Nuno
1
Mamede, Nuno J
1
Manara, Corrado
1
Manea, Florin
1
Mantaras, Raomon Lopez de
1
Manzano, María
1
Manzoni, Luca
1
Manzoni, Sara
1
Marciniak, Małgorzata
1
Marek, Victor W.
1
Margaria-Steffen, Tiziana, 1964-
1
Margaria, Tiziana
1
Marinaro, Maria, 1933-
1
Mariño, Julio
1
Marín, Roque
1
Marques-Silva, João
1
Marquis, Pierre
2
Marra, Vincenzo
1
Martini, Simone, 1959-
1
Martín-Mateos, Francisco J.
5
Martín-Vide, Carlos
1
Martí-Oliet, Narciso
1
Marvan, Ivo
1
Mastroeni, Isabella
2
Masulli, Francesco
1
Masulli, Francesco, 1952-
1
Matsumoto, Yuji, 1955-
1
Matwin, Stan
1
Maudet, Nicolas
2
Mauri, Giancarlo, 1949-
1
Mayer, Philip
1
Mayr, Heinrich C
1
May, Wolfgang
1
McBride, Conor
3
McBurney, Peter
1
McConnell, Ross M.
1
McGinty, Lorraine
1
McIver, Annabelle, 1964-
2
McMillan, Kenneth L.
1
Medina-Moreno, Jesús
1
Medina, Raoul
1
Meghini, Carlo
1
Meheus, Joke
1
Meir, Ron
1
Melham, T. F. (Tom F.), 1960-
1
Melin, Patricia
1
Mellouli, Khaled
1
Mengin, Jérôme
1
Mertsching, Bärbel
2
Meseguer, José
1
Métais, Elisabeth
1
Metcalfe, George
2
Meyden, Ron van der
2
Meyer, John-Jules Ch
1
Meyer, Roland
1
Miao, Duoqian
1
Micalizio, Roberto
2
Miclet, Laurent
1
Miculan, Marino
2
Middeldorp, Aart, 1963-
1
Miguel, Ian
2
Miller, Dale (Dale A.), 1956-
1
Mineshima, Koji
1
Minor, Mirjam
1
Mirkin, Boris G
2
Missaoui, Rokia, 1949-
1
Mitchell, David G
1
Mitkov, Ruslan
2
Mitra, Sushmita
1
Miyamoto, Sadaaki
1
Miyamoto, Sadaaki, 1950-
1
Mladenič, Dunja
1
Mollá-Aliod, Diego
1
Möller, Bernhard
1
Montemagni, Simonetta
1
Montoyo, Andrés
1
Moor, Oege de
1
Moot, Richard
1
Morales, Eduardo F.
1
Moreno-Díaz, Roberto, 1939-
1
Morik, Katharina
1
Morik, Katharina, 1954-
1
Morita, Kenichi
1
Morrill, Glyn
1
Morrill, Glyn V.
1
Moss, Lawrence S.
1
Motoda, Hiroshi
1
Motomura, Yoichi
2
Muggleton, Stephen
1
Muggleton, Stephen H
1
Mugnier, Marie-Laure
1
Müller, M. E., 1970-
1
Müller, Peter
1
Munos, Rémi
1
Muñoz-Avila, Héctor
1
Muńoz, Rafael
1
Murata, Tsuyoshi
2
Muskens, Reinhard, 1953-
1
Mycroft, Alan
1
Mykowiecka, Agnieszka
1
Mylopoulos, John, 1943-
1
Nahir, Amir
1
Narboux, Julien
2
Narukawa, Yasuo
3
Narukawa, Yasuo, 1964-
2
Nederhof, Mark-Jan
1
Nguifo, Engelbert Mephu
4
Nguyen, Hung Son
2
Nickles, Matthias
1
Nicola, Rocco De
1
Nicosia, Giuseppe
1
Niemelä, Ilkka
1
Niemelä, Ilkka, 1961-
1
Nieuwenhuis, Robert
1
Niranjan, Mahesan
1
Nishino, Tetsuro
1
Nordström, Bengt
1
Norrish, Michael
1
Nouwen, Rick
1
Novák, Peter
1
Nowotka, Dirk
1
Nunes, Maria das Graças Volpe
1
Ob“jedkov, Sergej Aleksandrovič
1
Odersky, Martin, 1958-
1
Ogrodniczuk, Maciej
1
Ojeda Aciego, Manuel, 1967-
1
Okhotin, Alexander
1
Okumura, Manabu
2
Olivé, Antoni, 1946-
1
Oliveira, Arlindo, 1963-
1
Oliveira, Cláudia
1
Oliveira, José
1
Onaindia, Eva
1
Oncina, Jose
1
Ong, Luke
1
Ono, Hiroakira, 1942-
1
Oostrom, Vincent van
1
Orgun, Mehmet A.
2
Orłowska, Ewa
1
Orłowska, Ewa, 1935-
1
Orseau, Laurent
1
Osswald, Rainer
1
Ostravská univerzita. Přírodovědecká fakulta
2
O’Sullivan, Barry
1
Otero, Ramon
1
Paes, Aline
1
Pahikkala, Tapio
1
Paige, Richard F.
1
Palchunov, Dmitry E
1
Paliouras, Georgios, 1970-
1
Pal, Sankar K., 1950-
1
Papadelis, Georgios
1
Paraboni, Ivandré
1
Pardo, Thiago Alexandre Salgueiro
1
Pardo, Thiago A. S
1
Parent, Christine
1
Parent, Xavier
1
Park, Seong-Bae
1
Parmentier, Yannick
3
Parsons, Simon
1
Paschke, Adrian
2
Pasi, Gabriella, 1961-
1
Pastor, Óscar, 1962-
2
Paulin-Mohring, Christine, 1962-
1
Paulson, Lawrence C
1
Paul, Wolfgang
1
Pavlovic, Dusko
1
Pazienza, Maria Teresa
1
Pearce, David
1
Pearce, David A., 1952-
1
Pearce, David J.
3
Pedrycz, Witold, 1953-
1
Peled, Doron A
1
Peñaloza, Rafael
1
Peña, Ricardo, 1950-
1
Perdigão, Fernando
1
Pereira, Luís Moniz
2
Perner, Petra
3
Perner, Petra, 1958-
1
Pesant, Gilles
1
Petcu, Adrian
18
Peters, James F., 1936-
1
Peters, Wim
1
Petre, Ion
4
Petrosino, Alfredo
2
Pfahringer, Bernhard
2
Pfenning, Frank
1
Pham, Duc-Nghia
1
Pichardie, David
1
Pichler, Franz, 1936-
1
Pichler, Reinhard
1
Pirri, Fiora
1
Pirrone, Roberto
1
Piterman, Nir
2
Plaat, Aske
1
Plasmeijer, Rinus
1
Platzer, André
1
Podelski, Andreas
1
Poelmans, Jonas
2
Pogodalla, Sylvain
3
Polkowski, Lech
2
Polovina, Simon
1
Polycarpou, Marios, 1962-
1
Pontelli, Enrico
2
Pool, Michael
1
Porreca, Antonio E.
1
Potapov, Alexey
1
Prade, Henri
1
Priss, Uta
1
Proietti, Maurizio
1
ProQuest Ebook Central (online služba)
1
Prost, Jean-Philippe
1
Przepiórkowski, Adam
1
Pu, Geguang
1
Pugliese, Andrea
1
Puppis, Gabriele
1
Pustejovsky, J. (James), 1956-
1
Pyysalo, Sampo
1
Qadeer, Shaz
1
Qin, Shengchao
1
Quaresma, Paulo
1
Quaresma, Pedro
1
Quatrini, Myriam
5
Queiroz, Ruy J. G. B. de
1
Quesada-Arencibia, Alexis
1
Quiñonero-Candela, Joaquin, 1977-
1
Raamsdonk, Femke van
2
Rabe, Florian
1
Rahonis, George
3
Rahwan, Iyad
1
Rajamani, Sriram K., 1970-
3
Ramanna, Sheela
1
Ramanujam, R
2
Ramon, Jan
2
Ram, Sudha, 1959-
1
Ranise, Silvio
1
Ranta, Aarne
1
Raś, Zbigniew W
1
Recio, Tomas
1
Regensburger, Georg
1
Reis, Gabriel Dos
1
Rendsvig, Rasmus K.
1
Renz, Jochen
1
Retoré, Christian, 1964-
1
Reyes-Garcia, Carlos Alberto
1
Rezende, Solange Oliveira, 1964-
1
Ricci, Francesco, 1959-
2
Riguzzi, Fabrizio
1
Richardson, Daniel C
2
Richter, Frank
1
Richter-Gebert, Jürgen
1
Richter, Michael M
1
Rijsbergen, Keith van
2
Ringeissen, Christophe
1
Rishe, Naphtali, 1957-
1
Rival, Xavier
1
Rödder, Wilhelm
1
Rödder, Wilhelm, 1942-
1
Roelofsen, Floris
1
Rocha, Ricardo
2
Rooij, Robert van
1
Rosenkranz, Markus
1
Rosner, Michael
2
Rossi, Francesca
3
Roth-Berghofer, Thomas R
2
Roth-Berghofer, Thomas R., 1967-
1
Roubens, Marc, 1940-
1
Rozenberg, Grzegorz
2
Rozenberg, Grzegorz, 1942-
7
Rudolph, Sebastian
1
Rudolph, Sebastian, 1976-
1
Ruiz, Ernestina Menasalvas
1
Ruml, Wheeler
1
Russo, Claudio
1
Rutkowski, Leszek
1
Rutkowski, Leszek, 1952-
1
Rybalchenko, Andrey
1
Rybinski, Henryk
1
Rybiński, Henryk
2
Sacarea, Christian, 1970-
1
Sadighi, Babak
1
Sadri, Fariba
1
Saitta, Lorenza, 1944-
1
Sakai, Hiroshi
3
Sakakibara, Yasubumi
2
Sakallah, Karem A.
1
Sakarovitch, Jacques, 1947-
1
Salakoski, Tapio
1
Sali, Attila
1
Salomaa, Arto
1
Salomaa, Kai
1
Salzer, Gernot
1
Santos Costa, Vítor
1
Santos, José
1
Sartor, Giovanni
1
Sarukkai, Sundar
1
Sassoon, Galit W.
1
Satoh, Ken
2
Satoh, Ken, 1959-
1
Sato, Kengo
1
Sattar, Abdul
1
Sattler, Ulrike, 1966-
1
Sauerland, Uli
1
Savaci, F. Acar (Ferit Acar)
1
Scagnetto, Ivan
2
Sebastiani, Roberto
1
Segond, Frédérique
1
Seki, Hirohisa
1
Sellers, Andrew
1
Serra, Roberto
1
Sertkaya, Barış
1
Seshia, Sanjit A
1
Seth, Anil
1
Sexton, Alan P
1
Shang, Lin
1
Shankar, N.
1
Shao, Zhong
1
Shavlik, Jude
1
Shi, Guanming
1
Schaerf, Marco
1
Schärfe, Henrik, 1968-
2
Schaub, Torsten
1
Scheffer, Tobias
3
Schewe, Klaus-Dieter
1
Schilder, Frank
1
Schlechta, Karl
1
Schlipf, John
1
Schmaltz, Julien
1
Schmidhuber, Jürgen
1
Schmid, Jürg, 1944-
1
Schmidt, Gunther, 1939-
1
Schmidt, Jürg
1
Schmidtke, Hedda R
2
Schmidt, Renate A
1
Schmidt, Renate A.
1
Schmidt-Schauss, M.
1
Schmidt, Stefan
1
Schmidt, Stefan E.
1
Schmid, Ute
1
Schmitt, Peter H
1
Schmitz, Hans-Christian
1
Schmitz, Sylvain
1
Schneider, Klaus
1
Scholz, Sven-Bodo
1
Schreck, Pascal
1
Schreye, Danny De
2
Schrijvers, Tom
1
Schulz, Katrin
1
Schulz, Stefan, 1969-
1
Schwabe, Kerstin
1
Schwentick, Thomas, 1963-
1
Schwertel, Uta
1
Siegler, Simon
1
Siekmann, Jörg, 1941-
1
Sierra-Rodríguez, José-Luis
1
Sichman, Jaime S. (Jaime Simão), 1962-
1
Silverman, Barry
1
Simon, Hans Ulrich
1
Simon, Hans Ulrich, 1954-
1
Simon, Laurent
1
Skadhauge, Peter Rossen
13
Skowron, Andrzej
8
Skowron, Andrzej, 1943-
1
Slavkovik, Marija
1
Slutzki, Giora
1
Smaus, Jan-Georg
1
Snaider, Javier
1
Sofge, Donald
2
Sofronie-Stokkermans, Viorica
1
Sojka, Petr
2
Sojka, Petr, 1963-
1
Soler-Toscano, Fernando
1
Soliman, Sylvain
1
Soloviev, Sergei
3
Son, Tran Cao
1
Sorbello, Filippo
2
Sorge, Volker
1
Sossai, Claudio
1
Spada, Luca
1
Spiliopoulou, Myra, 1965-
513
SpringerLink (online služba)
1
Sproat, Richard W
1
Stabler, Edward
1
Stamou, Giorgos
1
Stapleton, Gem
1
Stathis, Kostas
1
Steels, Luc
1
Stefanowski, Jerzy
1
Steffen, Bernhard
1
Steffen, Bernhard, 1958-
3
Stephan, Frank
1
Stephan, Werner, 1947-
1
Stickel, Mark E.
1
Stock, Oliviero, 1950-
1
Stoilos, Giorgos
1
Stoltz, Gilles
1
Stolzmann, Wolfgang
1
Storey, Veda Catherine, 1956-
1
Strass, Hannes
more ...
close
×
Loading...