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ě
117
SpringerLink (online služba)
3
Liu, Zhiming, 1972-
2
Embley, David W.
2
Fiadeiro, José Luiz, 1961-
2
Gupta, Gopal, 1963-
2
Miller, Dale (Dale A.), 1956-
2
Olivé, Antoni, 1946-
2
Paulin-Mohring, Christine, 1962-
2
Potapov, Igor
2
Ram, Sudha, 1959-
2
Vardanega, Tullio
2
Vidal, Germán
2
Voronkov, Andrei, 1959-
2
Ölveczky, Peter Csaba
1
Abdulla, Parosh Aziz
1
Amadio, Roberto M.
1
Arbab, F. (Farhad)
1
Audebaud, Philippe
1
Bach, Joscha
1
Baier, Christel
1
Baldan, Paolo
1
Barbosa, Luís Soares
1
Beckert, Bernhard
1
Bensalem, Saddek
1
Bernardo, Marco, 1970-
1
Beyer, Dirk, 1972-
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Blazy, Sandrine
1
Blume, Matthias
1
Boca, Paul
1
Boella, Guido
1
Boer, Frank S. de
1
Bonsangue, Marcello M. (Marcello Maria)
1
Boreale, Michele
1
Borger, Egon
1
Bouajjani, Ahmed
1
Bowen, J. P. (Jonathan Peter), 1956-
1
Bravetti, Mario, 1971-
1
Butler, Michael, 1967-
1
Calimeri, Francesco
1
Cerone, Antonio
1
Chatterjee, Krishnendu
1
Chen, Peter P. S., 1947-
1
Ciobanu, Gabriel
1
Cohen, Ernie
1
Czarnecki, Krzysztof, 1970-
1
D'Souza, Deepak
1
Davis, Martin, 1928-2023
1
De Nicola, Rocco
1
Delcambre, Lois, 1950-
1
Delgrande, James P.
1
Domenach, Florent
1
Dovier, Agostino, 1965-
1
Drossopoulou, Sophia
1
Duan, Zhenhua
1
Duchier, Denys
1
Edelkamp, Stefan, 1969-
1
Ehrig, Hartmut, 1944-
1
Engels, Gregor
1
Etessami, Kousha
1
Faber, Wolfgang, 1974-
1
Falaschi, Moreno
1
Fehnker, Ansgar
1
Feng, Xinyu
1
Fermüller, Christian G., 1963-
1
Fitzgerald, John, 1965-
1
Fleuriot, Jacques, 1972-
1
Furbach, Ulrich, 1948-
1
Fähndrich, Manuel
1
Gabbrielli, Maurizio
1
Gheyi, Rohit
1
Ghosh, Sujata
1
Giachino, Elena
1
Gibbons, Jeremy, 1966-
1
Giese, Holger, 1970-
1
Giese, Martin
1
Gnesi, Stefania, 1954-
1
Godo, Lluís
1
Goertzel, Ben, 1966-
1
Gogolla, Martin, 1954-
1
Gorla, Daniele
1
Gramlich, Bernhard, -2014
1
Gupta, Aarti
1
Hanus, Michael, 1959-
1
Havelund, Klaus, 1955-
1
Haveraaen, Magne
1
Hawblitzel, Chris
1
Hayes, Ian, 1956-
1
Hedin, Görel
1
Hendren, Laurie
1
Hennicker, Rolf
1
Henzinger, T. A., 1962-
1
Hierons, Robert M.
1
Hinze, Ralf
1
Holvoet, Tom
1
Holzmann, Gerald J., 1951-
1
Honsell, Furio
1
Horimoto, Katsuhisa
1
Hurd, Joe, 1975-
1
Hutter, Dieter
1
Hähnle, Reiner, 1962-
1
Höfner, Peter
1
Ianni, Giovambattista
1
Ida, Tetsuo
1
Igarashi, Atsushi
1
Ignatov, Dmitrij Igorevič, 1983-
1
Iida, Shusaku
1
Iklé, Matthew
1
Issarny, Valérie
1
Janhunen, Tomi
1
Jhala, Ranjit
1
Jipsen, Peter
1
Johnsen, Einar Broch
1
Johnson, Michael
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Richard
1
Joshi, Rajeev
1
Kahl, Wolfram
1
Karhumäki, Juhani, 1949-
1
Kaschek, Roland
1
Kobayashi, Naoki, 1968-
1
Kreowski, Hans-Jörg, 1949-
1
Krishnamurthi, Shriram
1
Kroening, Daniel
1
Kučera, Antonín, 1971-
1
König, Barbara
1
Lal, Akash
1
Larsen, K. G. (Kim G.), 1957-
1
Legay, Axel
1
Leite, João, 1970-
1
Lepistö, Arto
1
Li, Xuandong
1
Liu, Shaoying
1
Logozzo, Francesco
1
Lomuscio, Alessio
1
Lumpe, Markus
1
Maler, Oded
1
Malik, Sharad
1
Manea, Florin
1
Marchetti-Spaccamela, Alberto
1
Margaria-Steffen, Tiziana, 1964-
1
McIver, Annabelle, 1964-
1
McMillan, Kenneth L.
1
Melham, T. F. (Tom F.), 1960-
1
Merayo, Mercedes G.
1
Meseguer, José
1
Meyer, Bertrand, 1950-
1
Miculan, Marino
1
Missaoui, Rokia, 1949-
1
Montanari, Ugo, 1943-
1
Mossakowski, Till
1
Mosses, Peter D., 1948-
1
Mycroft, Alan
1
Méry, Dominique
1
Müller, Jörg P., 1965-
1
Müller, M. E., 1970-
1
Müller-Hannemann, Matthias, 1969-
1
Nahir, Amir
1
Naumann, David
1
Niemelä, Ilkka, 1961-
1
Noble, James
1
Nordio, Martin
1
Nowotka, Dirk
1
Odersky, Martin, 1958-
1
Ogata, Kazuhiro
1
Oliveira, José Nuno
1
Olivetti, Nicola, 1963-
1
Orejas, Fernando, 1952-
1
Park, Sungwoo
1
Parkes, Alan P., 1955-
1
Parmentier, Yannick
1
Pavlovic, Dusko
1
Petre, Luigia
1
Peña, Ricardo, 1950-
1
Pichardie, David
1
Pihlajasaari, Pekka
1
Pitts, A. M. (Andrew M.), 1956-
1
Poelmans, Jonas
1
Pol, Jaco van de, 1969-
1
Pontelli, Enrico, 1967-
1
Prinz, Andreas, 1963-
1
Puebla, Germán
1
Pugliese, Andrea
1
Păsăreanu, Corina S.
1
Qin, Shengchao
1
Rajamani, Sriram K., 1970-
1
Ravn, Anders P., 1947-2019
1
Real, Jorge
1
Reed, Jeanne, 1948-
1
Reed, Rick, 1948-
1
Regensburger, Georg
1
Rensink, Arend, 1964-
1
Rival, Xavier
1
Rosenkranz, Markus
1
Rozenberg, Grzegorz, 1942-
1
Rust, Heinrich
1
Rybalchenko, Andrey
1
Sagiv, Mooly
1
Sassone, Vladimiro
1
Sattler, Ulrike, 1966-
1
Scagnetto, Ivan
1
Schirra, Stefan, 1961-
1
Schmidt, Jürg
1
Schmidt, Renate A.
1
Schobbens, Pierre-Yves, 1961-
1
Schrijvers, Tom
1
Segal, Michael
1
Sestoft, Peter
1
Shankar, N.
1
Shao, Zhong, 1968-
1
Steffen, Bernhard, 1958-
1
Stephan, Werner, 1947-
1
Tarlecki, Andrzej, 1956-
1
Thiemann, Peter
1
Tinelli, Cesare
1
Torre, Leendert Willem Nicolaas van der, 1968-
1
Torroni, Paolo
1
Truszczyński, Mirosław, 1955-
1
Verbrugge, Rineke, 1965-
1
Viroli, Mirko
1
Voigtländer, Janis
1
Vos, Tanja
1
Waaler, Arild
1
Weber, Michael
1
Winkler, Franz, 1955-
1
Wolff, Burkhart, 1962-
1
Wong, Leah Y.
1
Woodcock, Jim, 1956-
1
Yang, Hongseok
1
Yi, Wang
1
Yoshida, Hiroshi
1
Zambonelli, Franco, 1966-
1
Zamboni, Luca
1
Zeller, Andreas, 1965-
1
de la Puente, Juan Antonio
1
van Benthem, Johan
1
Ågotnes, Thomas
zavřít
×
Načítá se...