Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
10 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULT_TR
Yazdır
1. 
Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers için kapak resmi
Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
Yazar 
Deng, Yi. editor. Yung, Moti. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(520822.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26553-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Programs as Diagrams From Categorical Computability to Computable Categories için kapak resmi
Programs as Diagrams From Categorical Computability to Computable Categories
Yazar 
Pavlovic, Dusko. author. SpringerLink (Online service)
Yer Numarası 
XX(520627.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34827-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings için kapak resmi
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Yazar 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Yer Numarası 
XX(519060.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Theory of computation için kapak resmi
Theory of computation
Yazar 
Tourlakis, George J.
Yer Numarası 
ONLINE
Elektronik Erişim 
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Discrete structures, logic, and computability için kapak resmi
Discrete structures, logic, and computability
Yazar 
Hein, James L.
Yer Numarası 
QA76.9.M35 H44 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
Computability theory için kapak resmi
Computability theory
Yazar 
Cooper, S. Barry.
Yer Numarası 
QA9.59 .C68 2004
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
Computable structures and the hyperarithmetical hierarchy için kapak resmi
Computable structures and the hyperarithmetical hierarchy
Yazar 
Ash, C. J. Knight, J. (Julia)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500724
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Handbook of computability theory için kapak resmi
Handbook of computability theory
Yazar 
Griffor, Edward R.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898821
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Computability, complexity, logic için kapak resmi
Computability, complexity, logic
Yazar 
Börger, E. (Egon), 1946-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 için kapak resmi
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
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.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: