1. Applied nonstandard analysis
پدیدآورنده : Martin Davis,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Nonstandard mathematical analysis
رده :
QA
.
D38
299
.
82
2. Computability
پدیدآورنده : Martin Davis,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Recursive functions,Unsolvability )Mathematical logic(,Computable functions
رده :
QA
.
D38
9
.
615
1982
3. Computability, complexity, and languages
پدیدآورنده : Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
4. Practical injection molding
پدیدآورنده : Bernie A. Olmsted, Martin E. Davis,Title,Series
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Injection molding of plastics
رده :
TP
.
O47
1150
2001
