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ě
238
SpringerLink (online služba)
7
Rozenberg, Grzegorz
6
Păun, Gheorghe
6
Salomaa, Arto
5
Meseguer, José
3
Horváth, Zoltán
3
Kutrib, Martin
3
Liu, Shaoying
3
Martí-Oliet, Narciso
3
Palamidessi, Catuscia
3
Potapov, Igor
3
Seidl, Helmut
3
Vardanega, Tullio
3
Zsók, Viktória
3
Ölveczky, Peter Csaba
2
Bernardo, Marco
2
Bozapalidis, Symeon
2
Diekert, Volker, 1955-
2
Duan, Zhenhua
2
Durand, Bruno
2
Fiadeiro, José Luiz, 1961-
2
Futatsugi, Kokichi
2
Gheorghe, Marian
2
Giannakopoulou, Dimitra
2
Habib, M. (Michel), 1951-
2
Hage, Jurriaan
2
Hinze, Ralf
2
Horimoto, Katsuhisa
2
Ibarra, Oscar H., 1941-
2
Julliand, Jacques
2
Kreowski, Hans-Jörg
2
Kroening, Daniel
2
Liben-Nowell, David
2
Liu, Zhiming
2
Liu, Zhiming, 1972-
2
Lämmel, Ralf
2
Martín-Vide, Carlos
2
Montanari, Ugo, 1943-
2
Morazán, Marco T
2
Mossakowski, Till
2
Méry, Dominique
2
Naumann, David
2
Nerode, Anil
2
Nordio, Martin
2
Ong, Luke
2
Pighizzini, Giovanni
2
Plasmeijer, Rinus
2
Rahonis, George
2
Rutten, Jan
2
Sagiv, Mooly
2
Salaün, Gwen
2
Saraiva, João
2
Sekerinski, Emil, 1963-
2
Simao, Adenilso
2
Tsumoto, Shūsaku, 1963-
2
Visser, Joost
2
Wolff, Burkhart
2
Woodcock, Jim
1
Abadi, Martín
1
Aceto, Luca
1
Achten, Peter
1
Agha, Gul
1
Ait Ameur, Yamine
1
Albert, Elvira
1
Alfaro, Luca de
1
Aloni, Maria
1
Alpuente, María
1
Alt, Helmut, 1950-
1
Amadio, Roberto M.
1
Anai, Hirokazu
1
Apel, Sven
1
Araki, Keijiro
1
Arbab, F. (Farhad)
1
Arbab, Farhad
1
Artemov, Sergei
1
Artemov, Sergei N
1
Asarin, Jevgenij Aleksandrovič, 1962-
1
Audebaud, Philippe
1
Baek, Joonsang
1
Baldan, Paolo
1
Bansal, Nikhil
1
Banâtre, Jean-Pierre
1
Bao, Feng
1
Barbosa, Luís Soares
1
Bastiaanse, Harald
1
Bauer, Jörg
1
Beckert, Bernhard
1
Bensalem, Saddek
1
Bernardo, Marco, 1970-
1
Bertossi, Leopoldo
1
Beyer, Dirk
1
Biere, Armin, 1967-
1
Binder, Walter
1
Bishop, Judith
1
Blanchette, Jasmin Christian
1
Blazy, Sandrine
1
Bloem, Roderick
1
Boca, Paul
1
Bodden, Eric
1
Boer, Frank S. de
1
Bojanczyk, Mikolai
1
Bonanno, Giacomo
1
Bonsangue, Marcello M
1
Bonsangue, Marcello M. (Marcello Maria)
1
Book, Matthias
1
Bordihn, Henning
1
Boreale, Michele
1
Borger, Egon
1
Bouyer, Patricia, 1976-
1
Bowen, J. P. (Jonathan Peter), 1956-
1
Braga, Christiano
1
Bravetti, Mario, 1971-
1
Breugel, Franck van
1
Brorsson, Mats
1
Brucker, Achim D
1
Bruni, Roberto
1
Bursa, Miroslav
1
Butler, Michael
1
Butler, Michael, 1967-
1
Butterfield, Andrew
1
Cabot, Jordi
1
Caires, Luís
1
Calinescu, Radu
1
Canal, Carlos
1
Casadio, Claudia
1
Cassez, Franck
1
Castagna, Giuseppe
1
Chatterjee, Krishnendu
1
Chen, Falai
1
Chen, Kefei
1
Codescu, Mihai
1
Coecke, Bob, 1968-
1
Comon-Lundh, Hubert
1
Cooper, S. B. (S. Barry), 1943-2015
1
Corne, David
1
Corradini, Andrea
1
Corradini, Andrea, 1960-
1
Cortellessa, Vittorio
1
Cousot, Radhia
1
Curien, Pierre-Louis
1
Cîrstea, Corina
1
D'Souza, Deepak
1
Dams, Dennis
1
Dang, Zhe, 1967-
1
Danvy, Olivier
1
Davies, Jim
1
Dediu, Adrian Horia
1
Diaconescu, Răzvan
1
Dierkes, Michael
1
Dingel, Juergen
1
Ditmarsch, Hans van
1
Dovier, Agostino, 1965-
1
Dowek, Gilles, 1966-
1
Durand-Lose, Jérôme
1
Durán, Franciso
1
D’Souza, Meenakshi
1
Egyed, Alexander
1
Eiter, Thomas, 1966-
1
Eleftherakis, George
1
Engels, Gregor
1
Escobar, Santiago
1
Fages, François
1
Feliachi, Abderrahmane
1
Feng, Xinyu
1
Fernandes, João M
1
Fernau, Henning
1
Fiadeiro, José Luiz
1
Filé, Gilberto
1
Finocchi, Irene
1
Fisher, Michael
1
Fitzgerald, John, 1965-
1
Fliedl, Günther
1
Fradet, Pascal
1
Franconi, Enrico
1
Fraser, Gordon
1
Frisco, Pierluigi
1
Furia, Carlo A
1
Fähndrich, Manuel
1
Garay, Juan A
1
Gargantini, Angelo
1
Garrigue, Jacques
1
Gaudel, Marie-Claude
1
Gent, Ian P
1
George, Laurent
1
Gheyi, Rohit
1
Giachino, Elena
1
Giavitto, Jean-Louis
1
Gibbons, Jeremy
1
Gibbons, Jeremy, 1966-
1
Giese, Holger
1
Gill, Andy
1
Gnesi, Stefania, 1954-
1
Gogolla, Martin
1
Gogolla, Martin, 1954-
1
Gorla, Daniele
1
Graf, Susanne
1
Groce, Alex
1
Grossi, Davide
1
Gruhn, Volker
1
Grumberg, Orna
1
Grumberg, Orna, 1952-
1
Gschwind, Thomas
1
Gupta, Rajiv
1
Gutierrez, Claudio
1
Güdemann, Matthias
1
Handschuh, Siegfried
1
Hankin, Chris
1
Hannemann, Ulrich
1
Harman, Neil
1
Hasegawa, Masahito
1
Hatcliff, John
1
Havelund, Klaus, 1955-
1
Haveraaen, Magne
1
Hayes, Ian, 1956-
1
He, Xiangdong
1
Henson, Martin
1
Henzinger, T. A., 1962-
1
Hierons, Robert M.
1
Hinze, Thomas
1
Hodges, Andrew, 1949-
1
Hoek, Wiebe van der
1
Hofmann, Martin
1
Holliday, Wesley H
1
Holzer, Markus
1
Holzinger, Andreas, 1963-
1
Holzmann, Gerald J., 1951-
1
Hoogeboom, Hendrik Jan
1
Horty, John
1
Hu, Zhenjiang
1
Huang, Huaxin
1
Hung, Dang Van
1
Hunter, Anthony
1
Hähnle, Reiner, 1962-
1
Idani, Akram
1
Igarashi, Atsushi
1
Iida, Shusaku
1
Ingólfsdóttir, Anna
1
Ionescu, Armand Mihai
1
Issarny, Valérie
1
Italiano, Giuseppe F
1
Italiano, Giuseppe F., 1961-
1
Jackson, Ethan
1
Jager, Tikitu de
1
Jensen, Thomas
1
Jermann, Christophe
1
Jhala, Ranjit
1
Johnsen, Einar Broch
1
Johnson, Michael
1
Jones, C. B. (Cliff B.), 1944-
1
Jones, Cliff
1
Jones, Cliff B
1
Jones, Richard
1
Joshi, Rajeev
1
Jouannaud, Jean-Pierre
1
Jouannaud, Jean-Pierre, 1947-
1
Ju, Shier
1
Jüttler, Bert
1
Kaminski, Michael
1
Kanazawa, Makoto
1
Kapetanios, Epaminondas
1
Kashefi, Elham
1
Katz, Shmuel
1
Kefalas, Petros
1
Kelemen, Jozef
1
Kelemenová, Alica
1
Khuri, Sami
1
Kim, Myung-Soo
1
King, Steve
1
Kirchner, Claude
1
Kirchner, Hélène
1
Klin, Bartek
1
Koopman, Pieter
1
Kop, Christian
1
Kornai, András
1
Kosmatov, Nikolai
1
Kouchnarenko, Olga
1
Koutny, Maciej
1
Kracht, Marcus
1
Kristensen, Lars M
1
Kurz, Alexander
1
Kutsia, Temur
1
Kučera, Antonín, 1971-
1
Lai, Xuejia
1
Lakhneck, Yassine
1
Lal, Akash
1
Lang, Jérôme
1
Lara, Juan de
1
Larsen, K. G. (Kim G.), 1957-
1
Lasota, Slawomir
1
Leavens, Gary T
1
Legay, Axel
1
Lenisa, Marina
1
Leucker, Martin
1
Lewerentz, Claus
1
Li, Xuandong
1
Li, Yuefeng
1
Lingras, Pawan J. (Pawan Jayawantrao), 1963-
1
Lluch Lafuente, Alberto
1
Logozzo, Francesco
1
Loidl, Hans-Wolfgang+
1
Lumpe, Markus
1
Löwe, Benedikt
1
Löwe, Welf
1
Maletti, Andreas
1
Manna, Zohar, 1939-2018
1
Marché, Claude
1
Margenstern, Maurice
1
Martel, Matthieu
1
Martell, Craig
1
Mauri, Giancarlo, 1949-
1
Mayr, Heinrich C.
1
Merayo, Mercedes G.
1
Merz, Stephan
1
Meyer, Bertrand
1
Meyer, Bertrand, 1950-
1
Mezník, Ivan, 1942-
1
Miao, Duoqian
1
Michel, Olivier
1
Miné, Antoine
1
Misra, Jayadev
1
Miyaji, Atsuko
1
Mohamed, Otmane Ait
1
Montanari, Ugo
1
Monteiro, Luís
1
Moortgat, Michael
1
Moot, Richard
1
Moreira, Nelma
1
Morgan, Carroll
1
Mosses, Peter D., 1948-
1
Muntean, Traian
1
Muscholl, Anca
1
Musuvathi, Madanlal
1
Muñoz, César
1
Métais, Elisabeth, 1959-
1
Müller-Olm, Markus
1
Nakatsui, Masahiko
1
Nanz, Sebastian
1
Neumaier, Arnold
1
Nielson, Hanne Riis
1
Nipkow, Tobias, 1958-
1
Noble, James
1
Núñez, Manuel
1
Ogata, Kazuhiro
1
Oliveira, José Nuno
1
Orejas, Fernando
1
Orejas, Fernando, 1952-
1
Otsuka, Akira
1
Otto, Friedrich
1
Ouaknine, Joël
1
O’Hearn, Peter
1
Pacuit, Eric
1
Paech, Barbara
1
Page, Rex, 1944-
1
Palomino, Miguel
1
Palsberg, Jens
1
Palsberg, Jens, 1964-
1
Paoli, Flavio De
1
Park, Sungwoo
1
Pattinson, Dirk, 1970-
1
Paulin-Mohring, Christine, 1962-
1
Paun, Gheorghe, 1950-
1
Pecheur, Charles
1
Peled, Doron A., 1962-
1
Peters, James F., 1936-
1
Petrucci, Laure
1
Peña, Ricardo, 1950-
1
Pfenning, Frank
1
Piazza, Carla
1
Pierantonio, Alfonso
1
Pihlajasaari, Pekka
1
Pinho, Luís Miguel
1
Pitts, A. M. (Andrew M.), 1956-
1
Pol, Jaco van de, 1969-
1
Polkowski, Lech
1
Pontelli, Enrico, 1967-
1
Popov, Nikolaj Vasil'jevič
1
Poulakis, Dimitrios
1
Pérez Jiménez, Mario de J., 1948-
1
Pérez-Jiménez, Mario J
1
Păsăreanu, Corina S
1
Păsăreanu, Corina S.
1
Rajamani, Sriram K
1
Raskin, Jean-François
1
Raskin, Jean-François, 1972-
1
Reis, Rogério
1
Remke, Anne
1
Renda, M. Elena
1
Rensink, Arend, 1964-
1
Reps, Thomas
1
Retoré, Christian, 1964-
1
Riscos-Núñez, Agustín
1
Roggenbach, Markus
1
Rolland, Robert
1
Romanovsky, Alexander
1
Ronchi Della Rocca, Simona, 1946-
1
Rossi, Francesca, 1962-
1
Rosu, Grigore
1
Rousset, Marie-Christine
1
Roy, Bimal
1
Roy, Olivier
1
Roychoudhury, Abhik
1
Rozenberg, Grzegorz, 1942-
1
Roşu, Grigore
1
Rueda, Camilo
1
Rumpe, Bernhard
1
Sadri, Fariba
1
Salomaa, Arto, 1934-
1
Sam, Djamila
1
Sankaranarayanan, Sriram
1
Sannella, D. (Donald), 1956-
1
Sassone, Vladimiro
1
Schaefer, Ina
1
Schaub, Torsten
1
Schewe, Klaus-Dieter
1
Schmidt, David
1
Schmidt, Renate A.
1
Schneider, Steve
1
Schobbens, Pierre-Yves, 1961-
1
Scholz, Sven-Bodo
1
Schröder, Lutz
1
Schulte, Wolfram
1
Schulz, Katrin
1
Schäfer, Wilhelm
1
Schätz, Bernhard
1
Schürr, Andy
1
Scott, P. J.
1
Seidl, Martina
1
Seki, Hiroyuki
1
Sendrier, Nicolas
1
Sestoft, Peter
1
Shan, Chung-chieh
1
Shankar, Natarajan
1
Shao, Zhong, 1968-
1
Shimada, Kenji
1
Silva, Leila
1
Sirjani, Marjan
1
Siveroni, Igor
1
Skowron, Andrzej
1
Soós, Anna
1
Spiliopoulou, Myra
1
Steffen, Martin
1
Stoelinga, Mariëlle
1
Su, Zhendong
1
Sugumaran, Vijayan
1
Sun, Jun
1
Słowiński, Roman
1
Taentzer, Gabriele
1
Tahar, Sofiène
1
Talcott, Carolyn
1
Tarlecki, Andrzej
1
Tarlecki, Andrzej, 1956-
1
Tessaris, Sergio
1
Thiagarajan, P. S., 1948-
1
Thielscher, Michael
1
Thomas, Wolfgang, 1947-
1
Tillmann, Nikolai
1
Tratt, Laurence
1
Treharne, Helen
1
Treinen, Ralf
1
Truthe, Bianca
1
Tsoukias, Alexis
1
Ulidowski, Irek
1
Uustalu, Tarmo
1
Valencia, Frank D
1
Vallecillo, Antonio
1
Veanes, Margus
1
Veith, Helmut
1
Vene, Varmo
1
Verlan, Sergey
1
Vicario, Enrico
1
Vidal, Germán
1
Viganò, Luca
1
Visser, Eelco
1
Viswanathan, Mahesh
1
Voigtländer, Janis
1
Wang, Guoyin
1
Wang, Wen-fang
1
Weber, Michael
1
Wechsung, Gerd
1
Wen, Peng
1
Westfechtel, Bernhard, 1958-
1
Winkler, Franz, 1955-
1
Wintner, Shuly, 1963-
1
Wirsing, Martin
1
Wolff, Burkhart, 1962-
1
Woodcock, Jim, 1956-
1
Worrell, James
1
Yahav, Eran
1
Yang, Hongseok
1
Yao, Yiyu
1
Yen, Hsu-Chun, 1958-
1
Yi, Kwangkeun
1
Yi, Wang
1
Yung, Moti
1
Zaïdi, Fatiha
1
Zucca, Elena
1
de la Puente, Juan Antonio
1
van der Hoek, Wiebe
1
Ábrahám, Erika
1
Țuțu, Ionuț
zavřít
×
Načítá se...