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ě
prev ...
2
Ábrahám, Erika
1
Ågotnes, Thomas
1
de la Puente, Juan Antonio
1
Èsik, Zoltán, 1951-
3
Ölveczky, Peter Csaba
1
Paoli, Flavio De
1
Parisi-Presicce, Francesco
1
Park, Sungwoo
1
Parmentier, Yannick
1
Parsons, Simon
1
Păsăreanu, Corina S
1
Păsăreanu, Corina S.
1
Pastor, Óscar, 1962-
2
Paulin-Mohring, Christine, 1962-
1
Paulson, Lawrence C
1
Paul, Wolfgang
1
Pavlovic, Dusko
1
Pearce, David
1
Pearce, David J.
1
Pecheur, Charles
1
Peled, Doron A
1
Peña, Ricardo, 1950-
1
Petre, Luigia
1
Petrenko, Alexandre
1
Petrucci, Laure
1
Pfahringer, Bernhard
2
Pfenning, Frank
1
Pierantonio, Alfonso
1
Pighizzini, Giovanni
2
Pihlajasaari, Pekka
1
Pichardie, David
1
Pichler, Reinhard
1
Pinho, Luís Miguel
1
Piterman, Nir
1
Pitts, A. M. (Andrew M.), 1956-
4
Plasmeijer, Rinus
1
Platzer, André
1
Podelski, Andreas
1
Poelmans, Jonas
1
Pol, Jaco van de, 1969-
1
Pontelli, Enrico, 1967-
1
Popov, Nikolaj Vasil'jevič
1
Potapov, Alexey
5
Potapov, Igor
1
Poulakis, Dimitrios
1
Proietti, Maurizio
1
Puebla, Germán
1
Pugliese, Andrea
1
Puppis, Gabriele
2
Qadeer, Shaz
2
Qin, Shengchao
1
Qiu, Zongyan
1
Quaresma, Pedro
3
Rahonis, George
1
Rahwan, Iyad
1
Rajamani, Sriram K
1
Rajamani, Sriram K., 1970-
1
Ramon, Jan
2
Ram, Sudha, 1959-
1
Raskin, Jean-François
1
Rauzy, Antoine
1
Ravn, Anders P., 1947-2019
1
Real, Jorge
1
Regensburger, Georg
1
Reisig, Wolfgang
1
Remke, Anne
1
Rensink, Arend, 1964-
1
Reps, Thomas
1
Richter-Gebert, Jürgen
1
Ringeissen, Christophe
1
Rival, Xavier
1
Roggenbach, Markus
1
Rocha, Ricardo
1
Rolland, Robert
1
Romanovsky, Alexander
1
Rosenkranz, Markus
1
Roşu, Grigore
1
Roşu, Grigore, 1971-
1
Roychoudhury, Abhik
1
Rozenberg, Grzegorz, 1942-
2
Rudolph, Sebastian
1
Rueda, Camilo
1
Rumpe, Bernhard
1
Russo, Claudio
1
Rust, Heinrich
1
Rutten, Jan
2
Rybalchenko, Andrey
1
Sacarea, Christian, 1970-
1
Sadighi, Babak
2
Sagiv, Mooly
2
Salaün, Gwen
1
Sampaio, Augusto
1
Sankaranarayanan, Sriram
2
Saraiva, João
1
Sarukkai, Sundar
1
Sassone, Vladimiro
1
Sattler, Ulrike, 1966-
1
Scagnetto, Ivan
1
Sebastiani, Roberto
1
Segal, Michael
3
Seidl, Helmut
1
Seidl, Martina
2
Sekerinski, Emil, 1963-
1
Seki, Hirohisa
1
Sellers, Andrew
1
Sen, Koushik
1
Sen, Sandeep
1
Seshia, Sanjit A
1
Sestoft, Peter
1
Sgall, Jiří, 1965-
1
Shan, Chung-chieh
1
Shankar, N.
1
Shankar, Natarajan
1
Shao, Zhong
1
Shao, Zhong, 1968-
1
Shavlik, Jude
1
Schaefer, Ina
1
Schäfer, Wilhelm
1
Schätz, Bernhard
1
Schaub, Torsten
1
Schewe, Klaus-Dieter
1
Schirra, Stefan, 1961-
1
Schlipf, John
1
Schmaltz, Julien
2
Schmidt, David
1
Schmidt, Jürg
2
Schmidt, Renate A
1
Schmidt, Renate A.
1
Schmidt, Stefan
1
Schmid, Ute
1
Schmitt, Peter H
1
Schneider, Klaus
1
Schneider, Steve
1
Schobbens, Pierre-Yves, 1961-
2
Scholz, Sven-Bodo
1
Schreck, Pascal
1
Schreye, Danny De
1
Schrijvers, Tom
1
Schulte, Wolfram
1
Schulz, Katrin
2
Schürr, Andy
1
Schwertel, Uta
1
Siegler, Simon
1
Silva, Leila
2
Simao, Adenilso
1
Simão, Adenilso
1
Sirjani, Marjan
1
Siveroni, Igor
1
Slind, Konrad
1
Smaus, Jan-Georg
1
Smolka, Scott A
1
Snaider, Javier
2
Sofronie-Stokkermans, Viorica
2
Son, Tran Cao
1
Soós, Anna
394
SpringerLink (online služba)
1
Stathis, Kostas
1
Steffen, Bernhard
1
Steffen, Bernhard, 1958-
1
Steffen, Martin
1
Stephan, Werner, 1947-
1
Stoelinga, Mariëlle
1
Strichman, Ofer
1
Struth, Georg
1
Stumme, Gerd
1
Stumme, Gerd, 1967-
1
Sumii, Eijiro
1
Sun, Jun
1
Sutcliffe, Geoff
1
Su, Zhendong
1
Swart, Harrie de
1
Swierstra, Doaitse
1
Szeider, Stefan
1
Tadepalli, Prasad
1
Taguchi, Kenji
1
Tahar, Sofiene
1
Tahar, Sofiène
2
Talcott, Carolyn
1
Tamaddoni-Nezhad, Alireza
2
Tarlecki, Andrzej, 1956-
1
Tasiran, Serdar
1
Tepfenhart, William M.
1
Terracina, Giorgio
1
Thiemann, Peter
1
Thomas, Wolfgang, 1947-
1
Tillmann, Nikolai
2
Tinelli, Cesare
1
Torre, Leendert van der
1
Torre, Leendert Willem Nicolaas van der, 1968-
2
Torre, Leon van der
2
Torroni, Paolo
1
Touili, Tayssir
1
Tratt, Laurence
2
Treharne, Helen
1
Tripakis, Stavros
1
Truszczyński, Mirosław
1
Truszczyński, Mirosław, 1955-
1
Țuțu, Ionuț
1
Ulidowski, Irek
1
Urban, Christian
1
Uustalu, Tarmo
1
Valencia, Frank D
1
Vallecillo, Antonio
1
Valtchev, Petko
1
van Benthem, Johan
4
Vardanega, Tullio
1
Vasconcelos, Wamberto
1
Veanes, Margus
3
Veith, Helmut
1
Vene, Varmo
1
Verbrugge, Rineke, 1965-
1
Vicario, Enrico
3
Vidal, Germán
1
Viganò, Luca
1
Villata, Serena
1
Vinju, Jurgen J.
1
Visser, Eelco
2
Visser, Joost
1
Viswanathan, Mahesh
1
Voigtländer, Janis
5
Voronkov, Andrei
5
Voronkov, Andrei, 1959-
1
Vos, Alexis De
1
Vos, Tanja
1
Waaler, Arild
1
Wang, Jiacun, 1963-
1
Wang, Pei
1
Wasser, Nathan
1
Weber, Michael
1
Wehrheim, Heike
1
Weidenbach, Christoph
2
Westfechtel, Bernhard, 1958-
2
Wiedijk, Freek
1
Wille, Robert
2
Wille, Rudolf
1
Winkler, Franz, 1955-
2
Winter, Michael
1
Wirsing, Martin
2
Wolff, Burkhart
2
Wolff, Burkhart, 1962-
1
Wolf, Karsten
1
Wolter, Frank
1
Woltran, Stefan
1
Wong, Leah Y.
2
Woodcock, Jim
3
Woodcock, Jim, 1956-
1
Woodcook, Jim
1
Wooldridge, Michael J
1
Worrell, James
1
Wyk, Eric Van
2
Yahav, Eran
1
Yang, Hongseok
1
Yi, Kwangkeun
1
Yi, Wang
1
Yoshida, Hiroshi
1
Yung, Moti
2
Zaïdi, Fatiha
1
Zamboni, Luca
1
Zeller, Andreas, 1965-
1
Zhang, Xingyuan
1
Zhou, Neng-Fa
3
Zsók, Viktória
1
Zucca, Elena
1
Zündorf, Albert
zavřít
×
Načítá se...