1. Computability

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Computable functions,Recursion theory

رده :
QA
9
.
59
.
C87
1980

6. Computability, an introduction to recursive function theory

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computable functions,، Recursion theory

رده :
QA
9
.
59
.
C87

7. Computability : an introduction to recursive function theory

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computable functions,، Recursion theory,، Recursive functions

رده :
QA
9
.
59
.
C87
1980

10. Loeb measures in practice

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Nonstandard mathematical analysis,Measure theory

رده :
QA3
.
L28
175

11. Loeb measures in practice

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Nonstandard mathematical analysis,Measure theory

رده :
QA3
.
L28
175

12. Loeb measures in practice: recent advances

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Nonstandard mathematical analysis,، Measure theory

رده :
QA
3
.
L28
Vol
.
1751

14. Nonstandard analysis and its applications

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Nonstandard mathematical analysis-- Congresses

رده :
QA
299
.
82
.
N65
1988

15. Nonstandard analysis and its applications

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Nonstandard mathematical analysis

رده :
QA
299
.
82
.
N56
1988