Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
31 Results Found Subscribe to search results
0000000000000000000000000000000DEFAULT
Print
Author 
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335196.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332962.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332982.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number 
ONLINE(334041.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334665.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334673.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Bonacina, Maria Paola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334626.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335125.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Halpin, Harry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331289.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number 
ONLINE(333011.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334073.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334105.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334962.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334969.1)
Format: 
Availability 
Online Library~1
Available:
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)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335030.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335433.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332107.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334355.1)
Format: 
Availability 
Online Library~1
Available:
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)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Preferred Shelf Number 
ONLINE(334822.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334825.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334840.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335023.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334468.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334494.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334820.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Gaag, Linda C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334728.1)
Format: 
Availability 
Online Library~1
Available:
Copies: