Limit Search Results
Author
Language
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
143 Results Found Subscribe to search results
000000000000DEFAULT
Print
Author 
Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Priestley, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Mariño, Julio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Frasconi, Paolo. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Kuchen, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Escobar, Santiago. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Raedt, Luc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets