Author
He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)
Preferred Shelf Number
ONLINE
Electronic Access
ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
Format:
Availability
Online Library~1
Copies:
Author
Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Li, Wei. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action