Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
55 Results Found Subscribe to search results
000000000000DEFAULT
Print
Author 
Shankar, A. Udaya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331611.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
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 
Shan, Chung-chieh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332981.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334034.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334348.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 
Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334673.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334715.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 
Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334980.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333558.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334014.1)
Format: 
Availability 
Online Library~1
Available:
Copies: