Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
60 Results Found Subscribe to search results
000000000000DEFAULT
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 
Betz, Gregor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335787.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330925.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 
Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Preferred Shelf Number 
ONLINE(331582.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 
Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332979.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 
Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332934.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 
Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Preferred Shelf Number 
ONLINE(334092.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Preferred Shelf Number 
ONLINE(334220.1)
Format: 
Availability 
Online Library~1
Available:
Copies: