Limit Search Results
Author
Language
70 Results Found Subscribe to search results
000000000000DEFAULT
Print
Author 
Holt, Jon Perry, Simon
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Biere, Armin. author. Kroening, Daniel. author. Weissenbacher, Georg. author. Wintersteiger, Christoph M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Micheloni, Rino. editor. Campardo, Giovanni. editor. Olivo, Piero. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Friedenthal, Sanford. Moore, Alan. Steiner, Rick.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Hesketh, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Gharpurey, Ranjit. editor. Kinget, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Magistris, Massimiliano. author. Miano, Giovanni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Saligrama, Venkatesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Colinge, Jean-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Mishra, Umesh K. author. Singh, Jasprit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Vassiliadis, Stamatis. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Vidojkovic, Vojkan. author. Tang, Johan van. author. Leeuwenburgh, Arjan. author. Roermund, Arthur. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies: