Switch to list view
Switch to thumbnail view
8 Results Found Subscribe to search results
00000000DEFAULT
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 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:
6. 
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:
7. 
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:
8. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets