Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for High-Performance Computing Using FPGAs
High-Performance Computing Using FPGAs
Author 
Vanderbauwhede, Wim. editor. Benkrid, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331283.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1791-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Particle Filters for Random Set Models
Particle Filters for Random Set Models
Author 
Ristic, Branko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332002.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6316-0
Format: 
Availability 
Online Library~1
Available:
Copies: