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
Gent, Ian P
1
Gerardi, Ricardo
1
Geuvers, Herman
1
Gibbons, Jeremy
1
Gill, Andy
1
Giorgini, Paolo
1
Gjengset, Jon
1
Glinz, Martin
1
Glück, Robert
1
Gnesi, Stefania
1
Gogolla, Martin
1
Gogolla, Martin, 1954-
1
Gomez-Sanz, Jorge J
1
González Harbour, Michael, 1960-
1
Goodliffe, Pete
1
Goodloe, Alwyn E.
1
Gopalakrishnan, Ganesh
1
Goranko, Valentin
1
Gordon, Andrew D., 1964-
1
Gorrieri, Roberto, 1962-
1
Gosling, James, 1955-
1
Governatori, Guido
1
Griffiths, David, 1969-
1
Griffiths, Dawn
1
Grigoras, Dan
1
Gruhn, Volker
1
Grumberg, Orna
1
Grundy, John
1
Grunske, Lars
1
Grégoire, Benjamin
1
Guelfi, Nicolas, 1965-
1
Guo, Hai-Feng
1
Gupta, Gopal, 1963-
1
Gupta, Rajiv
1
Gurov, Dilian
1
Gębala, Maciej
1
Habib, M. (Michel), 1951-
1
Haemmerlé, Ollivier
1
Hagiya, Masami, 1957-
1
Hagos, Ted
1
Hallengerg, Niels
1
Hallerstede, Stefan
1
Hamilton, Graham
1
Hankin, Chris
1
Hankin, Chris, 1954-
1
Hanselman, Scott, 1974-
1
Hanus, Michael
1
Harel, David, 1950-
1
Harold, Elliotte Rusty
1
Harrison, Neil B.
1
Harsanyi, Teiva
1
Hatcliff, John
1
Hatton, Ellen
1
Haupt, Michael
1
Havelund, Klaus, 1955-
1
Hayes, Ian, 1956-
1
He, Jifeng, 1943-
1
Heineman, George T
1
Hennicker, Rolf
1
Henning, Michi
1
Henzinger, T. A., 1962-
1
Herault, Thomas
1
Hermanns, Holger, 1967-
1
Hermenegildo, Manuel
1
Hermenegildo, Manuel de, 1959-
1
Hernandez, Oscar
1
Heymans, Patrick
1
Hierons, Robert M.
1
Hilken, Ralph, 1957-
1
Hill, Patricia M.
1
Hinchey, Michael G
1
Hirschfeld, Robert
1
Hliněný, Petr, 1971-
1
Hobuss, James J.
1
Hoek, Wiebe van der
1
Hoffmann, Frank
1
Hogan, Brian P.
1
Holcombe, W. M. L. (William Michael Lloyd), 1944-
1
Holub, Jan, 1973-
1
Holvoet, Tom
1
Holzmann, Gerald J., 1951-
1
Holzmann, Gerard J
1
Honsell, Furio
1
Horn, Berthold Klaus Paul
1
Horstmann, Cay S., 1959-
1
Horváth, Zoltán, 1962-
1
Hsiung, Pao-Ann
1
Hu, Zhenjiang
1
Huang, De-Shuang
1
Hudak, Paul
1
Hull, Richard
1
Hunt, Brian R.
1
Huzar, Zbigniew
1
Hölldobler, Steffen
1
Hüllermeier, Eyke
1
ICSR 2011 (Pchohang, Jižní Korea)
1
Igarashi, Atsushi
1
Indulska, Jadwiga
1
Inverardi, Paola
1
Ives, Zachary G., 1974-
1
Jackson, Ethan
1
Jacquet, Jean-Marie
1
Jager, Tikitu de
1
Jaoua, Ali Mohamed
1
Jard, Claude, 1959-
1
Jardim Nunes, Nuno
1
Jarząbek, Stanisław, 1948-
1
Jeffery, Clinton L.
1
Jeffery, Travis
1
Jensen, Thomas, 1965-
1
Jeuring, Johan, 1965-
1
Jeusfeld, Manfred
1
Jo, Kang-Hyun
1
Johnson, Michael
1
Jones, Cliff
1
Jones, Cliff B
1
Jones, Neil D
1
Jones, Richard
1
Joosen, Wouter
1
Joy, Bill
1
Jurdziński, Marcin
1
Jäger, Gerhard
1
Kaklamanis, Christos
1
Kamal, Baheer
1
Kariv, O.
1
Karsai, Gabor
1
Kasahara, Hironori
1
Kay, Michael
1
Kechadi, Tahar
1
Kennedy, Dennis
1
Kennedy, Seán
1
Kermarrec, Yvon
1
Khurshid, Sarfraz
1
Kienzle, Jörg
1
Kienzle, Jörg, 1970-
1
Kimura, Keiji
1
Kindermann, Fabian, 1984-
1
Kirchner, Claude
1
Kirchner, Hélène
1
Klein, Ewan
1
Kneusel, Ronald T.
1
Knobloch, Manfred, 1959-
1
Knoop, Jens
1
Knudsen, Jørgen Lindskov
1
Koch, Nora
1
Koci, Radek
1
Koffman, Elliot B.
1
Kofler, Michael, 1967-
1
Kolman, Petr
1
Kolář, Dušan
1
Koopman, Pieter
1
Kopp, Matthias
1
Kornai, András
1
Kosmatov, Nikolai
1
Kott, Laurent
1
Kovacs, Tim
1
Kranzlmüller, Dieter, 1969-
1
Kratochvíl, Jan
1
Krause, Martin
1
Krieger, Udo R
1
Kristensen, Lars M
1
Kroening, Daniel
1
Kruse, Rudolf
1
Kuester, Jochen M.
1
Kuich, Werner, 1941-
1
Kulczycki, Gregory
1
Kuncak, Viktor
1
Kutvonen, Lea
1
Kutyłowski, Mirosław
1
Kuznetsov, Sergei O
1
König, Barbara
1
Kühne, Thomas
1
Ladd, Scott Robert
1
Lafontaine, Christine
1
Lajoie, Josée
1
Langridge, Stuart
1
Lara, Juan de
1
Larrondo-Petrie, María M
1
Lastovetsky, Alexey
1
Latella, Diego
1
Lau, K.-K. (Kung-Kiu), 1953-
1
Launchbury, John
1
Laurie, Ben
1
Laurie, Peter
1
Lazar, Guillaume
1
Lee, David
1
Lee, Edward
1
Lee, Insup
1
Lee, Joohyung
1
Legay, Axel
1
Leino, K. Rustan M.
1
Lemos, Rogério de, 1961-
1
Lengauer, Christian
1
Leucker, Martin
1
Levine, Daniel S
1
Levine, John
1
Lewerentz, Claus
1
Lewis, Grace A
1
Lewis, John
1
Li, Angsheng
1
Li, Wenjie
1
Li, Xiaoming
1
Li, Zhiyuan, 1954-
1
Lierler, Yuliya
1
Lightfoot, David E.
1
Lilius, Johan
1
Lincoln, Patrick
1
Lindemann, Gabriela
1
Ling, Tok Wang
1
Lingras, Pawan J. (Pawan Jayawantrao), 1963-
1
Lippman, Stanley B.
1
Lipsman, Ronald L.
1
Lirkov, Ivan, 1963-
1
Litovski, Igor, 1957-
1
Little, Murray Reed
1
Liu, Shaoying
1
Llorà, Xavier
1
Lobăo, Alexandre Santos
1
Loftus, William
1
Logozzo, Francesco
1
Loidl, Hans-Wolfgang+
1
Lomax, Paul
1
Lomow, Greg A.
1
Loney, Kevin
1
Loper, Edward
1
Lopes, Cristina Videira
1
Lourenço, João M.
1
Love, Steve
1
Lowry, Michael
1
Lu, Hanlin
1
Lucia, Andrea De
1
Luo, Yuhua
1
Lutz, Carsten, 1971-
1
Lyu, Shing
1
Löwe, Welf
1
Madelaine, Eric
1
Madhavapeddy, Anil
1
Magee, Jeff
1
Maibaum, Thomas S. E., 1947-
1
Manna, Zohar, 1939-2018
1
Manning, Jon
1
Maoz, Shahar
1
Marchesi, Michele
1
Marchesi, Michele, 1952-
1
Marché, Claude
1
Margenov, Svetozar, 1953-
1
Martel, Matthieu
1
Martell, Craig
1
Martin, Robert C.
1
Martín-Vide, Carlos
1
Massaioli, Federico
1
Matson, Eric
1
Matzinger, Claus
1
Maurel, Denis
1
Maurer, Hermann, 1941-
1
Mayer, Philip
1
Mayordomo, Elvira
1
McIver, Annabelle, 1964-
1
McMillan, Kenneth L.
1
McNamara, Timothy Samuel
1
Meer, Sven van der
1
Meier, René
1
Mellish, Ch. S. (Christopher S.), 1954-
1
Mellor-Crummey, John
1
Mendelzon, Alberto O.
1
Mendes Gomes, Luís
1
Mendling, Jan
1
Merayo, Mercedes G
1
Merayo, Mercedes G.
1
Meredith, Greg
1
Meuter, Wolfgang De
1
Meyer, Eric A.
1
Meyer, J.-J. Ch., 1954-
1
Miao, Duoqian
1
Michaelis, Jens
1
Miclet, Laurent
1
Miculan, Marino
1
Middeldorp, Aart, 1963-
1
Midkiff, Samuel P. (Samuel Pratt), 1954-
1
Miller, Bradley N.
1
Mills Strout, Michelle
1
Minsky, Yaron
1
Mirandola, Raffaela
1
Misra, Jayadev
1
Mohr, Bernd
1
Mollá-Aliod, Diego
1
Monien, Burkhard, 1943-
1
Montanari, Ugo
1
Montresor, Alberto
1
Moo, Barbara E.
1
Morales, Eduardo F.
1
Moreira, Ana
1
Morgan, Carroll
1
Morisseau-Leroy, Nirva
1
Morrison, Michael
1
Mueller, Frank, 1966-
1
Mukund, Madhavan
1
Muntean, Traian
1
Murdoch, Duncan James, 1959-
1
Murphy, Amy L
1
Murphy, Amy L., 1973-
1
Musser, David R.
1
Méry, Dominique
1
Métayer, Daniel Le
1
Möller, Bernhard, 1953-
1
Müller, Hausi A
1
Müller, Jörg P., 1965-
1
Müller, Matthias S
1
Müller-Clostermann, Bruno
1
Müller-Olm, Markus
1
Münch, Jürgen, 1968-
1
Nanz, Sebastian
1
Narukawa, Yasuo, 1964-
1
Nguyen, Quan
1
Nicola, Rocco De
1
Nielsen, Mogens, 1949-
1
Nielson, Flemming, 1955-
1
Nielson, Hanne Riis
1
Niemelä, Ilkka
1
Nigay, Laurence
1
Nipkow, Tobias, 1958-
1
Ničković, Dejan
1
Noble, James, 1967-
1
Nugent, Tim
1
Nye, Adrian
1
Nyhoff, Jeffrey
1
Nyhoff, Larry R., 1938-
1
Nystrom, Robert
1
Núñez, Manuel
1
O'Hallaron, David R. (Davie Richard), 1955-
1
Oaks, Scott
1
Oddi, Angelo
1
Odell, James J., 1946-
1
Odersky, Martin, 1958-
1
Ogawa, Mizuhito
1
Ohori, Atsushi, 1957-
1
Oliveira, José Nuno
1
Oliveira, Marcel Vinícius Medeiros
1
Orejas, Fernando
1
Orendorff, Jason
1
Ossowski, Sascha
1
Ostermann, Klaus
1
Ottmann, Thomas
1
Otto, Friedrich
1
O’Boyle, Michael
1
O’Hearn, Peter
1
Pace, Gordon J.
1
Padget, Julian A., 1959-
1
Padovani, Luca
1
Paech, Barbara
1
Palsberg, Jens, 1964-
1
Pande, Santosh
1
Pang, Jun
1
Pankratius, Victor
1
Paoli, Flavio De
1
Paredaens, Jan
1
Parker, J. R. (Jim R.), 1955-
1
Parsons, Jeffrey
1
Patchett, Craig
1
Paterson, Michael S., 1942-
1
Patwardhan, Nathan
1
Paun, Andrei
1
Pautasso, Cesare, 1975-
1
Pavlovic, Dusko
1
Payette, Bruce
1
Pearce, David
1
Pearce, Jon
1
Peled, Doron A
1
Penczek, Wojciech
1
Penea, Robin
1
Pereira, Fernando Magno Quintão
1
Person, Suzette
1
Peters, James F., 1936-
1
Petersen, Paul
1
Petrucci, Laure
1
Petrusha, Ronald, 1951-
1
Pettit, Robert
1
Philippsen, Michael
1
Phillips, Lee
1
Picco, Gian Pietro, 1968-
1
Piccolino, Marco
1
Pingali, Keshav
1
Pinto, Jorge Sousa
1
Pnueli, Amir
1
Podelski, Andreas
1
Poernomo, Iman
1
Poetzsch-Heffter, Arnd
1
Politechnika Śląska im. W. Pstrowskiego. Instytut Elektroniki
1
Pollock, Lori L
1
Poole, Stephen
1
Potapov, Igor
1
Pribyl, Bill
1
Pu, Geguang
1
Puebla, Germán
1
Pugh, Bill
1
Puschner, Peter
1
Pustulka-Hunt, Ela
1
Putten, Maaike van
1
Qiu, Zongyan
1
Quaglia, Paola
1
Queiroz, Ruy J. G. B. de
1
Rader, Devin, 1976-
1
Rajamani, Sriram K
1
Rajopadhye, Sanjay
1
Ramalingam, G
1
Ramamurthy, Bina
1
Ramanujam, J.
1
Ramanujam, R
1
Ranum, David L.
1
Raskin, Jean-François
1
Rathgeb, Erwin P
1
Rauschmayer, Axel
1
Ravikumar, B.
1
Ravn, Anders P., 1947-2019
1
Raymond, Kerry, 1960-
1
Reggio, Gianna
1
Reichel, Horst, 1941-
1
Reichert, Frank
1
Reps, Thomas
1
Reussner, Ralf H
1
Riti, Pierluigi
1
Rocha, Ricardo
1
Rodrigues da Silva, Alberto
1
Rogel-Salazar, Jesus
1
Rohwedder, Ekkehard
1
Roman, Steven
1
Romano, Fabrizio, 1975-
1
Romanovsky, Alexander, 1954-
1
Romijn, Judi Maria Tirza, 1971-
1
Ropo, Matti
1
Rorro, Marco
1
Rosenberg, Jonathan M.
1
Rosenblum, David S.
1
Rowe, Glenn (Glenn W.), 1953-
1
Rozier, Kristin Yvonne
1
Roşu, Grigore, 1971-
1
Rudd, Walter G.
1
Rudolph, Sebastian
1
Russo, Claudio
1
Russo, Marco, 1967-
1
Rys, Michael
1
Sadayappan, P.
1
Saeki, Motoshi
1
Sagonas, Kostis
1
Saini, Atul
1
Sakarovitch, Jacques, 1947-
1
Salomaa, Arto, 1934-
1
Samoylov, Nick
1
Sampaio, Augusto
1
Sampaio, Augusto, 1964-
1
Sanders, Jeff W
1
Sands, David
1
Sangiorgi, Davide, 1964-
1
Sannella, Donald
1
Sapaty, Peter Simon
1
Saraswat, Vijay A.
1
Sarkar, Vivek
1
Sartor, Giovanni
1
Sassone, Vladimiro
1
Savidis, Anthony
1
Scagnetto, Ivan
1
Schaefer, Ina
1
Schanafelt, Dawn
1
Schantz, Richard E.
1
Schmaltz, Julien
1
Schmid, Klaus
1
Schmidt, David
1
Schmidt, David A., 1953-
1
Schmidt, Erik Meineche, 1945-
1
Schmidt, Heinz W
1
Schmidt, Renate A.
1
Schmitt, Jens B
1
Schmitz, Sylvain
1
Schneider, Gerardo
1
Schonberg, Edmond
1
Schreye, Danny De
1
Schulte, Christian
1
Schulte, Wolfram
1
Schulz, Katrin
1
Schumann, Michael
1
Schwanninger, Christine
1
Schwartz, Randal L., 1961-
1
Schäfer, Wilhelm
1
Schäfer, Wilhelm, 1954-
1
Scotto, Marco
1
Sehr, David
1
Seidl, Helmut
1
Seidl, Martina
1
Sekerinski, Emil, 1963-
1
Seki, Shinnosuke
1
Sen, Koushik
1
Sen, Sandeep
1
Sere, Kaisa
1
Shamir, Eli
1
Shamis, Pavel
1
Shankar, Natarajan
1
Shao, Zhong
1
Shaw, Mary
1
Sherriff, Nicholas
1
Sherrington, Malcolm
více ...
více ...
zavřít
×
Načítá se...