Arama Sonuçları Computable functions.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputable$002bfunctions.$0026pe$003dd$00253A$0026ps$003d300?dt=list
2024-12-25T19:26:36Z
Programs as Diagrams From Categorical Computability to Computable Categories
ent://SD_ILS/0/SD_ILS:520627
2024-12-25T19:26:36Z
2024-12-25T19:26:36Z
Yazar Pavlovic, Dusko. author. SpringerLink (Online service)<br/>Yer Numarası XX(520627.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-12-25T19:26:36Z
2024-12-25T19:26:36Z
Yazar Deng, Yi. editor. Yung, Moti. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(520822.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-12-25T19:26:36Z
2024-12-25T19:26:36Z
Yazar Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519060.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory of computation
ent://SD_ILS/0/SD_ILS:299391
2024-12-25T19:26:36Z
2024-12-25T19:26:36Z
Yazar Tourlakis, George J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Discrete structures, logic, and computability
ent://SD_ILS/0/SD_ILS:268313
2024-12-25T19:26:36Z
2024-12-25T19:26:36Z
Yazar Hein, James L.<br/>Yer Numarası QA76.9.M35 H44 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Computability theory
ent://SD_ILS/0/SD_ILS:110559
2024-12-25T19:26:36Z
2024-12-25T19:26:36Z
Yazar Cooper, S. Barry.<br/>Yer Numarası QA9.59 .C68 2004<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Computable structures and the hyperarithmetical hierarchy
ent://SD_ILS/0/SD_ILS:256558
2024-12-25T19:26:36Z
2024-12-25T19:26:36Z
Yazar Ash, C. J. Knight, J. (Julia)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500724">http://www.sciencedirect.com/science/book/9780444500724</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of computability theory
ent://SD_ILS/0/SD_ILS:256534
2024-12-25T19:26:36Z
2024-12-25T19:26:36Z
Yazar Griffor, Edward R.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898821">http://www.sciencedirect.com/science/book/9780444898821</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computability, complexity, logic
ent://SD_ILS/0/SD_ILS:257173
2024-12-25T19:26:36Z
2024-12-25T19:26:36Z
Yazar Börger, E. (Egon), 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-12-25T19:26:36Z
2024-12-25T19:26:36Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720407525">http://www.sciencedirect.com/science/book/9780720407525</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>