Switch to list view
Switch to thumbnail view
Select an Action
8 Results Found Subscribe to search results
00000000DEFAULT
Print
1. 
Cover image for Proof theory and logical complexity
Proof theory and logical complexity
Author 
Girard, Jean-Yves.
Preferred Shelf Number 
QA 9.54 G57 1987- V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for The nuts and bolts of proofs an introduction to mathematical proofs
The nuts and bolts of proofs an introduction to mathematical proofs
Author 
Cupillari, Antonella. ScienceDirect (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for A realist theory of art history
A realist theory of art history
Author 
Verstegen, Ian.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The nuts and bolts of proofs : an introduction to mathematical proofs
The nuts and bolts of proofs : an introduction to mathematical proofs
Author 
Cupillari, Antonella.
Preferred Shelf Number 
QA9.54 C86 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Resilience and urban risk management proceedings of the conference 'How the concept of resilience is able to improve urban risk management? : a temporal and a spatial analysis', Paris, France, 3-4 November 2011
Resilience and urban risk management proceedings of the conference 'How the concept of resilience is able to improve urban risk management? : a temporal and a spatial analysis', Paris, France, 3-4 November 2011
Author 
Serre, Damien. Barroca, Bruno. Laganier, Richard.
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:
6. 
Cover image for Spaces of PL manifolds and categories of simple maps
Spaces of PL manifolds and categories of simple maps
Author 
Waldhausen, Friedhelm, 1938- Jahren, Bjørn, 1945- Rognes, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt24hqsv
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Limits of computation an introduction to the undecidable and the intractable
Limits of computation an introduction to the undecidable and the intractable
Author 
Reiter, Edna E. (Edna Elizabeth) Johnson, Clayton Matthew.
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:
8. 
Cover image for Nonlinear optimal control theory
Nonlinear optimal control theory
Author 
Berkovitz, Leonard David, 1924- Medhin, Negash G.
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: