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 ...
1
Moot, Richard
1
Moreira, Nelma
1
Morgan, Carroll
1
Morik, Katharina
1
Muggleton, Stephen
1
Muntean, Traian
1
Murata, Tsuyoshi
1
Muscholl, Anca
1
Musuvathi, Madanlal
1
Muñoz, César
1
Muńoz, Rafael
1
Mycroft, Alan
1
Mylopoulos, John, 1943-
1
Méry, Dominique
1
Métais, Elisabeth
1
Möller, Bernhard
1
Möller, Bernhard, 1953-
1
Müller, Peter
1
Müller-Hannemann, Matthias, 1969-
1
Müller-Olm, Markus
1
Nagl, Manfred, 1944-
1
Nahir, Amir
1
Nanz, Sebastian
1
Naraschewski, Wolfgang
1
Nicola, Rocco De
1
Nielson, Hanne Riis
1
Niemelä, Ilkka
1
Nieuwenhuis, Robert
1
Nipkow, Tobias
1
Nipkow, Tobias, 1958-
1
Ničković, Dejan
1
Novák, Peter
1
Núñez, Manuel
1
Ob“jedkov, Sergej Aleksandrovič
1
Odersky, Martin, 1958-
1
Ogata, Kazuhiro
1
Ojeda Aciego, Manuel, 1967-
1
Okumura, Manabu
1
Oliveira, José
1
Olivé, Antoni, 1946-
1
Ong, Luke
1
Ono, Hiroakira, 1942-
1
Orejas, Fernando
1
Orseau, Laurent
1
Orłowska, Ewa, 1935-
1
Otero, Ramon
1
Ouaknine, Joël
1
O’Boyle, Michael
1
O’Hearn, Peter
1
O’Sullivan, Barry
1
Paech, Barbara
1
Page, Rex, 1944-
1
Paige, Richard F.
1
Pal, Sankar K., 1950-
1
Palchunov, Dmitry E
1
Palsberg, Jens
1
Pang, Jun
1
Paoli, Flavio De
1
Papadelis, Georgios
1
Parent, Xavier
1
Parisi-Presicce, Francesco
1
Parsons, Simon
1
Pastor, Óscar, 1962-
1
Paul, Wolfgang
1
Paulson, Lawrence C
1
Pavlovic, Dusko
1
Pearce, David
1
Pearce, David J.
1
Pedrycz, Witold, 1953-
1
Peled, Doron A
1
Peters, James F., 1936-
1
Petrenko, Alexandre
1
Petrucci, Laure
1
Peña, Ricardo, 1950-
1
Pfahringer, Bernhard
1
Pichler, Reinhard
1
Pierantonio, Alfonso
1
Pighizzini, Giovanni
1
Pinho, Luís Miguel
1
Piterman, Nir
1
Pitts, A. M. (Andrew M.), 1956-
1
Podelski, Andreas
1
Pol, Jaco van de, 1969-
1
Polovina, Simon
1
Pontelli, Enrico
1
Potapov, Alexey
1
Poulakis, Dimitrios
1
Priss, Uta
1
Proietti, Maurizio
1
Puppis, Gabriele
1
Păsăreanu, Corina S
1
Păsăreanu, Corina S.
1
Păun, Gheorghe
1
Qin, Shengchao
1
Qiu, Zongyan
1
Rahwan, Iyad
1
Rajamani, Sriram K
1
Rajamani, Sriram K., 1970-
1
Ram, Sudha, 1959-
1
Ramon, Jan
1
Raskin, Jean-François
1
Real, Jorge
1
Reeves, Steve
1
Regensburger, Georg
1
Reisig, Wolfgang
1
Rensink, Arend
1
Rensink, Arend, 1964-
1
Reps, Thomas
1
Reus, Bernhard
1
Richardson, Daniel C
1
Richter, Michael M
1
Rocha, Ricardo
1
Roggenbach, Markus
1
Rolland, Robert
1
Romanovsky, Alexander
1
Rosenkranz, Markus
1
Roth-Berghofer, Thomas R., 1967-
1
Roubens, Marc, 1940-
1
Roy, Bimal
1
Roychoudhury, Abhik
1
Roşu, Grigore
1
Rueda, Camilo
1
Rumpe, Bernhard
1
Russo, Claudio
1
Rutten, Jan
1
Sacarea, Christian, 1970-
1
Sadighi, Babak
1
Salomaa, Arto
1
Sampaio, Augusto
1
Sankaranarayanan, Sriram
1
Sartor, Giovanni
1
Sarukkai, Sundar
1
Sassone, Vladimiro
1
Satoh, Ken, 1959-
1
Scagnetto, Ivan
1
Schaefer, Ina
1
Schaub, Torsten
1
Schirra, Stefan, 1961-
1
Schlipf, John
1
Schmaltz, Julien
1
Schmid, Ute
1
Schmidt, Gunther, 1939-
1
Schmidt, Stefan
1
Schmidtke, Hedda R
1
Schmitt, Peter H
1
Schneider, Klaus
1
Schneider, Steve
1
Schobbens, Pierre-Yves, 1961-
1
Schreye, Danny De
1
Schulte, Wolfram
1
Schulz, Katrin
1
Schulz, Stefan, 1969-
1
Schwertel, Uta
1
Schäfer, Wilhelm
1
Schätz, Bernhard
1
Sebastiani, Roberto
1
Seidl, Martina
1
Sekerinski, Emil, 1963-
1
Seki, Hirohisa
1
Sellers, Andrew
1
Sen, Koushik
1
Sen, Sandeep
1
Sendrier, Nicolas
1
Seshia, Sanjit A
1
Sestoft, Peter
1
Shallit, Jeffrey Outlaw, 1957-
1
Shan, Chung-chieh
1
Shankar, Natarajan
1
Shao, Zhong
1
Shavlik, Jude
1
Siegler, Simon
1
Silva, Leila
1
Simão, Adenilso
1
Sirjani, Marjan
1
Siveroni, Igor
1
Skowron, Andrzej
1
Smaus, Jan-Georg
1
Smolka, Scott A
1
Snaider, Javier
1
Sofronie-Stokkermans, Viorica
1
Sojka, Petr, 1963-
1
Soler-Toscano, Fernando
1
Soós, Anna
1
Spiliopoulou, Myra
1
Stabler, Edward
1
Stathis, Kostas
1
Steffen, Bernhard
1
Steffen, Bernhard, 1958-
1
Steffen, Martin
1
Stickel, Mark E.
1
Strichman, Ofer
1
Struth, Georg
1
Stuckey, Peter J
1
Stumme, Gerd
1
Su, Keh-Yih
1
Sugumaran, Vijayan
1
Sumii, Eijiro
1
Sun, Jun
1
Sutcliffe, Geoff
1
Swart, H. C. M. de (Henricus Cornelius Maria), 1944-
1
Swart, Harrie de
1
Szeider, Stefan
1
Słowiński, Roman
1
Tadepalli, Prasad
1
Taentzer, Gabriele
1
Taguchi, Kenji
1
Tahar, Sofiène
1
Tamaddoni-Nezhad, Alireza
1
Tan, C. J. Kenneth
1
Tarlecki, Andrzej
1
Tasiran, Serdar
1
Terracina, Giorgio
1
Tettamanzi, Andrea G. B
1
Tillmann, Nikolai
1
Tinelli, Cesare
1
Torre, Leendert van der
1
Torroni, Paolo
1
Touili, Tayssir
1
Tratt, Laurence
1
Tripakis, Stavros
1
Truthe, Bianca
1
Tsujii, Jun’ichi
1
Tsumoto, Shūsaku, 1963-
1
Turner, Roy
1
Ulidowski, Irek
1
Uustalu, Tarmo
1
Valencia, Frank D
1
Vallecillo, Antonio
1
Valls, Aïda
1
Valtchev, Petko
1
Vasconcelos, Wamberto
1
Vatakis, Argiro
1
Veanes, Margus
1
Vene, Varmo
1
Verlan, Sergey
1
Vicario, Enrico
1
Vieu, Laure
1
Viganò, Luca
1
Villata, Serena
1
Vinju, Jurgen J.
1
Visser, Eelco
1
Viswanathan, Mahesh
1
Voronkov, Andrei, 1959-
1
Vos, Alexis De
1
Vos, Tanja
1
Waaler, Arild
1
Wachsmuth, Henning
1
Wang, Pei
1
Wang, Yingxu
1
Wasser, Nathan
1
Weber, Michael
1
Weber, Rosina O
1
Weidenbach, Christoph
1
Wenzel, Makarius
1
Werner, Benjamin
1
Wille, Robert
1
Wille, Rudolf
1
Windsteiger, Wolfgang, 1967-
1
Wolf, Karsten
1
Wolff, Karl Erich
1
Woltran, Stefan
1
Woodcock, Jim, 1956-
1
Woodcook, Jim
1
Wooldridge, Michael J
1
Worrell, James
1
Wyk, Eric Van
1
Yi, Kwangkeun
1
Yi, Wang
1
Yli-Jyrä, Anssi
1
Yoshida, Yuji
1
Yung, Moti
1
Zagoruiko, Nikolay G
1
Zeller, Andreas, 1965-
1
Zhang, Xingyuan
1
Zhou, Neng-Fa
1
Zucca, Elena
1
Zündorf, Albert
1
de la Puente, Juan Antonio
1
de’Liguoro, Ugo
1
Ågotnes, Thomas
1
Țuțu, Ionuț
zavřít
×
Načítá se...