Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
Cover image for Programs as Diagrams From Categorical Computability to Computable Categories
Programs as Diagrams From Categorical Computability to Computable Categories
Author 
Pavlovic, Dusko. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520627.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34827-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
Author 
Deng, Yi. editor. Yung, Moti. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520822.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26553-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Author 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519060.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Theory of computation
Theory of computation
Author 
Tourlakis, George J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606
Wiley http://dx.doi.org/10.1002/9781118315361
http://site.ebrary.com/lib/alltitles/Doc?id=10560654
ebrary http://site.ebrary.com/id/10560654
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Discrete structures, logic, and computability
Discrete structures, logic, and computability
Author 
Hein, James L.
Preferred Shelf Number 
QA76.9.M35 H44 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Computability theory
Computability theory
Author 
Cooper, S. Barry.
Preferred Shelf Number 
QA9.59 .C68 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Computable structures and the hyperarithmetical hierarchy
Computable structures and the hyperarithmetical hierarchy
Author 
Ash, C. J. Knight, J. (Julia)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500724
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Handbook of computability theory
Handbook of computability theory
Author 
Griffor, Edward R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898821
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computability, complexity, logic
Computability, complexity, logic
Author 
Börger, E. (Egon), 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Author 
Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
Format: 
Availability 
Online Library~1
Available:
Copies: