Search Results for Computable functions.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputable$002bfunctions.$0026ic$003dtrue$0026ps$003d300?
2024-10-31T08:38:42Z
Programs as Diagrams From Categorical Computability to Computable Categories
ent://SD_ILS/0/SD_ILS:520627
2024-10-31T08:38:42Z
2024-10-31T08:38:42Z
Author Pavlovic, Dusko. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520627.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34827-3">https://doi.org/10.1007/978-3-031-34827-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520822
2024-10-31T08:38:42Z
2024-10-31T08:38:42Z
Author Deng, Yi. editor. Yung, Moti. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520822.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26553-2">https://doi.org/10.1007/978-3-031-26553-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519060
2024-10-31T08:38:42Z
2024-10-31T08:38:42Z
Author Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519060.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20028-6">https://doi.org/10.1007/978-3-319-20028-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of computation
ent://SD_ILS/0/SD_ILS:299391
2024-10-31T08:38:42Z
2024-10-31T08:38:42Z
Author Tourlakis, George J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://proquest.safaribooksonline.com/?fpi=9781118014783">Available by subscription from Safari Books Online</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606</a>
Wiley <a href="http://dx.doi.org/10.1002/9781118315361">http://dx.doi.org/10.1002/9781118315361</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10560654">http://site.ebrary.com/lib/alltitles/Doc?id=10560654</a>
ebrary <a href="http://site.ebrary.com/id/10560654">http://site.ebrary.com/id/10560654</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete structures, logic, and computability
ent://SD_ILS/0/SD_ILS:268313
2024-10-31T08:38:42Z
2024-10-31T08:38:42Z
Author Hein, James L.<br/>Preferred Shelf Number QA76.9.M35 H44 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Computability theory
ent://SD_ILS/0/SD_ILS:110559
2024-10-31T08:38:42Z
2024-10-31T08:38:42Z
Author Cooper, S. Barry.<br/>Preferred Shelf Number QA9.59 .C68 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Computable structures and the hyperarithmetical hierarchy
ent://SD_ILS/0/SD_ILS:256558
2024-10-31T08:38:42Z
2024-10-31T08:38:42Z
Author Ash, C. J. Knight, J. (Julia)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500724">http://www.sciencedirect.com/science/book/9780444500724</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of computability theory
ent://SD_ILS/0/SD_ILS:256534
2024-10-31T08:38:42Z
2024-10-31T08:38:42Z
Author Griffor, Edward R.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898821">http://www.sciencedirect.com/science/book/9780444898821</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computability, complexity, logic
ent://SD_ILS/0/SD_ILS:257173
2024-10-31T08:38:42Z
2024-10-31T08:38:42Z
Author Börger, E. (Egon), 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
ent://SD_ILS/0/SD_ILS:257361
2024-10-31T08:38:42Z
2024-10-31T08:38:42Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720407525">http://www.sciencedirect.com/science/book/9780720407525</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>