Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
Author 
Kaufmann, Matt. editor. Paulson, Lawrence C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14052-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Lerna, a preclassical site in the Argolid : Results of excavations conducted by the American School of Classical Studies at Athens.
Lerna, a preclassical site in the Argolid : Results of excavations conducted by the American School of Classical Studies at Athens.
Author 
American School of Classical Studies at Athens.
Preferred Shelf Number 
GN 778.22.G8 A43 1969- V.11969
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
3. 
Cover image for Cellular and molecular biology of metals
Cellular and molecular biology of metals
Author 
Zalups, Rudolfs K. Koropatnick, Donald James, 1952-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies: