Limit Search Results
Author
Language
Publication Date
-
Material Type
Library
42 Results Found Subscribe to search results
000000DEFAULT
Print
Author 
Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies: