Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
6 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULT_TR
Yazdır
1. 
Abstract Computing Machines A Lambda Calculus Perspective için kapak resmi
Abstract Computing Machines A Lambda Calculus Perspective
Yazar 
Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138965
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus için kapak resmi
Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
Yazar 
Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138337
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus. için kapak resmi
Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.
Yazar 
Aoun, Ali Salem
Yer Numarası 
TEZ 3422 DR. 1996
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II için kapak resmi
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
Yazar 
Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Yer Numarası 
XX(520982.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5837-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers için kapak resmi
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Yazar 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası 
XX(519046.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24644-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Lectures on the Curry-Howard isomorphism için kapak resmi
Lectures on the Curry-Howard isomorphism
Yazar 
Sørensen, Morten Heine. Urzyczyn, Paweł.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520777
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: