Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Author
Sort
Result Count
Alphabetical
more ...
prev ...
1
Kariv, O.
1
Karsai, Gabor
1
Kasahara, Hironori
3
Katz, Shmuel
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
2
Klabnik, Steve, 1986-
1
Klein, Ewan
1
Kneusel, Ronald T.
1
Knobloch, Manfred, 1959-
1
Knoop, Jens
1
Knudsen, Jørgen Lindskov
3
Kobayashi, Naoki, 1968-
1
Koci, Radek
1
Koffman, Elliot B.
1
Kofler, Michael, 1967-
1
Koch, Nora
1
Kolář, Dušan
1
Kolman, Petr
1
König, Barbara
1
Koopman, Pieter
1
Kopp, Matthias
4
Kordon, Fabrice
1
Kornai, András
1
Kosmatov, Nikolai
1
Kott, Laurent
2
Kouchnarenko, Olga
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
2
Kučera, Antonín, 1971-
1
Kuester, Jochen M.
1
Kühne, Thomas
1
Kuich, Werner, 1941-
1
Kulczycki, Gregory
1
Kuncak, Viktor
1
Kutvonen, Lea
1
Kutyłowski, Mirosław
1
Kuznetsov, Sergei O
2
Lacey, Nichola
1
Ladd, Scott Robert
1
Lafontaine, Christine
1
Lajoie, Josée
4
Lämmel, Ralf
2
Lanet, Jean-Louis
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
3
Leavens, Gary T
1
Lee, David
1
Lee, Edward
1
Lee, Insup
1
Lee, Joohyung
1
Legay, Axel
1
Leino, K. Rustan M.
2
Lemos, Rogério de
1
Lemos, Rogério de, 1961-
1
Lengauer, Christian
2
Leroy, Pascal
1
Leucker, Martin
2
Leuschel, Michael
1
Levine, Daniel S
1
Levine, John
1
Lewerentz, Claus
1
Lewis, Grace A
1
Lewis, John
1
Li, Angsheng
1
Lierler, Yuliya
1
Lightfoot, David E.
1
Lilius, Johan
1
Lincoln, Patrick
1
Lindemann, Gabriela
1
Lingras, Pawan J. (Pawan Jayawantrao), 1963-
1
Ling, Tok Wang
1
Lippman, Stanley B.
1
Lipsman, Ronald L.
1
Lirkov, Ivan, 1963-
1
Litovski, Igor, 1957-
1
Little, Murray Reed
1
Liu, Shaoying
2
Liu, Zhiming, 1961-
3
Liu, Zhiming, 1972-
1
Li, Wenjie
1
Li, Xiaoming
1
Li, Zhiyuan, 1954-
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
2
Lopes, Antónia
1
Lopes, Cristina Videira
1
Lourenço, João M.
1
Love, Steve
3
Löwe, Benedikt
1
Löwe, Welf
1
Lowry, Michael
1
Lucia, Andrea De
1
Lu, Hanlin
1
Luo, Yuhua
1
Lutz, Carsten, 1971-
1
Lyu, Shing
1
Madelaine, Eric
1
Madhavapeddy, Anil
1
Magee, Jeff
1
Maibaum, Thomas S. E., 1947-
2
Majumdar, Rupak
1
Manna, Zohar, 1939-2018
1
Manning, Jon
1
Maoz, Shahar
1
Margenov, Svetozar, 1953-
1
Marché, Claude
1
Marchesi, Michele
1
Marchesi, Michele, 1952-
1
Martell, Craig
1
Martel, Matthieu
1
Martin, Robert C.
1
Martín-Vide, Carlos
2
Martí-Oliet, Narciso
1
Massaioli, Federico
1
Matson, Eric
1
Matzinger, Claus
1
Maurel, Denis
1
Maurer, Hermann, 1941-
1
Mayer, Philip
1
Mayordomo, Elvira
2
McCarthy, Jay
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
Méry, Dominique
2
Merz, Stephan
3
Meseguer, José
1
Métayer, Daniel Le
1
Meuter, Wolfgang De
2
Meyer, Bertrand
2
Meyer, Bertrand, 1950-
1
Meyer, Eric A.
1
Meyer, J.-J. Ch., 1954-
3
Mezini, Mira, 1966-
1
Miao, Duoqian
1
Miclet, Laurent
1
Miculan, Marino
1
Middeldorp, Aart, 1963-
1
Midkiff, Samuel P. (Samuel Pratt), 1954-
1
Michaelis, Jens
2
Michaelson, Greg J
1
Miller, Bradley N.
1
Mills Strout, Michelle
2
Min, Sang Lyul
1
Minsky, Yaron
1
Mirandola, Raffaela
1
Misra, Jayadev
1
Mohr, Bernd
1
Mollá-Aliod, Diego
1
Möller, Bernhard, 1953-
1
Monien, Burkhard, 1943-
1
Montanari, Ugo
1
Montresor, Alberto
1
Moo, Barbara E.
1
Morales, Eduardo F.
2
Morazán, Marco T
1
Moreira, Ana
1
Morgan, Carroll
1
Morisseau-Leroy, Nirva
1
Morrison, Michael
2
Mosses, Peter D., 1948-
1
Mueller, Frank, 1966-
1
Mukund, Madhavan
1
Müller-Clostermann, Bruno
1
Müller, Hausi A
1
Müller, Jörg P., 1965-
1
Müller, Matthias S
1
Müller-Olm, Markus
2
Müller, Peter
1
Münch, Jürgen, 1968-
1
Muntean, Traian
1
Murdoch, Duncan James, 1959-
1
Murphy, Amy L
1
Murphy, Amy L., 1973-
1
Musser, David R.
2
Namyst, Raymond
1
Nanz, Sebastian
1
Narukawa, Yasuo, 1964-
3
Neuburg, Matt, 1954-
1
Nguyen, Quan
1
Nicola, Rocco De
1
Ničković, Dejan
1
Nielsen, Mogens, 1949-
1
Nielson, Flemming, 1955-
1
Nielson, Hanne Riis
1
Niemelä, Ilkka
2
Nierstrasz, Oscar Marius, 1957-
1
Nigay, Laurence
2
Nichols, Carol, 1983-
1
Nipkow, Tobias, 1958-
3
Noble, James
1
Noble, James, 1967-
2
Nordio, Martin
1
Nugent, Tim
1
Núñez, Manuel
1
Nye, Adrian
1
Nyhoff, Jeffrey
1
Nyhoff, Larry R., 1938-
1
Nystrom, Robert
1
Oaks, Scott
1
O’Boyle, Michael
1
Oddi, Angelo
1
Odell, James J., 1946-
1
Odersky, Martin, 1958-
1
Ogawa, Mizuhito
1
O'Hallaron, David R. (Davie Richard), 1955-
1
O’Hearn, Peter
1
Ohori, Atsushi, 1957-
1
Oliveira, José Nuno
1
Oliveira, Marcel Vinícius Medeiros
1
Orejas, Fernando
1
Orendorff, Jason
2
Ossher, Harold
1
Ossowski, Sascha
1
Ostermann, Klaus
1
Ottmann, Thomas
1
Otto, Friedrich
1
Pace, Gordon J.
1
Padget, Julian A., 1959-
1
Padovani, Luca
1
Paech, Barbara
2
Page, Rex, 1944-
2
Paige, Richard F.
2
Palsberg, Jens
1
Palsberg, Jens, 1964-
1
Pande, Santosh
1
Pang, Jun
1
Pankratius, Victor
1
Paoli, Flavio De
2
Pardo, Alberto
1
Paredaens, Jan
1
Parker, J. R. (Jim R.), 1955-
1
Parsons, Jeffrey
1
Paterson, Michael S., 1942-
1
Patchett, Craig
1
Patwardhan, Nathan
2
Paulin-Mohring, Christine, 1962-
1
Paun, Andrei
1
Pautasso, Cesare, 1975-
1
Pavlovic, Dusko
1
Payette, Bruce
1
Pearce, David
1
Pearce, Jon
1
Peled, Doron A
3
Peled, Doron A., 1962-
4
Peña, Ricardo, 1950-
1
Penczek, Wojciech
1
Penea, Robin
1
Pereira, Fernando Magno Quintão
1
Person, Suzette
1
Petersen, Paul
1
Peters, James F., 1936-
2
Petriu, Dorina C
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
2
Pinho, Luís Miguel
1
Pinto, Jorge Sousa
2
Plasil, Frantisek
4
Plasmeijer, Rinus
2
Ploedereder, Erhard
1
Pnueli, Amir
1
Podelski, Andreas
1
Poernomo, Iman
1
Poetzsch-Heffter, Arnd
1
Politechnika Śląska im. W. Pstrowskiego. Instytut Elektroniki
2
Pol, Jaco van de, 1969-
1
Pollock, Lori L
2
Pontelli, Enrico
1
Poole, Stephen
1
Potapov, Igor
2
Priami, Corrado
1
Pribyl, Bill
9
ProQuest Ebook Central (online služba)
1
Puebla, Germán
1
Pu, Geguang
1
Pugh, Bill
1
Puschner, Peter
1
Pustulka-Hunt, Ela
1
Putten, Maaike van
2
Qadeer, Shaz
2
Qin, Shengchao
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.
2
Rashid, Awais
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
3
Reussner, Ralf
1
Reussner, Ralf H
1
Riti, Pierluigi
1
Rodrigues da Silva, Alberto
1
Rogel-Salazar, Jesus
1
Rohwedder, Ekkehard
1
Rocha, Ricardo
2
Roman, Jean
1
Romano, Fabrizio, 1975-
2
Romanovsky, Alexander
1
Romanovsky, Alexander, 1954-
1
Roman, Steven
1
Romijn, Judi Maria Tirza, 1971-
2
Ronchi Della Rocca, Simona, 1946-
1
Ropo, Matti
1
Rorro, Marco
1
Rosenberg, Jonathan M.
1
Rosenblum, David S.
2
Rossi, Francesca, 1962-
2
Roşu, Grigore
1
Roşu, Grigore, 1971-
2
Rouquette, Nicolas
1
Rowe, Glenn (Glenn W.), 1953-
1
Rozier, Kristin Yvonne
1
Rudd, Walter G.
1
Rudolph, Sebastian
3
Rumpe, Bernhard
1
Russo, Claudio
1
Russo, Marco, 1967-
2
Rybalchenko, Andrey
1
Rys, Michael
1
Sadayappan, P.
1
Saeki, Motoshi
3
Sagiv, Mooly
1
Sagonas, Kostis
1
Saini, Atul
1
Sakarovitch, Jacques, 1947-
2
Salaün, Gwen
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
3
Saraiva, João
1
Saraswat, Vijay A.
1
Sarkar, Vivek
1
Sartor, Giovanni
2
Sarukkai, Sundar
1
Sassone, Vladimiro
1
Savidis, Anthony
1
Scagnetto, Ivan
1
Scotto, Marco
1
Sehr, David
1
Seidl, Helmut
1
Seidl, Martina
3
Seipel, Dietmar
1
Sekerinski, Emil, 1963-
1
Seki, Shinnosuke
2
Selic, Bran
1
Sen, Koushik
1
Sen, Sandeep
1
Sere, Kaisa
3
Sestoft, Peter
1
Shamir, Eli
1
Shamis, Pavel
1
Shankar, Natarajan
1
Shao, Zhong
2
Shao, Zhong, 1968-
1
Shaw, Mary
1
Sherriff, Nicholas
1
Sherrington, Malcolm
1
Shkaravska, Olha
1
Shoval, Peretz
1
Shuiskov, Alexander
1
Schaefer, Ina
1
Schäfer, Wilhelm
1
Schäfer, Wilhelm, 1954-
1
Schanafelt, Dawn
1
Schantz, Richard E.
2
Schätz, Bernhard
1
Schmaltz, Julien
1
Schmid, Klaus
1
Schmidt, David
1
Schmidt, David A., 1953-
1
Schmidt, Erik Meineche, 1945-
1
Schmidt, Heinz W
2
Schmidt, Heinz Wilhelm, 1952-
1
Schmidt, Renate A.
1
Schmitt, Jens B
1
Schmitz, Sylvain
1
Schneider, Gerardo
2
Scholz, Sven-Bodo
1
Schonberg, Edmond
1
Schreye, Danny De
2
Schrijvers, Tom
1
Schulte, Christian
1
Schulte, Wolfram
1
Schulz, Katrin
1
Schumann, Michael
2
Schürr, Andy
1
Schwanninger, Christine
1
Schwartz, Randal L., 1961-
1
Siddaway, Richard
1
Siever, Ellen
1
Sifakis, Joseph, 1946-
1
Sichman, Jaime Simão
1
Silva, Leila
2
Simao, Adenilso
1
Simons, Martin
1
Singh, Abhishek, 1985-
1
Singh, Neeraj Kumar
2
Sirjani, Marjan
1
Siveroni, Igor
1
Skadhauge, Peter Rossen
1
Skerritt, Matthew P.
1
Skowron, Andrzej
1
Slatkin, Brett
1
Smith, Graeme, 1966-
1
Smolka, Gert
1
Smolka, Scott A
2
Sokolsky, Oleg
1
Soliman, Sylvain
1
Son, Tran Cao
1
Soós, Anna
1
Sossai, Claudio
1
Spainhour, Stephen
440
SpringerLink (online služba)
2
Stafford, Judith A
2
Stafford, Judith A.
1
Stair, Ralph M., jr
1
Stamelos, Ioannis
1
Steele, Guy L., 1954-
1
Steen, Maarten van
1
Steffen, Martin, 1965-
1
Steinhart, Jonathan E.
1
Stelly, James W.
1
Stephens, Rod, 1961-
2
Stevens, Perdita, 1966-
1
Stewart, John, 1943 July 1-
1
Stoddart, Bill
1
Stoutenburg, Suzette
2
Stroustrup, Bjarne, 1950-
1
Stuckey, Peter J
1
Succi, Giancarlo
1
Succi, Giancarlo, 1964-
more ...
close
×
Loading...