1. Alan M. Turing /
پدیدآورنده: Sara Turing ; with a foreword by Martin Davis and an afterword by John Turing
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
T8
2012
2. An updated classification of the Recent Crustacea
پدیدآورنده: by Joel W. Martin and George E. Davis
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: Classification ، Crustacea,Classification ، Crustaces
رده :
QL
438
.
M37
C43
3. An updated classification of the recent Crustacea
پدیدآورنده: / by Joel W. Martin and George E. Davis,Martin Joel W
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Crustacea--Classification
رده :
QL
438
.
M3
2001
4. Applied nonstandard analysis
پدیدآورنده: Davis, Martin
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Nonstandard mathematical analysis
رده :
QA
299
.
82
.
D38
5. Applied nonstandard analysis
پدیدآورنده: / Martin Davis
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Nonstandard mathematical analysis
رده :
QA299
.
82
.
D38
6. Applied nonstandard analysis
پدیدآورنده: Davis, Martin, 1928-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Nonstandard mathematical analysis
رده :
QA
299
.
82
.
D38
7. Computability
پدیدآورنده: / Martin Davis
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Recursive functions,Unsolvability (Mathematical logic),Computable functions
رده :
QA9
.
615
.
D38
1982
9. Computability & unsolvability
پدیدآورنده: Davis, Martin, 1928-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Recursive functions ► Unsolvability (Mathematical logic) ► Computable functions
رده :
QA
9
.
615
.
D38
1982
10. Computability and unsolvability
پدیدآورنده: / Martin Davis
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Recursive functions
رده :
QA
248
.
5
.
D3
11. Computability and unsolvability
پدیدآورنده: Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
رده :
QA
9
.
615
.
D38
1982
12. Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Elaine J. Weyuker
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1983
13. Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
14. Computability, complexity, and languages :
پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
15. Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
16. Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Elaine J. Weyuker
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA267
.
D38
1983
17. Computability, complexity, and languages: fundamentals of theoretical computer science
پدیدآورنده: Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
1983
18. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
1994
19. Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
20. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
