Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(15)
Ershov, I͡Uriĭ Leonidovich.
(2)
Fenstad, Jens Erik.
(2)
Goodstein, R. L. (Reuben Louis)
(2)
Odifreddi, Piergiorgio, 1950-
(2)
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
33 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULT_TR
Yazdır
25. 
Mathematical objects in C++ computational tools in a unified object-oriented approach için kapak resmi
Mathematical objects in C++ computational tools in a unified object-oriented approach
Yazar 
Shapira, Yair, 1960-
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Handbook of recursive mathematics için kapak resmi
Handbook of recursive mathematics
Yazar 
Ershov, I͡Uriĭ Leonidovich.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500038
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Handbook of recursive mathematics için kapak resmi
Handbook of recursive mathematics
Yazar 
Ershov, I͡Uriĭ Leonidovich.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444501066
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
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:
29. 
An introduction to programming with specifications a mathematical approach için kapak resmi
An introduction to programming with specifications a mathematical approach
Yazar 
Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124276208
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Proceedings of the Third Annual Workshop on Computational Learning Theory University of Rochester, Rochester, New York, August 6-8, 1990 için kapak resmi
Proceedings of the Third Annual Workshop on Computational Learning Theory University of Rochester, Rochester, New York, August 6-8, 1990
Yazar 
Workshop on Computational Learning Theory (3rd : 1990 : Rochester, N.Y.) Fulk, Mark A. Case, John, 1942- ACM Special Interest Group for Automata and Computability Theory. SIGART.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781558601468
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. için kapak resmi
The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Yazar 
Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853455
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Recursive analysis için kapak resmi
Recursive analysis
Yazar 
Goodstein, R. L. (Reuben Louis)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533944
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Recursive number theory a development of recursive arithmetic in a logic-free equation calculus. için kapak resmi
Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
Yazar 
Goodstein, R. L. (Reuben Louis)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533852
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: