Author
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Lee, Kent. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Shan, Chung-chieh. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332981.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334348.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Barthe, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Gordon, Andrew D. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Ueda, Kazunori. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Hu, Zhenjiang. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Ramalingam, G. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Drossopoulou, Sophia. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Nicola, Rocco. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Kobayashi, Naoki. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Sestoft, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Yi, Kwangkeun. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Sagiv, Mooly. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332962.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332982.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334014.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334069.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334077.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334096.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334278.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334358.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334547.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334772.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334743.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number
ONLINE(335120.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335125.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335126.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.
Preferred Shelf Number
ONLINE(335138.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335217.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335227.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332921.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(333558.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334034.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334038.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number
ONLINE(334041.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334156.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334533.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334683.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334691.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334697.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334698.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334711.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Drira, Khalil. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334714.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334715.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334820.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334968.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number
ONLINE(334979.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334980.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335003.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335141.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334136.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334354.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334556.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334562.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334631.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334634.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334651.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335046.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335196.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Sagonas, Kostis. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335204.1)
Electronic Access
Format:
Availability
Online Library~1
Copies: