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ě
137
SpringerLink (online služba)
4
Potapov, Igor
3
Ong, Luke
2
Bernardo, Marco
2
Duan, Zhenhua
2
Fages, François
2
Johnsen, Einar Broch
2
Legay, Axel
2
Liu, Shaoying
2
Naumann, David
2
Pfenning, Frank
2
Rossi, Francesca
2
Seidl, Helmut
2
Torre, Leon van der
2
Torroni, Paolo
2
Vardanega, Tullio
1
Abdulla, Parosh Aziz
1
Aceto, Luca
1
Achten, Peter
1
Albert, Elvira
1
Alfaro, Luca de
1
Altenkirch, Thorsten
1
Althoff, Klaus-Dieter
1
Andres, Frederic
1
Araki, Keijiro
1
Arbab, F. (Farhad)
1
Artemov, Sergei
1
Arun-Kumar, S
1
Azevedo, Francisco de Moura e Castro Ascensão de, 1969-
1
Baader, Franz
1
Baier, Christel
1
Baldan, Paolo
1
Bansal, Nikhil
1
Banâtre, Jean-Pierre
1
Barahona, Pedro, 1954-
1
Barais, Olivier
1
Barbosa, Luís Soares
1
Barkaoui, Kamel
1
Beckert, Bernhard
1
Bensalem, Saddek
1
Bergmann, Ralph
1
Bertacco, Valeria
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Blazy, Sandrine
1
Boca, Paul
1
Bodik, Rastislav
1
Boella, Guido
1
Borger, Egon
1
Bosch, Peter
1
Bowen, J. P. (Jonathan Peter), 1956-
1
Braga, Christiano
1
Branco, António
1
Bulling, Nils
1
Butler, Michael, 1967-
1
Canal, Carlos
1
Cate, Balder ten, 1979-
1
Cavalcanti, Ana
1
Cerone, Antonio
1
Chan, Chien-Chung
1
Chan, Keith C. C
1
Coecke, Bob, 1968-
1
Combemale, Benoît
1
Cook, Byron
1
Cortellessa, Vittorio
1
Croitoru, Madalina
1
Czarnecki, Krzysztof, 1970-
1
D'Souza, Deepak
1
Dams, Dennis
1
Dastani, Mehdi
1
De Raedt, Luc, 1964-
1
Delzanno, Giorgio
1
Desmedt, Yvo
1
Duchier, Denys
1
Duparc, Jacques, 1962-
1
Düsterhöft, Antje
1
D’Souza, Meenakshi
1
Egyed, Alexander
1
Eleftherakis, George
1
Erwig, Martin, 1963-
1
Escobar, Santiago
1
Faltings, Boi V
1
Feliachi, Abderrahmane
1
Feng, Xinyu
1
Ferré, Sébastien
1
Finkel, Alain
1
Finocchi, Irene
1
Fisher, Michael
1
Fradet, Pascal
1
Fuchs, Norbert E
1
Gabelaia, David
1
Garg, Naveen
1
Garrigue, Jacques
1
Gaudel, Marie-Claude
1
Gavrilova, Marina L
1
George, Laurent
1
Gheyi, Rohit
1
Giavitto, Jean-Louis
1
Gibbons, Jeremy, 1966-
1
Giesl, Jürgen
1
Gnesi, Stefania, 1954-
1
Gonthier, Georges
1
Gopalakrishnan, Ganesh
1
Gorla, Daniele
1
Governatori, Guido
1
Greco, Sergio, 1955-
1
Groce, Alex
1
Grzymala-Busse, Jerzy W., 1942-
1
Güdemann, Matthias
1
Hanft, Alexandre
1
Hannemann, Ulrich
1
Havelund, Klaus, 1955-
1
Hawblitzel, Chris
1
Hedin, Görel
1
Hendren, Laurie
1
Henzinger, T. A., 1962-
1
Hinchey, Mike
1
Hinze, Ralf
1
Hofmann, Martin
1
Holcombe, Mike
1
Horimoto, Katsuhisa
1
Hu, Zhenjiang
1
Hung, Dang Van
1
Hähnle, Reiner
1
Idani, Akram
1
Iida, Shusaku
1
Ingólfsdóttir, Anna
1
Jackson, Paul
1
Jamroga, Wojtek
1
Jensen, Thomas
1
Jouannaud, Jean-Pierre
1
Kannan, Rajkumar
1
Kaufmann, Matt
1
Klautau, Aldebaro
1
Klettke, Meike
1
Kobayashi, Satoshi
1
Koopman, Pieter
1
Koutny, Maciej
1
Kreowski, Hans-Jörg
1
Krishnamurthi, Shriram
1
Kuchen, Herbert
1
Kuich, Werner
1
Lakhneck, Yassine
1
Lal, Akash
1
Lang, Jérôme
1
Langmaack, Hans
1
Lara, Juan de
1
Larrosa, Javier
1
Larsen, K. G. (Kim G.), 1957-
1
Lassiter, Daniel
1
Lee, Jimmy
1
Leite, João
1
Leite, João, 1970-
1
Leroux, Jérôme
1
Leucker, Martin
1
Lima, Vera Lúcia Strube de
1
Link, Sebastian
1
Liu, Zhiming
1
Lodaya, Kamal
1
Lukasiewicz, Thomas
1
Lukose, Dickson
1
Lumpe, Markus
1
Mahajan, Meena
1
Margaria, Tiziana
1
Margaria-Steffen, Tiziana, 1964-
1
Mariño, Julio
1
Martí-Oliet, Narciso
1
McBride, Conor
1
McGinty, Lorraine
1
Melkebeek, Dieter van
1
Meseguer, José
1
Meyer, Roland
1
Michel, Olivier
1
Milano, Michela, 1970-
1
Miller, Dale (Dale A.), 1956-
1
Minor, Mirjam
1
Miné, Antoine
1
Mohamed, Otmane Ait
1
Montanari, Ugo
1
Moot, Richard
1
Muscholl, Anca
1
Musuvathi, Madanlal
1
Muñoz, César
1
Mycroft, Alan
1
Müller-Olm, Markus
1
Nahir, Amir
1
Nakatsui, Masahiko
1
Nerode, Anil
1
Nishino, Tetsuro
1
Nogueira, Pablo
1
Nordström, Bengt
1
Norrish, Michael
1
Núñez, Manuel
1
Odersky, Martin, 1958-
1
Ogata, Kazuhiro
1
Orejas, Fernando
1
Ortmeier, Frank
1
Ouaknine, Joël
1
O’Sullivan, Barry
1
Paige, Richard F.
1
Panangaden, Prakash
1
Pardo, Thiago Alexandre Salgueiro
1
Park, Sungwoo
1
Parmentier, Yannick
1
Paulson, Lawrence C
1
Pearce, David J.
1
Perner, Petra, 1958-
1
Petcu, Adrian
1
Petre, Luigia
1
Pierantonio, Alfonso
1
Piterman, Nir
1
Pitts, A. M. (Andrew M.), 1956-
1
Platzer, André
1
Pnueli, A. (Amir), 1941-
1
Popov, Nikolaj Vasil'jevič
1
Prade, Henri, 1953-
1
Puppis, Gabriele
1
Rahonis, George
1
Ranta, Aarne
1
Rauzy, Antoine
1
Remke, Anne
1
Rensink, Arend, 1964-
1
Retoré, Christian, 1964-
1
Roever, Willem-Paul de
1
Roychoudhury, Abhik
1
Rozenberg, Grzegorz
1
Rueda, Camilo
1
Rust, Heinrich
1
Sadri, Fariba
1
Sakakibara, Yasubumi
1
Sato, Kengo
1
Satoh, Ken, 1959-
1
Schaefer, Ina
1
Schewe, Klaus-Dieter
1
Schmidt, David
1
Schmitt, Peter H
1
Schulte, Christian
1
Sekerinski, Emil, 1963-
1
Shan, Chung-chieh
1
Shao, Zhong
1
Slavkovik, Marija
1
Sommaruga, Giovanni, 1956-
1
Son, Tran Cao
1
Steffen, Bernhard
1
Steffen, Bernhard, 1958-
1
Steffen, Martin
1
Stoelinga, Mariëlle
1
Taentzer, Gabriele
1
Tahar, Sofiène
1
Tan, C. J. Kenneth
1
Tinelli, Cesare
1
Tomita, Etsuji
1
Torre, Leendert Willem Nicolaas van der, 1968-
1
Torre, Leendert van der
1
Touili, Tayssir
1
Treinen, Ralf
1
Ulidowski, Irek
1
Uustalu, Tarmo
1
Valencia, Frank D
1
Vasconcelos, Wamberto
1
Vieira, Renata
1
Villata, Serena
1
Vinju, Jurgen J.
1
Voigtländer, Janis
1
Voronkov, Andrei
1
Vos, Alexis De
1
Vos, Tanja
1
Wang, Yingxu
1
Wehrheim, Heike
1
Wille, Robert
1
Wilson, David C
1
Wirsing, Martin
1
Wolff, Burkhart
1
Woltran, Stefan
1
Worrell, James
1
Wyk, Eric Van
1
Yahav, Eran
1
Zeevat, Henk, 1952-
1
Zeller, Andreas, 1965-
1
Ziarko, Wojciech, 1951-
1
de la Puente, Juan Antonio
1
Ábrahám, Erika
1
Ågotnes, Thomas
1
Ésik, Zoltán
1
Ölveczky, Peter Csaba
zavřít
×
Načítá se...