Arama Sonuçlarını Sınırlandır
Yazar
Yayın Yılı
-
Konu
lambda calcul.
(3)
Computational complexity.
(2)
HESAP.
(2)
complexité calcul.
(2)
programmation en logique.
(2)
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ç
23 sonuç bulundu Arama sonuçlarına abone ol
00000000000DEFAULT_TR
Yazdır
13. 
The formal semantics of programming languages an introduction için kapak resmi
The formal semantics of programming languages an introduction
Yazar 
Winskel, G. (Glynn)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Using hard problems to create pseudorandom generators için kapak resmi
Using hard problems to create pseudorandom generators
Yazar 
Nisan, Noam.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267312
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Basic category theory for computer scientists için kapak resmi
Basic category theory for computer scientists
Yazar 
Pierce, Benjamin C.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
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:
17. 
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy için kapak resmi
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Yazar 
McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Mechanics, analysis and geometry 200 years after Lagrange için kapak resmi
Mechanics, analysis and geometry 200 years after Lagrange
Yazar 
Francaviglia, M.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444889584
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Theories of computational complexity için kapak resmi
Theories of computational complexity
Yazar 
Calude, Cristian, 1952-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444703569
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Actors a model of concurrent computation in distributed systems için kapak resmi
Actors a model of concurrent computation in distributed systems
Yazar 
Agha, Gul A.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267205
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Introduction to interval computations için kapak resmi
Introduction to interval computations
Yazar 
Alefeld, G., 1941- Herzberger, Jürgen.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780120498208
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Stochastic differential equations and diffusion processes için kapak resmi
Stochastic differential equations and diffusion processes
Yazar 
Ikeda, Nobuyuki. Watanabe, Shinzo, 1935-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444861726
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Vibrational properties of solids için kapak resmi
Vibrational properties of solids
Yazar 
Gilat, Gideon, ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124608153
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: