Limit Search Results
Language
Publication Date
-
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
16 Results Found Subscribe to search results
0000DEFAULT
Print
Author 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334468.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Cervesato, Iliano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334475.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 
Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334652.1)
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets