Limit Search Results
Author
Language
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
Author 
Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79719-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Author 
Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87531-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for New Developments in Formal Languages and Applications
New Developments in Formal Languages and Applications
Author 
Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78291-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Algorithms in Invariant Theory
Algorithms in Invariant Theory
Author 
Sturmfels, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-77417-5
Format: 
Availability 
Online Library~1
Available:
Copies: