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ě
126
SpringerLink (online služba)
6
Müller, Jörg P., 1965-
5
Voronkov, Andrei
5
Voronkov, Andrei, 1959-
4
Garcia, Alessandro, 1976-
4
Giorgini, Paolo
4
Matson, Eric
4
Odell, James J., 1946-
4
Zambonelli, Franco, 1966-
3
Choren, Ricardo
3
Dignum, Virginia
3
Gleizes, Marie-Pierre
3
Lucena, Carlos J. P. de, 1943-
3
Padget, Julian A., 1959-
3
Padgham, Lin
3
Romanovsky, Alexander, 1954-
3
Weyns, Danny
2
Artikis, Alexander
2
Baral, Chitta
2
Barthe, Gilles, 1967-
2
Boissier, Olivier
2
Boissier, Olivier, 1963-
2
Braubach, Lars
2
Dastani, Mehdi
2
Dikenelli, Oğuz
2
Dillon, Tharam S., 1943-
2
Dix, Jürgen, 1961-
2
Giese, Holger
2
Gomez-Sanz, Jorge J
2
Gupta, Gopal, 1963-
2
Herrero, Pilar
2
Hübner, Jomi Fred
2
Klusch, Matthias
2
Klügl, Franziska
2
Lemos, Rogério de, 1961-
2
Lindemann, Gabriela
2
Luck, Michael
2
Meersman, R., 1947-
2
Nguyễn, Ngọc Thanh
2
Ossowski, Sascha
2
Picard, Gauthier
2
Ricci, Alessandro, 1973-
2
Veith, Helmut
2
Vidal, Germán
2
Vázquez-Salceda, Javier
1
Albert, Elvira
1
Aldewereld, Huib
1
Ali, Moonis, 1944-
1
Andersson, Jesper
1
André, Elisabeth
1
Armando, Alessandro
1
Arnellos, Argyris
1
Baader, Franz
1
Baldoni, Matteo
1
Baresi, Luciano
1
Baumgartner, Peter
1
Beckert, Bernhard
1
Beek, Peter van
1
Benhamou, Frédéric
1
Bergmann, Ralph, 1965-
1
Bessière, Christian
1
Bikakis, Antonis
1
Bjørner, Nikolaj
1
Blume, Matthias
1
Boella, Guido
1
Bolduc, Claude
1
Bordini, Rafael H.
1
Borzemski, Leszek, 1952-
1
Bresciani, Paolo
1
Brewka, Gerhard
1
Briot, Jean-Pierre, 1957-
1
Brünnler, Kai
1
Bui, The Duy
1
Cabalar, Pedro
1
Calimeri, Francesco
1
Campilho, Aurélio
1
Cervesato, Iliano
1
Cheng, Betty H. C.
1
Chitil, Olaf
1
Clarke, E. M., 1945-
1
Clavel, Manuel
1
Codish, Michael
1
Cohen, Ernie
1
Collier, Rem
1
Cossentino, Massimo
1
Dahl, Véronica
1
Dalpiaz, Fabiano, 1981-
1
Darzentas, John
1
Dastani, Mohammad Mehdi
1
Davis, Martin, 1928-2023
1
Dawar, Anuj
1
De Nicola, Rocco
1
De Nivelle, Hans
1
Dean, Mike
1
Delcambre, Lois, 1950-
1
Delgrande, James P.
1
Dennis, Louise
1
Dershowitz, Nachum
1
Desharnais, Jules
1
Dignum, Virginia, 1964-
1
Dix, Jürgen
1
Dowek, Gilles
1
Durán, Francisco
1
Edelkamp, Stefan, 1969-
1
Eekelen, Marko van
1
Eker, Steven
1
Erdem, Esra
1
Etalle, Sandro
1
Eymann, Torsten
1
Faber, Wolfgang, 1974-
1
Falaschi, Moreno
1
Fallah Seghrouchni, Amal El
1
Fehnker, Ansgar
1
Fermüller, Christian G., 1963-
1
Fischer, Klaus, 1958-
1
Flanagan, Cormac
1
Fornara, Nicoletta
1
Gabbrielli, Maurizio
1
Galmiche, Didier
1
Georgeff, Michael
1
Geuvers, Herman
1
Ghose, Aditya K.
1
Giannakopoulou, Dimitra
1
Giese, Holger, 1970-
1
Giese, Martin
1
Giunchiglia, Fausto, 1958-
1
Giurca, Adrian
1
Godo, Lluís
1
Gopalakrishnan, Ganesh
1
Gramlich, Bernhard
1
Greco, Gianluigi
1
Grzech, Adam, 1954-2016
1
Guerrero, Pablo
1
Ha, Quang Thuy
1
Haddow, Pauline C
1
Hall, John
1
Henderson-Sellers, Brian, 1951-
1
Hennicker, Rolf
1
Hermann, Miki
1
Ho, Tuong Vinh
1
Hoek van der, Wiebe
1
Holvoet, Tom
1
Hornby, Gregory S
1
Howse, John
1
Huhns, Michael N
1
Hölzl, Matthias
1
Ianni, Giovambattista
1
Inverardi, Paola
1
Jacquet, Jean-Marie
1
Jeusfeld, Manfred
1
Johnson, Michael
1
Joshi, Rajeev
1
Kamel, Mohamed S., 1948-
1
King, Andy
1
Kirn, Stefan
1
Kitzelmann, Emanuel
1
Kobayashi, Naoki, 1968-
1
Koch, Nora
1
Kolp, Manuel
1
Konev, Boris
1
Kowalczyk, Ryszard, 1961-
1
Kroening, Daniel
1
Ktari, Béchir
1
König, Barbara
1
Lamersdorf, Winfried
1
Larchey-Wendling, Dominique
1
Launchbury, John
1
Lea, Doug
1
Lee, John
1
Lee, Joohyung
1
Lemos, Rogério de
1
Leone, Nicola
1
Leung, Ho-fung
1
Lierler, Yuliya
1
Lincoln, Patrick
1
Ling, Tok Wang
1
Liu, Zhiming, 1961-
1
Logan, Brian
1
Lomuscio, Alessio
1
Magee, Jeff
1
Malek, Sam
1
Martí-Oliet, Narciso
1
Mayer, Philip
1
McIver, Annabelle, 1964-
1
McMillan, Kenneth L.
1
Meseguer, José
1
Metcalfe, George
1
Meyden, Ron van der
1
Meyer, Bertrand
1
Meyer, Bertrand, 1950-
1
Meyer, J.-J. Ch., 1954-
1
Michel, Fabien
1
Middeldorp, Aart, 1963-
1
Mouratidis, Haralambos
1
Müller, Hausi A
1
Müller, Peter
1
Niemelä, Ilkka
1
Nordio, Martin
1
Noriega, Pablo
1
Noriega, Pablo, 1953-
1
Novák, Peter
1
Olivetti, Nicola, 1963-
1
Olken, Frank
1
Ossowski, Sascha, 1968-
1
O’Grady, Michael J.
1
O’Hare, Gregory M. P.
1
Palmirani, Monica
1
Pardo, Alberto
1
Parsons, Jeffrey
1
Pavlovic, Dusko
1
Pearce, David
1
Peled, Doron A
1
Petrov, Ilia
1
Petta, Paolo
1
Petta, Paolo, 1963-
1
Peña, Ricardo, 1950-
1
Picco, Gian Pietro, 1968-
1
Plasmeijer, Rinus
1
Podelski, Andreas
1
Pokahr, Alexander
1
Polleres, Axel
1
Priami, Corrado
1
Pugliese, Andrea
1
Pěchouček, Michal, 1972-
1
Qadeer, Shaz
1
Qin, Shengchao
1
Quaglia, Paola
1
Riemsdijk, M. Birna van, 1978-
1
Rocha, Ricardo
1
Rotolo, Antonino, 1971-
1
Russo, Claudio
1
Rybalchenko, Andrey
1
Sachs, Kai
1
Saeki, Motoshi
1
Schaefer, Ina
1
Schlipf, John
1
Schmaltz, Julien
1
Schmid, Ute
1
Schmidt, Renate A.
1
Schneider, Gerardo
1
Scholz, Sven-Bodo
1
Schreye, Danny De
1
Schrijvers, Tom
1
Sekanina, Lukáš
1
Shaw, Mary
1
Shoval, Peretz
1
Sichman, Jaime S. (Jaime Simão), 1962-
1
Sichman, Jaime Simão
1
Silva, Viviane Torres da
1
Sirjani, Marjan
1
Smaus, Jan-Georg
1
Son, Tran Cao
1
Sottara, Davide
1
Stamelos, Ioannis
1
Stapleton, Gem
1
Stathis, Kostas
1
Sumii, Eijiro
1
Sutcliffe, Geoff
1
Tabet, Said
1
Talcott, Carolyn
1
Tambe, Milind
1
Terracina, Giorgio
1
Thangarajah, John
1
Thiemann, Peter
1
Timm, Ingo J.
1
Truszczyński, Mirosław
1
Truszczyński, Mirosław, 1955-
1
Vasconcelos, Wamberto
1
Vercouter, Laurent
1
Vosinakis, Spyros
1
Vouros, George A
1
Waaler, Arild
1
Wand, Yair
1
Weiss, Gerhard, 1962-
1
Wiedijk, Freek
1
Wiil, Uffe Kock
1
Winikoff, Michael
1
Wirsing, Martin
1
Witteveen, Cees
1
Wolter, Frank
1
Woo, Carson
1
Woodcock, Jim
1
Woodcock, Jim, 1956-
1
Wooldridge, Michael J
1
Zavattaro, Gianluigi
1
Zhong, Ning
1
Zhou, Neng-Fa
1
Zhu, Huibiao
zavřít
×
Načítá se...