Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(17)
Bayer, Josef, contributor.
(2)
Botma, Bert, contributor.
(2)
Dikken, Marcel den, contributor.
(2)
Ershov, I͡Uriĭ Leonidovich.
(2)
Dil
Yayın Yılı
-
Konu
Recursion theory.
(8)
LANGUAGE ARTS & DISCIPLINES / Linguistics / General.
(5)
Syntax.
(4)
Grammar, Comparative and general -- Phonology.
(3)
Grammar, Comparative and general -- Syntax.
(3)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
47 sonuç bulundu Arama sonuçlarına abone ol
00000000000DEFAULT_TR
Yazdır
37. 
Phonological Domains : Universals and Deviations için kapak resmi
Phonological Domains : Universals and Deviations
Yazar 
Arias, Javier, contributor. Bickel, Balthasar, contributor. Cardinaletti, Anna, contributor. Dobashi, Yoshihito, contributor. Grijzenhout, Janet, contributor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9783110217100
https://www.degruyter.com/isbn/9783110217100
Cover https://www.degruyter.com/document/cover/isbn/9783110217100/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
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, author.
Yer Numarası 
QA297 .S464 2009
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
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:
40. 
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:
41. 
Elementary standard ML için kapak resmi
Elementary standard ML
Yazar 
Michaelson, Greg, 1953-
Yer Numarası 
QA76.73 .M5 M53 1995
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
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:
43. 
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:
44. 
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:
45. 
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:
46. 
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:
47. 
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: