Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519043.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
Author 
Berghofer, Stefan. editor. Nipkow, Tobias. editor. Urban, Christian. editor. Wenzel, Makarius. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03359-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Understanding Complex Urban Systems: Multidisciplinary Approaches to Modeling
Understanding Complex Urban Systems: Multidisciplinary Approaches to Modeling
Author 
Walloth, Christian. editor. Gurr, Jens Martin. editor. Schmidt, J. Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02996-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Edgar Allan Poe in context
Edgar Allan Poe in context
Author 
Hayes, Kevin J., editor.
Preferred Shelf Number 
PS2638 .E345 2013
Electronic Access 
https://doi.org/10.1017/CBO9780511844027
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for European transformations : the long twelfth century
European transformations : the long twelfth century
Author 
Noble, Thomas F. X. Van Engen, John H.
Preferred Shelf Number 
D201.8 E87 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Bioarchaeology and behavior the people of the ancient Near East
Bioarchaeology and behavior the people of the ancient Near East
Author 
Larsen, Clark Spencer. Perry, Megan A. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Manhood factories : YMCA architecture and the making of modern urban culture
Manhood factories : YMCA architecture and the making of modern urban culture
Author 
Lupkin, Paula, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.5749/j.cttts4sw
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets