Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000DEFAULT
Print
13. 
Cover image for Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
Author 
Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-35651-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Author 
Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Parameterized Complexity Theory
Parameterized Complexity Theory
Author 
Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29953-X
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Author 
Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11814948
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Author 
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11527695
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Author 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137280
Format: 
Availability 
Online Library~1
Available:
Copies: