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
953
SpringerLink (online služba)
22
Šmejkal, Ladislav, 1945-
15
ProQuest Ebook Central (online služba)
15
Till, Michal
14
Matoušek, David, 1972-
9
Plášil, František, 1943-
9
Univerzita Karlova. Katedra softwarového inženýrství
8
Taylor & Francis eBooks (online služba)
7
Horváth, Zoltán
7
Tomlain, Ján
7
Voronkov, Andrei
7
Zsók, Viktória
6
Dongarra, Jack
6
Reussner, Ralf
5
Alexander, Michael, 1972-
5
Bechynský, Štěpán
5
Chapman, Barbara, 1954-
5
Cotta, Carlos
5
Dastani, Mehdi
5
Dongarra, Jack, 1950-
5
Ekárt, Anikó
5
Kordon, Fabrice
5
Lämmel, Ralf
5
Löwe, Benedikt
5
Machado, Penousal
5
Myslín, Josef, 1982-
5
Peña, Ricardo, 1950-
5
Plasmeijer, Rinus
5
Seipel, Dietmar
5
Voronkov, Andrei, 1959-
5
Waśniewski, Jerzy
5
Černý, Josef
4
Barthe, Gilles
4
Beckert, Bernhard
4
Boer, Frank S. de
4
Butler, Michael
4
Cagnoni, Stefano
4
Cavalcanti, Ana
4
Chiba, Shigeru
4
Corchado, Emilio S.
4
Crnkovic, Ivica
4
Deb, Kalyanmoy, 1963-
4
Drechsler, Rolf
4
Du, Dingzhu, 1948-
4
D’Ambra, Pasqua
4
Hanus, Michael, 1959-
4
Hartenstein, Reiner W.
4
Hruboň, J.
4
Jansen, Klaus, 1961-
4
Jeannot, Emmanuel
4
Karczewski, Konrad
4
Kirchner, Claude
4
Kolouch, Jaromír, 1945-
4
Leite, João
4
Namyst, Raymond
4
Parashar, Manish, 1967-
4
Pfahl, Dietmar, 1963-
4
Rolim, José D. P., 1956-
4
Roman, Jean
4
Romanovsky, Alexander, 1954-
4
Romero, Juan
4
Rumpe, Bernhard
4
Saraiva, João
4
Schwiegelshohn, Uwe
4
Silva, Sara
4
Sirjani, Marjan
4
Squillero, Giovanni
4
Supinski, Bronis R. de
4
Szyperski, Clemens
4
Tanter, Éric
4
Torroni, Paolo
4
Vanneschi, Leonardo
4
Vardanega, Tullio
4
Wang, Qing, 1964-
4
Wayner, Peter, 1964-
4
Waśniewski, Jerzy, 1931-
4
Wyrzykowski, Roman
4
Zavattaro, Gianluigi
4
Černý, Jaroslav, 1966-
3
Agha, Gul
3
Ali, Moonis, 1944-
3
Badrinath, Ramamurthy
3
Barthe, Gilles, 1967-
3
Benedettelli, Daniele, 1984-
3
Berger, Hans, 1949-
3
Bonsangue, Marcello M
3
Branke, Jürgen
3
Bureš, Michal
3
Butterfield, Andrew
3
Campilho, Aurélio
3
Cheng, Betty H. C.
3
Chio, Cecilia Di
3
Choren, Ricardo
3
Dershowitz, Nachum
3
Dignum, Virginia
3
Dillon, Tharam S., 1943-
3
Dolev, Shlomi
3
Fallah Seghrouchni, Amal El
3
Finkbeiner, Bernd
3
Frachtenberg, Eitan
3
Fraser, Gordon
3
Fyfe, Colin
3
Garcia, Alessandro, 1976-
3
Giacobini, Mario
3
Giannakopoulou, Dimitra
3
Gibbons, Jeremy, 1966-
3
Giese, Holger
3
Gleizes, Marie-Pierre
3
Gustafson, Steven
3
Hage, Jurriaan
3
Havelund, Klaus
3
Hlinovský, Martin, 1971-
3
Hofmeister, Christine
3
Hrbáček, Jiří, 1955-
3
Huang, De-Shuang
3
Jansen, Klaus
3
Johnson, Ralph
3
Joshi, Rajeev
3
Katz, Shmuel
3
Klusch, Matthias
3
Klán, Petr, 1957-
3
Kobayashi, Naoki, 1968-
3
Kučera, Antonín, 1971-
3
Lacko, Ľuboslav, 1965-
3
Laurenčík, Marek
3
Lawhead, Joel, 1975-
3
Leavens, Gary T
3
Lirkov, Ivan, 1963-
3
Liu, Zhiming, 1972-
3
Lucena, Carlos J. P. de, 1943-
3
Malyškin, Viktor Èmmanuilovič
3
Margenov, Svetozar, 1953-
3
Martinásková, Marie, 1955-
3
Matson, Eric
3
Meersman, R., 1947-
3
Meseguer, José
3
Meyer, Bertrand
3
Meyer, Bertrand, 1950-
3
Mezini, Mira, 1966-
3
Monk, Simon
3
Mudrová, Lenka
3
Müller, Jörg P., 1965-
3
Nikoletseas, Sotiris
3
Noble, James
3
Nordio, Martin
3
Paige, Richard F.
3
Peled, Doron A., 1962-
3
Prasanna Kumar, V. K., 1955-
3
Raffo, David Mitchell
3
Romanovsky, Alexander
3
Son, Tran Cao
3
Suganthan, Ponnuthurai Nagaratnam
3
Taentzer, Gabriele
3
Tarantino, Ernesto
3
Trinder, Phil
3
Träff, Jesper Larsson
3
Univerzita Karlova. Matematicko-fyzikální fakulta
3
Uyar, A. Şima
3
Veith, Helmut
3
Vidal, Germán
3
Visser, Joost
3
Weidendorfer, Josef
3
Wirsing, Martin
3
Wolf, Armin
3
Woodcock, Jim
3
Woodcock, Jim, 1956-
3
Černý, Michal
3
České vysoké učení technické v Praze. Elektrotechnická fakulta
3
Špringl, Vít
2
AMETEK Inc
2
Aalst, Wil van der, 1966-
2
Abdelzaher, Tarek
2
Abraham, Ajith, 1968-
2
Abrahamsson, Pekka
2
Abramsky, Samson
2
Aceto, Luca
2
Adamec, Jaromír, 1953-
2
Albers, Susanne
2
Alpuente, María
2
Amir, Amihood
2
Antoch, Jaromír, 1953-
2
Arbab, F. (Farhad)
2
Arns, Laura
2
Assmann, Uwe, 1963-
2
Ayguadé, Eduard
2
Balogh, Richard
2
Baral, Chitta
2
Bartenstein, Oskar
2
Barták, Luděk
2
Bebis, George
2
Beliczynski, Bartlomiej
2
Belloum, Adam
2
Bensalem, Saddek
2
Benítez, José Manuel
2
Billington, Jonathan
2
Blass, Andreas
2
Boissier, Olivier
2
Bosilca, George
2
Bouajjani, Ahmed
2
Bouyssounouse, Bruno
2
Boxall, John, 1975-
2
Boyle, Richard
2
Brabazon, Anthony
2
Branke, Jürgen, 1969-
2
Braubach, Lars
2
Bravetti, Mario, 1971-
2
Bruni, Roberto
2
Bureš, Tomáš, 1978-
2
Butz, Martin V
2
Bálek, Dušan
2
Cannataro, Mario, 1964-
2
Cao, Jinde
2
Caro, Gianni A. Di
2
Casati, Fabio, 1971-
2
Cassez, Franck
2
Castagna, Giuseppe
2
Chapman, Barbara M
2
Chechik, Marsha
2
Chitil, Olaf
2
Chun, Yu Ka
2
Collet, Pierre
2
Corne, David
2
Damgård, Ivan
2
Damiani, Ernesto, 1960-
2
Damiani, Ferruccio
2
Danelutto, Marco
2
Das, Sajal K., 1960-
2
Das, Swagatam
2
Das, Swagatam, 1980-
2
De Nicola, Rocco
2
Deng, Xiaotie
2
Di Martino, Beniamino
2
Dikenelli, Oğuz
2
Drossopoulou, Sophia
2
Dzielinski, Andrzej
2
Díaz, Josep, 1950-
2
EBSCOhost (online služba)
2
Ebner, Marc
2
Ebner, Marc, 1969-
2
Edelkamp, Stefan, 1969-
2
Eekelen, Marko van
2
El-Ghazawi, Tarek
2
Erdem, Esra
2
Ernst, Erik
2
Esparcia-Alcázar, Anna I
2
Esparcia-Alcázar, Anna Isabel
2
Etalle, Sandro
2
Fages, François
2
Falco, Ivanoe De
2
Farooq, Muddassar
2
Fernau, Henning
2
Fiadeiro, José Luiz, 1961-
2
Fleischer, Rudolf, 1964-
2
France, Robert
2
France, Robert B.
2
Ganzha, Victor G
2
García-Pedrajas, Nicolás
2
Gavoille, Cyril
2
Gerndt, Michael
2
Geske, Ulrich
2
Giese, Holger, 1970-
2
Giorgini, Paolo
2
Glesner, Manfred, 1943-
2
Goldberg, Leslie Ann
2
Gomez-Sanz, Jorge J
2
Gorton, Ian, 1962-
2
Governatori, Guido
2
Grelck, Clemens
2
Gschwind, Thomas
2
Guarracino, Mario Rosario
2
Guo, Minyi
2
Gupta, Gopal, 1963-
2
Hagiya, Masami, 1957-
2
Halldórsson, Magnús M
2
Hameurlain, Abdelkader, 1952-
2
Hansson, David Heinemeier, 1979-
2
Hanák, Ján, 1982-
2
Haugen, Øystein
2
Heineman, George T.
2
Hermenegildo, Manuel V
2
Herrera, Francisco
2
Herrero, Pilar
2
Hinze, Ralf
2
Hirschfeld, Robert
2
Hnětynka, Petr
2
Hoek, Wiebe van der
2
Holub, Vojtěch
2
Holvoet, Tom
2
Howse, John
2
Hruban, Petr
2
Huch, Frank
2
Huisman, Marieke
2
Hähnle, Reiner, 1962-
2
Hölzl, Matthias
2
Hübner, Jomi Fred
2
Igarashi, Atsushi
2
Ingólfsdóttir, Anna
2
Inverardi, Paola
2
Iwanowski, Marcin
2
Jandečka, Karel, 1949-
2
Janoušek, Jan, 1971-
2
Jansa, Lukáš, 1977-
2
Jensen, Kurt, 1950-
2
Jhala, Ranjit
2
Jo, Kang-Hyun
2
Johnson, Michael
2
Jones, C. B. (Cliff B.), 1944-
2
Jones, Martin
2
Julliand, Jacques
2
Jézéquel, Jean-Marc
2
Kamel, Mohamed S., 1948-
2
Klosowski, James
2
Klügl, Franziska
2
Knüpfer, Andreas
2
Konev, Boris
2
Kopeček, Pavel, 1951-
2
Koracin, Darko
2
Kosek, Rostislav
2
Koubâa, Anis
2
Kožmín, Pavel
2
Krishnamachari, Bhaskar
2
Kroening, Daniel
2
Kwok, James
2
Křena, Michal
2
Lanet, Jean-Louis
2
Lee, Wei Meng
2
Lemos, Rogério de
2
Leroy, Pascal
2
Leucker, Martin
2
Leuschel, Michael
2
Levine, Daniel S
2
Li, Yingshu
2
Lindemann, Gabriela
2
Lisý, Zbyněk
2
Liu, Shaoying
2
Lopes, Antónia
2
Lu, Bao-Liang
2
Luck, Michael
2
Maibaum, Thomas S. E., 1947-
2
Majumdar, Rupak
2
Marchiori, Elena
2
Margenov, Svetozar
2
Martino, Beniamino Di
2
Martí-Oliet, Narciso
2
Mayr, Ernst W
2
McCarthy, Jay
2
Meer, Sven van der
2
Melichar, Bořivoj, 1942-
2
Merelo-Guervós, Juan J
2
Merz, Stephan
2
Messnarz, Richard
2
Meuter, Wolfgang De
2
Meyer auf der Heide, Friedhelm
2
Michaelson, Greg J
2
Mirandola, Raffaela
2
Monroe, Laura
2
Moore, Jason H
2
Moraglio, Alberto
2
Morazán, Marco T
2
Morgan, Carroll
2
Muggleton, Stephen
2
Müller, Matthias S
2
Müller, Matthias S.
2
Müller, Peter
2
Müller, Tomáš, 1978-
2
Netopil, Jiří
2
Nierstrasz, Oscar Marius, 1957-
2
Ossher, Harold
2
Ossowski, Sascha
2
O’Neill, Michael
2
Padget, Julian A., 1959-
2
Padgham, Lin
2
Page, Rex, 1944-
2
Palsberg, Jens
2
Panigrahi, Bijaya Ketan
2
Papuga, Jan, 1975-
2
Pardo, Alberto
2
Parvin, Bahram
2
Paulin-Mohring, Christine, 1962-
2
Peters, Jörg
2
Petriu, Dorina C
2
Picard, Gauthier
2
Pinho, Luís Miguel
2
Plasil, Frantisek
2
Ploedereder, Erhard
2
Pol, Jaco van de, 1969-
2
Poloni, Carlo
2
Pontelli, Enrico
2
Porikli, Fatih
2
Potapov, Igor
2
Preuss, Mike
2
Priami, Corrado
2
Priol, Thierry
2
Qadeer, Shaz
2
Qin, Shengchao
2
Queiroz, Ruy J. G. B. de
2
Ramon, Jan
2
Rashid, Awais
2
Raynal, Michel, 1949-
2
Remagnino, Paolo
2
Rhyne, Theresa-Marie
2
Ribeiro, Bernardete
2
Ricci, Alessandro, 1973-
2
Richter, Hendrik
2
Rocha, Ricardo
2
Rolim, José
2
Rossi, Francesca, 1962-
2
Rothlauf, Franz
2
Rouquette, Nicolas
2
Rozenberg, Grzegorz, 1942-
2
Roşu, Grigore
2
Ruby, Sam
2
Rudolph, Larry
2
Rudolph, Sebastian
2
Rybalchenko, Andrey
2
Růžička, Milan, 1955-
2
Sadayappan, P.
2
Sagiv, Mooly
2
Salaün, Gwen
2
Sarukkai, Sundar
2
Sassone, Vladimiro
2
Satapathy, Suresh Chandra, 1964-
2
Sato, Mitsuhisa
2
Schiper, André
2
Schmidt, Heinz Wilhelm, 1952-
2
Scholz, Sven-Bodo
2
Schrijvers, Tom
2
Schulte, Wolfram
2
Schätz, Bernhard
2
Schürr, Andy
2
Scott, Stephen L.
2
Selic, Bran
2
Sifakis, Joseph, 1946-
2
Simao, Adenilso
2
Smid, Peter
2
Smith, George D
2
Smythe, Richard J.
2
Sokolsky, Oleg
2
Spirakis, Paul G
2
Stafford, Judith A
2
Stafford, Judith A.
2
Sun, Fuchun
2
Südholt, Mario
2
Słowiński, Roman
2
Taft, S. Tucker
2
Talcott, Carolyn
2
Talia, Domenico
2
Tamaddoni-Nezhad, Alireza
2
Tan, Ying
2
Thai, Chi N., 1955-
2
Thomas, David, 1956-
2
Tillmann, Nikolai
2
Timmis, Jon
2
Tjoa, A Min
2
Togelius, Julian
2
Tomassini, Marco
2
Toth, David
2
Traff, Jesper Larsson
2
Troubitsyna, Elena
2
Truszczyński, Mirosław
2
Univerzita Karlova. Katedra pravděpodobnosti a matematické statistiky
2
Urquhart, Neil
2
Vacek, Václav, 1948-
2
Valk, Laurens
2
Vallée, Geoffroy
2
Van Hentenryck, Pascal, 1963-
2
Vasconcelos, Vasco T
2
Vene, Varmo
2
Virbitskaite, Irina
2
Virius, Miroslav, 1953-
2
Vitek, Jan, 1966-
2
Višňovský, Stanislav
2
Vorozhtsov, Evgenii V
2
Vázquez-Salceda, Javier
2
Váňa, Vladimír, 1950-
2
Wallnau, Kurt
2
Walukiewicz, Igor
2
Wang, Guilin
2
Wehrheim, Heike
2
Weyns, Danny
2
Whittle, Jon, 1972-
2
Wohlstadter, Eric
2
Woods, Roger
2
Wunsch, Donald C
2
Yannakakis, Georgios N
2
Yi, Kwangkeun
2
Yu, Wen
2
Zambonelli, Franco, 1966-
2
Zaverucha, Gerson
2
Zaïdi, Fatiha
2
Zdun, Uwe
2
Zeiler, Michael
2
Zeugmann, Thomas
2
Zhang, Jianwei
2
Zhang, Liqing
2
Zhang, Mengjie
2
Zhu, Huibiao
2
Zisman, Andrea
2
Západočeská univerzita. Fakulta aplikovaných věd
2
Západočeská univerzita. Strojní fakulta
more ...
more ...
close
×
Loading...