Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
8 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
1. 
The implementation of functional programming languages için kapak resmi
The implementation of functional programming languages
Yazar 
Peyton Jones, Simon L., 1958-
Yer Numarası 
QA 76.7 P495 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings için kapak resmi
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Yazar 
Hur, Chung-Kil. editor. SpringerLink (Online service)
Yer Numarası 
XX(521341.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-8311-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Yazar 
Falaschi, Moreno. editor. SpringerLink (Online service)
Yer Numarası 
XX(518861.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27436-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings için kapak resmi
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Yazar 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Yer Numarası 
XX(518878.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings için kapak resmi
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Yazar 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Yer Numarası 
XX(519043.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers için kapak resmi
Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
Yazar 
Zsók, Viktória. editor. Horváth, Zoltán. editor. Csató, Lehel. editor. SpringerLink (Online service)
Yer Numarası 
XX(519213.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15940-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
Lazy functional languages abstract interpretation and compilation için kapak resmi
Lazy functional languages abstract interpretation and compilation
Yazar 
Burn, Geoffrey.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: