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ě
více ...
prev ...
2
Méry, Dominique
1
Métais, Elisabeth
2
Métais, Elisabeth, 1959-
1
Möller, Bernhard
1
Möller, Bernhard, 1953-
1
Müller-Hannemann, Matthias, 1969-
1
Müller, M. E., 1970-
1
Müller-Olm, Markus
1
Müller, Peter
1
Muñoz-Avila, Héctor
1
Muñoz, César
1
Muńoz, Rafael
1
Murata, Tsuyoshi
1
Murlak, Filip
1
Muscholl, Anca
2
Muskens, Reinhard, 1953-
1
Musuvathi, Madanlal
1
Mycroft, Alan
1
Mykowiecka, Agnieszka
1
Mylopoulos, John, 1943-
1
Nagl, Manfred, 1944-
1
Nagy, Benedek
1
Nahir, Amir
1
Nakatsui, Masahiko
1
Nanz, Sebastian
1
Narboux, Julien
2
Narukawa, Yasuo
3
Narukawa, Yasuo, 1964-
2
Naumann, David
2
Nederhof, Mark-Jan
3
Nerode, Anil
1
Nguyen, Hung Son
2
Nickles, Matthias
1
Nicola, Rocco De
1
Nicosia, Giuseppe
1
Ničković, Dejan
1
Nielson, Hanne Riis
1
Nielson, Hanne Riis, 1954-
1
Niemelä, Ilkka
1
Niemelä, Ilkka, 1961-
1
Nies, André
1
Nieuwenhuis, Robert
1
Nipkow, Tobias
1
Nipkow, Tobias, 1958-
1
Niranjan, Mahesan
1
Nishino, Tetsuro
1
Niwiński, Damian
1
Noble, James
1
Nogueira, Pablo
2
Nordio, Martin
1
Nordström, Bengt
1
Normann, Dag, 1947-
1
Norrish, Michael
1
Nouwen, Rick
1
Novák, Peter
2
Nowotka, Dirk
1
Núñez, Manuel
1
Ob“jedkov, Sergej Aleksandrovič
1
O’Boyle, Michael
1
Odersky, Martin, 1958-
1
Ogata, Kazuhiro
1
Ogihara, Mitsunori, 1963-
1
Ogrodniczuk, Maciej
1
O’Hearn, Peter
1
Ojeda Aciego, Manuel, 1967-
3
Okhotin, Alexander
1
Okumura, Manabu
2
Olivé, Antoni, 1946-
1
Oliveira, José
1
Oliveira, José Nuno
1
Olivetti, Nicola, 1963-
1
Onaindia, Eva
5
Ong, Luke
1
Ono, Hiroakira, 1942-
1
Oostrom, Vincent van
1
Orejas, Fernando
1
Orejas, Fernando, 1952-
1
Orgun, Mehmet A.
2
Orłowska, Ewa
1
Orłowska, Ewa, 1935-
1
Orseau, Laurent
1
Ortmeier, Frank
1
Osswald, Rainer
2
O’Sullivan, Barry
1
Otero, Ramon
1
Otsuka, Akira
1
Otto, Friedrich
1
Ouaknine, Joël
1
Owe, Olaf
1
Pacuit, Eric
1
Paech, Barbara
1
Paes, Aline
1
Page, Rex, 1944-
1
Pahikkala, Tapio
1
Paige, Richard F.
3
Palamidessi, Catuscia
1
Palchunov, Dmitry E
1
Palomino, Miguel
1
Pal, Sankar K., 1950-
1
Palsberg, Jens
1
Palsberg, Jens, 1964-
1
Panangaden, Prakash
1
Pang, Jun
1
Paoli, Flavio De
1
Papadelis, Georgios
1
Paraboni, Ivandré
1
Pardo, Thiago Alexandre Salgueiro
1
Pardo, Thiago A. S
1
Parent, Christine
1
Parent, Xavier
1
Parisi-Presicce, Francesco
1
Park, Seong-Bae
1
Park, Sungwoo
1
Parmentier, Yannick
3
Parsons, Simon
1
Păsăreanu, Corina S
1
Păsăreanu, Corina S.
1
Paschke, Adrian
2
Pasi, Gabriella, 1961-
1
Pastor, Óscar, 1962-
1
Pattinson, Dirk, 1970-
3
Paulin-Mohring, Christine, 1962-
1
Paulson, Lawrence C
1
Paul, Wolfgang
6
Păun, Gheorghe
2
Paun, Gheorghe, 1950-
1
Pavlovic, Dusko
1
Pazienza, Maria Teresa
1
Pearce, David
1
Pearce, David J.
3
Pedrycz, Witold, 1953-
1
Pecheur, Charles
1
Peled, Doron A
1
Peled, Doron A., 1962-
1
Peñaloza, Rafael
2
Peña, Ricardo, 1950-
1
Perdigão, Fernando
1
Pérez Jiménez, Mario de J., 1948-
1
Pérez-Jiménez, Mario J
2
Perner, Petra
3
Perner, Petra, 1958-
1
Pesant, Gilles
14
Peters, James F., 1936-
1
Peters, Wim
1
Petre, Ion
1
Petre, Luigia
4
Petrosino, Alfredo
1
Petrucci, Laure
2
Pfahringer, Bernhard
3
Pfenning, Frank
1
Pham, Duc-Nghia
1
Piazza, Carla
1
Pierantonio, Alfonso
1
Pighizzini, Giovanni
2
Pihlajasaari, Pekka
1
Pichardie, David
1
Pichler, Franz, 1936-
1
Pichler, Reinhard
1
Pinho, Luís Miguel
1
Pinna, G. Michele
1
Pirrone, Roberto
1
Piterman, Nir
1
Pitts, A. M. (Andrew M.), 1956-
2
Plaat, Aske
4
Plasmeijer, Rinus
1
Platzer, André
1
Plotkin, G. (Gordon), 1946-
1
Podelski, Andreas
1
Poelmans, Jonas
2
Pogodalla, Sylvain
1
Pol, Jaco van de, 1969-
3
Polkowski, Lech
2
Polovina, Simon
1
Polycarpou, Marios, 1962-
1
Pontelli, Enrico
1
Pontelli, Enrico, 1967-
2
Pool, Michael
1
Popov, Nikolaj Vasil'jevič
1
Porreca, Antonio E.
1
Potapov, Alexey
7
Potapov, Igor
1
Poulakis, Dimitrios
1
Prade, Henri, 1953-
3
Priami, Corrado
1
Prilutskii, Michail
1
Priss, Uta
1
Proietti, Maurizio
1
Prost, Jean-Philippe
1
Przepiórkowski, Adam
1
Puebla, Germán
1
Pu, Geguang
1
Pugliese, Andrea
1
Puppis, Gabriele
1
Pustejovsky, J. (James), 1956-
1
Pyysalo, Sampo
2
Qadeer, Shaz
2
Qin, Shengchao
1
Qiu, Zongyan
1
Quaresma, Pedro
1
Quatrini, Myriam
8
Queiroz, Ruy J. G. B. de
1
Quesada-Arencibia, Alexis
1
Quiñonero-Candela, Joaquin, 1977-
1
Raamsdonk, Femke van
2
Rabe, Florian
1
Rabinovich, Alexander
3
Rahonis, George
3
Rahwan, Iyad
1
Rajamani, Sriram K
1
Rajamani, Sriram K., 1970-
2
Ramanna, Sheela
1
Ramanujam, R
2
Ramon, Jan
2
Ram, Sudha, 1959-
1
Ranise, Silvio
1
Ranta, Aarne
1
Raskin, Jean-François
1
Raskin, Jean-François, 1972-
1
Raś, Zbigniew W
1
Rauzy, Antoine
1
Ravikumar, B.
1
Ravn, Anders P., 1947-2019
1
Real, Jorge
1
Recio, Tomas
1
Reeves, Steve
2
Regensburger, Georg
1
Reis, Gabriel Dos
1
Reischuk, Rüdiger, 1955-
1
Reisig, Wolfgang
3
Reis, Rogério
1
Remke, Anne
1
Renda, M. Elena
1
Rendsvig, Rasmus K.
1
Rensink, Arend
1
Rensink, Arend, 1964-
1
Renz, Jochen
1
Reps, Thomas
1
Restivo, Antonio, 1945-
2
Retoré, Christian, 1964-
1
Reyes-Garcia, Carlos Alberto
1
Rezende, Solange Oliveira, 1964-
1
Rezgui, Yacine
1
Ricci, Francesco, 1959-
2
Riguzzi, Fabrizio
1
Richardson, Daniel C
2
Richter, Frank
1
Richter-Gebert, Jürgen
1
Richter, Michael M
1
Ringeissen, Christophe
1
Riscos-Núñez, Agustín
1
Rival, Xavier
1
Rödder, Wilhelm
1
Roelofsen, Floris
1
Roggenbach, Markus
1
Rocha, Ricardo
1
Rolland, Robert
1
Romanovsky, Alexander
1
Ronchi Della Rocca, Simona, 1946-
2
Rooij, Robert van
2
Rosenkranz, Markus
1
Rosner, Michael
1
Rossi, Francesca, 1962-
1
Roşu, Grigore
1
Roşu, Grigore, 1971-
3
Roth-Berghofer, Thomas R
2
Roth-Berghofer, Thomas R., 1967-
1
Roubens, Marc, 1940-
1
Rousset, Marie-Christine
1
Roy, Bimal
1
Roychoudhury, Abhik
1
Roy, Olivier
9
Rozenberg, Grzegorz
5
Rozenberg, Grzegorz, 1942-
6
Rudolph, Sebastian
1
Rudolph, Sebastian, 1976-
1
Rueda, Camilo
1
Ruml, Wheeler
1
Rumpe, Bernhard
1
Russo, Claudio
1
Rust, Heinrich
1
Rutkowski, Leszek
1
Rutkowski, Leszek, 1952-
2
Rutten, Jan
3
Rybalchenko, Andrey
1
Rybinski, Henryk
1
Rybiński, Henryk
2
Sacarea, Christian, 1970-
1
Sadighi, Babak
2
Sadri, Fariba
2
Sagiv, Mooly
1
Saitta, Lorenza, 1944-
1
Sakai, Hiroshi
1
Sakakibara, Yasubumi
1
Sakallah, Karem A.
1
Sakarovitch, Jacques, 1947-
1
Salakoski, Tapio
2
Salaün, Gwen
1
Sali, Attila
7
Salomaa, Arto
2
Salomaa, Arto, 1934-
2
Salomaa, Kai
1
Sampaio, Augusto
1
Sankaranarayanan, Sriram
1
Sankowski, Piotr
1
Santos Costa, Vítor
1
Santos, José
2
Saraiva, João
1
Sartor, Giovanni
2
Sarukkai, Sundar
1
Sassone, Vladimiro
1
Sassoon, Galit W.
1
Satoh, Ken
2
Satoh, Ken, 1959-
1
Sato, Kengo
1
Sattar, Abdul
1
Sauerland, Uli
1
Savaci, F. Acar (Ferit Acar)
1
Scagnetto, Ivan
1
Scott, P. J.
2
Sebastiani, Roberto
1
Segond, Frédérique
3
Seidl, Helmut
1
Seidl, Martina
2
Sekerinski, Emil, 1963-
1
Seki, Hirohisa
1
Seki, Hiroyuki
1
Seki, Shinnosuke
1
Sellers, Andrew
1
Sendrier, Nicolas
1
Sen, Koushik
1
Sen, Sandeep
1
Serra, Roberto
1
Seshia, Sanjit A
1
Sestoft, Peter
1
Seth, Anil
1
Sexton, Alan P
1
Sgall, Jiří, 1965-
1
Shallit, Jeffrey Outlaw, 1957-
1
Shan, Chung-chieh
1
Shankar, N.
1
Shankar, Natarajan
1
Shao, Zhong
1
Shao, Zhong, 1968-
1
Shavlik, Jude
1
Shi, Guanming
1
Shimada, Kenji
2
Shur, Arseny M.
1
Schaefer, Ina
1
Schaerf, Marco
1
Schäfer, Wilhelm
1
Schärfe, Henrik, 1968-
1
Schätz, Bernhard
2
Schaub, Torsten
1
Scheffer, Tobias
4
Schewe, Klaus-Dieter
1
Schilder, Frank
1
Schirra, Stefan, 1961-
1
Schlipf, John
1
Schmaltz, Julien
1
Schmidhuber, Jürgen
1
Schmid, Jürg, 1944-
2
Schmidt, David
1
Schmidt, Gunther, 1939-
1
Schmidt, Jürg
1
Schmidtke, Hedda R
2
Schmidt, Renate A
2
Schmidt, Renate A.
1
Schmidt, Stefan
1
Schmidt, Stefan E.
1
Schmid, Ute
1
Schmitt, Peter H
1
Schmitz, Hans-Christian
1
Schmitz, Sylvain
1
Schneider, Klaus
1
Schneider, Steve
1
Schobbens, Pierre-Yves, 1961-
2
Scholz, Sven-Bodo
1
Schreck, Pascal
1
Schreye, Danny De
2
Schrijvers, Tom
1
Schröder, Lutz
1
Schulte, Wolfram
2
Schulz, Katrin
1
Schulz, Stefan, 1969-
3
Schürr, Andy
1
Schwabe, Kerstin
1
Schwentick, Thomas, 1963-
1
Schwertel, Uta
1
Siegler, Simon
1
Sierra-Rodríguez, José-Luis
1
Sichman, Jaime S. (Jaime Simão), 1962-
1
Silva, Leila
1
Silverman, Barry
2
Simao, Adenilso
1
Simon, Hans Ulrich
1
Simon, Hans Ulrich, 1954-
1
Simon, Laurent
1
Sirjani, Marjan
1
Siveroni, Igor
1
Skadhauge, Peter Rossen
11
Skowron, Andrzej
6
Skowron, Andrzej, 1943-
1
Slavkovik, Marija
3
Słowiński, Roman
1
Smaus, Jan-Georg
1
Smolka, Scott A
1
Smyth, William F
1
Smyth, William F.
1
Snaider, Javier
2
Sofronie-Stokkermans, Viorica
1
Sojka, Petr
2
Sojka, Petr, 1963-
1
Soler-Toscano, Fernando
1
Soliman, Sylvain
1
Soloviev, Sergei
1
Sommaruga, Giovanni, 1956-
3
Son, Tran Cao
1
Soós, Anna
1
Sorbello, Filippo
2
Sorge, Volker
1
Soskova, Alexandra
1
Soskova, Mariya
1
Soskov, Ivan
1
Sossai, Claudio
1
Spada, Luca
1
Spiliopoulou, Myra
1
Spiliopoulou, Myra, 1965-
850
SpringerLink (online služba)
1
Sproat, Richard W
1
Stabler, Edward
1
Stamou, Giorgos
1
Stapleton, Gem
1
Stathis, Kostas
1
Steels, Luc
1
Stefanowski, Jerzy
1
Steffen, Bernhard
1
Steffen, Bernhard, 1958-
1
Steffen, Martin
1
Steffen, Martin, 1965-
4
Stephan, Frank
1
Stephan, Werner, 1947-
1
Stickel, Mark E.
1
Stock, Oliviero, 1950-
1
Stoelinga, Mariëlle
1
Stoilos, Giorgos
1
Stoltz, Gilles
1
Stolzmann, Wolfgang
1
Storey, Veda Catherine, 1956-
1
Strass, Hannes
1
Strichman, Ofer
1
Struth, Georg
1
Stuckey, Peter J
2
Stumme, Gerd
1
Sturm, Thomas
1
Suciu, Dan
1
Sugumaran, Vijayan
1
Su, Jian
1
Su, Keh-Yih
1
Sumii, Eijiro
1
Sun, Jun
1
Suraj, Zbigniew
1
Sutcliffe, Geoff
1
Su, Zhendong
1
Swart, Harrie de
1
Swart, H. C. M. de (Henricus Cornelius Maria), 1944-
1
Swierstra, Doaitse
1
Szczuka, Marcin
1
Szczuka, Marcin, 1970-
1
Szeider, Stefan
1
Szepesvári, Csaba
1
Tadepalli, Prasad
1
Tadeusiewicz, Ryszard
1
Tadeusiewicz, Ryszard, 1947-
1
Taentzer, Gabriele
1
Tagliaferri, Roberto, 1960-
1
Taguchi, Kenji
1
Tahar, Sofiène
2
Takadama, Keiki
2
Talcott, Carolyn
2
Tamaddoni-Nezhad, Alireza
1
Tan, C. J. Kenneth
1
Tarlecki, Andrzej
1
Tarlecki, Andrzej, 1956-
1
Tarui, Jun
1
Tasiran, Serdar
1
Teixeira, António
1
Telle, Jan Arne
1
Terashima-Marín, Hugo
1
Terracina, Giorgio
1
Tessaris, Sergio
1
Tettamanzi, Andrea G. B
2
Thalheim, Bernhard, 1952-
1
Thiagarajan, P. S., 1948-
2
Thielscher, Michael
1
Thiemann, Peter
1
Thimm, Matthias
3
Thomas, Wolfgang, 1947-
1
Thórisson, Kristinn R.
1
Thornton, John, 1959-
1
Tillmann, Nikolai
více ...
zavřít
×
Načítá se...