Search Results for Urban, Christian.

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:

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:

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:

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:

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:

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:

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:

	{displayName}	{count}
{error}