1. ......................
المؤلف: Uspenskii, Vladimir Andreevich
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions
رده :
Q
111
.
A3
no
.
1317
2. .....................
المؤلف: Engeler, Erwin
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
3. .....................
المؤلف: Jones, Neil D.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions,، Turing machines
رده :
QA
248
.
5
.
J66
4.
المؤلف: [by] R. L. Goodstein
المکتبة: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع: Recursive functions
رده :
QA
248
.
5
.
G6A5
5. A Compendium of Continuous Lattices
المؤلف: by Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Mathematics.
رده :
QA171
.
5
B944
1980
6. A Course on Mathematical Logi
المؤلف: / by Shashi Mohan Srivastava
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
7. A course in mathematical logic for mathematicians
المؤلف: Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
المکتبة: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع: Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
8. A course in mathematical logic for mathematicians
المؤلف: / Yu. I. Manin
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
9. A mathematical introduction to logic
المؤلف: / Herbert B. Enderton
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical
رده :
E-BOOK
10. A novel approach for generating two-variable very strict Hurwitz polynomials with applications in the design of stable two-dimensional recursive digital filters
المؤلف: M. A. Abiri
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Applied sciences,Digital filters,Electrical engineering,Hurwitz polynomials
11. A recursive introduction to the theory of computation
المؤلف: Smith, Carl H., 0591-
المکتبة: (طهران)
موضوع: ، Computer programming,Data processing ، Recursive functions
رده :
QA
76
.
6
.
S52
12. A systems approach to lithium-ion battery management
المؤلف: Phillip Weicker.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Battery chargers.,Lithium ion batteries.,Power electronics.,Battery chargers.,Lithium ion batteries.,Power electronics.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK2945
.
L58
W45
2014eb
13. Active contours :
المؤلف: Andrew Blake
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
TA1634
.
A537
2012
14. Adaptive modelling, estimation and fusion from data :
المؤلف: Chris Harris
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA76
.
87
C475
2013
15. Advanced R
المؤلف: Hadley Wickham.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
رده :
QA276
.
45
.
R3
H335
2019
16. Advances in Communications Vol. I of a Selection of Papers from Info II, the Second International Conference on Information Sciences and Systems, University of Patras, Greece, J.
المؤلف: Lainiotis, D.G.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
17. Advances in Stochastic Modelling and Data Analysis
المؤلف: edited by Jacques Janssen, Christos H. Skiadas, Constantin Zopounidis.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Distribution (Probability theory),Mathematics.
رده :
HB135
.
E358
1995
18. Advances in logic based intelligent systems :
المؤلف: edited by Kazumi Nakamatsu and Jair Minoro Abe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.
رده :
Q334
.
C69
2005
19. Advances in safety, reliability and risk management :
المؤلف: editors, Christophe Bérenguer & Antoine Grall, C. Guedes Soares.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Industrial safety -- Management -- Congresses.,Reliability (Engineering) -- Congresses.,System safety -- Congresses.
رده :
TS173
.
E358
2012
