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
prev ...
1
Hund, Marcus
1
Huo, Qiang
1
Hurd, Joe, 1975-
1
Hutter, Dieter
1
Hutter, Marcus
1
Hähnle, Reiner
1
Hähnle, Reiner, 1962-
1
Höfner, Peter
1
Hölzl, Matthias
1
Ianni, Giovambattista
1
Ibarra, Oscar H., 1941-
1
Icard, Thomas
1
Ignatov, Dmitrij Igorevič, 1983-
1
Iklé, Matthew
1
Imiya, Atsushi
1
Inenaga, Shunsuke
1
Inoue, Katsumi
1
Irwin, G. W. (George William), 1950-
1
Isahara, Hitoshi
1
Ishizuka, Mitsuru, 1948-
1
Jackson, Paul
1
Jain, Sanjay
1
Jain, Sanjay, 1965 únor 22.-
1
Janhunen, Tomi
1
Janicki, Ryszard
1
Jarvis, Ray
1
Jeuring, Johan, 1965-
1
Jeřábek, Emil
1
Jha, Girish Nath
1
Jiao, Li-cheng
1
Jipsen, Peter
1
Johnson, Michael
1
Jones, Robert B. (Robert Brent), 1969-
1
Jonoska, Nataša
1
Jorge, Alípio Mário
1
Joshi, Rajeev
1
Jouannaud, Jean-Pierre
1
Jäger, Gerhard
1
Järvisalo, Matti
1
Jäschke, Robert
1
Kacprzyk, Janusz, 1947-
1
Kahle, Reinhard
1
Kaiser, Łukasz
1
Kaliszyk, Cezary
1
Kaljurand, Kaarel
1
Kallmeyer, Laura
1
Kaminski, Michael
1
Kanazawa, Makoto
1
Kang, Byeong-ho
1
Kang, Hee-Jun
1
Kannan, Rajkumar
1
Kanzaki, Kyoko
1
Kapur, Deepak
1
Kari, Jarkko
1
Karttunen, Lauri
1
Kaschek, Roland
1
Katrenko, Sophia
1
Katz, Graham
1
Kaufmann, Matt
1
Kaytoue, Mehdi
1
Kerber, Manfred
1
Kern-Isberner, Gabriele
1
Kersting, Kristian, 1973-
1
Kesim Çiçekli, Nihan
1
Kimmelman, Vadim
1
King, Andy
1
Kitzelmann, Emanuel
1
Kivinen, Jyrki
1
Klautau, Aldebaro
1
Klein, Gerwin
1
Kleine Büning, Hans
1
Klettke, Meike
1
Klusch, Matthias
1
Kobayashi, Naoki, 1968-
1
Kobayashi, Satoshi
1
Koch, Nora
1
Kofod-Petersen, Anders
1
Kohlhase, Michael
1
Kok, Joost N
1
Kolaitis, Phokion
1
Kop, Christian
1
Kornai, András
1
Koronacki, Jacek
1
Koubarakis, Manolis
1
Kramer, Stefan
1
Krennwallner, Thomas
1
Krishna, Shankara Narayanan
1
Krishnamurthi, Shriram
1
Kroening, Daniel
1
Krüger, Antonio
1
Ktari, Béchir
1
Kuchen, Herbert
1
Kuich, Werner
1
Kullmann, Oliver
1
Kulmann, Friedhelm
1
Kupke, Clemens
1
Kuri Morales, Ángel Fernando
1
Kwuida, Léonard
1
Kühnberger, Kai-Uwe
1
Küng, Josef
1
Lalitha Devi, Sobha
1
Lamma, Evelina
1
Lang, Jérôme
1
Lange, Christoph
1
Lanzi, Pier Luca
1
Larchey-Wendling, Dominique
1
Larrosa, Javier
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-
1
Lee, Hong-Hee
1
Lee, Jimmy
1
Lee, Jong-Hyeok
1
Lee, Joohyung
1
Legay, Axel
1
Leivant, Daniel Maurice Raphaël
1
Leone, Nicola
1
Lepistö, Arto
1
Leporati, Alberto
1
Levine, Daniel S
1
Levit, Vadim E.
1
Li, Haizhou
1
Li, Huaxiong
1
Li, Kang
1
Li, Wenjie
1
Li, Xue, 1963-
1
Lierler, Yuliya
1
Lima, Vera Lúcia Strube de
1
Lin, Fangzhen
1
Lincoln, Patrick
1
Lipshteyn, Marina
1
Lisi, Francesca A
1
Lisi, Francesca A.
1
Lisitsa, Alexei
1
Litovsky, Igor
1
Liu, Jing
1
Liu, Weiru, 1962-
1
Liu, Zhi-Qiang
1
Lodaya, Kamal
1
Lomuscio, Alessio
1
Long, Philip M
1
Loog, Marco
1
Looks, Moshe
1
Lu, Qin
1
Lucas, Peter J. F.
1
Lugosi, Gábor
1
Lukose, Dickson
1
Lukose, Dickson, 1963-
1
Lutz, Carsten
1
Löwe, Benedikt
1
Ma, Bin
1
MacCaull, Wendy
1
Madhusudan, P
1
Magnani, Lorenzo
1
Magnini, Bernardo
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, Tiziana
1
Margaria-Steffen, Tiziana, 1964-
1
Marinaro, Maria, 1933-
1
Mariño, Julio
1
Marques-Silva, João
1
Marquis, Pierre
1
Martini, Simone, 1959-
1
Martí-Oliet, Narciso
1
Martín-Mateos, Francisco J.
1
Marín, Roque
1
Mastroeni, Isabella
1
Masulli, Francesco, 1952-
1
Matsumoto, Yuji, 1955-
1
Matwin, Stan
1
Maudet, Nicolas
1
May, Wolfgang
1
Mayer, Philip
1
Mayr, Heinrich C
1
McBride, Conor
1
McConnell, Ross M.
1
McGinty, Lorraine
1
McIver, Annabelle, 1964-
1
Medina, Raoul
1
Medina-Moreno, Jesús
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
1
Metcalfe, George
1
Meyer, Roland
1
Miao, Duoqian
1
Micalizio, Roberto
1
Miclet, Laurent
1
Miculan, Marino
1
Miguel, Ian
1
Mineshima, Koji
1
Minor, Mirjam
1
Mirkin, Boris G
1
Missaoui, Rokia, 1949-
1
Mitchell, David G
1
Mitkov, Ruslan
1
Miyamoto, Sadaaki
1
Miyamoto, Sadaaki, 1950-
1
Mladenič, Dunja
1
Mollá-Aliod, Diego
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
1
Muggleton, Stephen H
1
Mugnier, Marie-Laure
1
Munos, Rémi
1
Murata, Tsuyoshi
1
Muñoz-Avila, Héctor
1
Muńoz, Rafael
1
Mycroft, Alan
1
Mykowiecka, Agnieszka
1
Mylopoulos, John, 1943-
1
Métais, Elisabeth
1
Möller, Bernhard
1
Müller, M. E., 1970-
1
Müller, Peter
1
Nahir, Amir
1
Narboux, Julien
1
Nguifo, Engelbert Mephu
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
1
Oliveira, Cláudia
1
Oliveira, José
1
Olivetti, Nicola, 1963-
1
Olivé, Antoni, 1946-
1
Onaindia, Eva
1
Ong, Luke
1
Ono, Hiroakira, 1942-
1
Oostrom, Vincent van
1
Orgun, Mehmet A.
1
Orseau, Laurent
1
Orłowska, Ewa, 1935-
1
Osswald, Rainer
1
Otero, Ramon
1
Paes, Aline
1
Pahikkala, Tapio
1
Paige, Richard F.
1
Pal, Sankar K., 1950-
1
Palchunov, Dmitry E
1
Papadelis, Georgios
1
Paraboni, Ivandré
1
Pardo, Thiago A. S
1
Pardo, Thiago Alexandre Salgueiro
1
Parent, Christine
1
Parent, Xavier
1
Park, Seong-Bae
1
Parmentier, Yannick
1
Paschke, Adrian
1
Pastor, Óscar, 1962-
1
Paul, Wolfgang
1
Paulson, Lawrence C
1
Pavlovic, Dusko
1
Pazienza, Maria Teresa
1
Pearce, David
1
Pearce, David J.
1
Peled, Doron A
1
Perdigão, Fernando
1
Pesant, Gilles
1
Petcu, Adrian
1
Peters, Wim
1
Petre, Ion
1
Peña, Ricardo, 1950-
1
Peñaloza, Rafael
1
Pham, Duc-Nghia
1
Pichardie, David
1
Pichler, Franz, 1936-
1
Pichler, Reinhard
1
Pirrone, Roberto
1
Piterman, Nir
1
Plasmeijer, Rinus
1
Platzer, André
1
Podelski, Andreas
1
Poelmans, Jonas
1
Polycarpou, Marios, 1962-
1
Pontelli, Enrico
1
Porreca, Antonio E.
1
Potapov, Alexey
1
Prade, Henri
1
Priss, Uta
1
Proietti, Maurizio
1
Prost, Jean-Philippe
1
Przepiórkowski, Adam
1
Pu, Geguang
1
Puebla, Germán
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
1
Quesada-Arencibia, Alexis
1
Quiñonero-Candela, Joaquin, 1977-
1
Raamsdonk, Femke van
1
Rahonis, George
1
Rajamani, Sriram K., 1970-
1
Ram, Sudha, 1959-
1
Ramanujam, R
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-
1
Richardson, Daniel C
1
Richter, Michael M
1
Richter-Gebert, Jürgen
1
Rijsbergen, Keith van
1
Ringeissen, Christophe
1
Rival, Xavier
1
Rocha, Ricardo
1
Roelofsen, Floris
1
Rosenkranz, Markus
1
Rosner, Michael
1
Roubens, Marc, 1940-
1
Rozenberg, Grzegorz
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
1
Rödder, Wilhelm
1
Sadighi, Babak
1
Sadri, Fariba
1
Saitta, Lorenza, 1944-
1
Sakai, Hiroshi
1
Sakakibara, Yasubumi
1
Sakarovitch, Jacques, 1947-
1
Salakoski, Tapio
1
Sali, Attila
1
Salomaa, Arto
1
Salomaa, Kai
1
Santos Costa, Vítor
1
Santos, José
1
Sartor, Giovanni
1
Sarukkai, Sundar
1
Sassoon, Galit W.
1
Sato, Kengo
1
Satoh, Ken
1
Sattar, Abdul
1
Sattler, Ulrike, 1966-
1
Sauerland, Uli
1
Savaci, F. Acar (Ferit Acar)
1
Scagnetto, Ivan
1
Schaerf, Marco
1
Schaub, Torsten
1
Scheffer, Tobias
1
Schilder, Frank
1
Schlipf, John
1
Schmaltz, Julien
1
Schmid, Ute
1
Schmidhuber, Jürgen
1
Schmidt, Gunther, 1939-
1
Schmidt, Jürg
1
Schmidt, Renate A.
1
Schmidt, Stefan
1
Schmidtke, Hedda R
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
1
Schulz, Katrin
1
Schulz, Stefan, 1969-
1
Schwabe, Kerstin
1
Schwentick, Thomas, 1963-
1
Schwertel, Uta
1
Schärfe, Henrik, 1968-
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
Sichman, Jaime S. (Jaime Simão), 1962-
1
Siegler, Simon
1
Sierra-Rodríguez, José-Luis
1
Silverman, Barry
1
Simon, Hans Ulrich
1
Simon, Hans Ulrich, 1954-
1
Simon, Laurent
1
Skadhauge, Peter Rossen
1
Slavkovik, Marija
1
Smaus, Jan-Georg
1
Snaider, Javier
1
Sofge, Donald
1
Sojka, Petr
1
Soler-Toscano, Fernando
1
Soliman, Sylvain
1
Soloviev, Sergei
1
Sorbello, Filippo
1
Sossai, Claudio
1
Spada, Luca
1
Spiliopoulou, Myra, 1965-
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-
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
1
Struth, Georg
1
Stuckey, Peter J
1
Sturm, Thomas
1
Su, Jian
1
Su, Keh-Yih
1
Subrahmanian, V. S
1
Suciu, Dan
1
Sumii, Eijiro
1
Sutcliffe, Geoff
1
Swart, H. C. M. de (Henricus Cornelius Maria), 1944-
1
Swart, Harrie de
1
Szczuka, Marcin
1
Szczuka, Marcin, 1970-
1
Szepesvári, Csaba
1
Tadepalli, Prasad
1
Tadeusiewicz, Ryszard
1
Tadeusiewicz, Ryszard, 1947-
1
Tagliaferri, Roberto, 1960-
1
Talcott, Carolyn
1
Tan, C. J. Kenneth
more ...
more ...
close
×
Loading...