Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Arithmetic geometry over global function fields
Arithmetic geometry over global function fields
Author 
Böckle, Gebhard, 1964- author. Burns, David, 1963- author. Goss, David, 1952- author. Thakur, Dinesh S., 1961- author. Trihan, Fabien, author, editor.
Preferred Shelf Number 
QA241.5 A75 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Author 
Mostowski, Andrzej
Preferred Shelf Number 
BC 135 M6 1952
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Transactions on Computational Science XXIV Special Issue on Reversible Computing
Transactions on Computational Science XXIV Special Issue on Reversible Computing
Author 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Thapliyal, Himanshu. editor. Ranganathan, Nagarajan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45711-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10515-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Introduction to numerical analysis and scientific computing
Introduction to numerical analysis and scientific computing
Author 
Nassif, Nabil, author. Fayyad, Dolly Khuwayri, author.
Preferred Shelf Number 
QA297 N37 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Nautical mathematics
Nautical mathematics
Author 
Walling, Sydney Arthur.
Preferred Shelf Number 
QA106.W32 N38 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies: