1. A hierarchy of Turing degrees :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Unsolvability (Mathematical logic) ; Computable functions. ; Recursively enumerable sets. ;
2. A programming approach to computability
المؤلف: / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Computable functions,Programming (Electronic computers)
رده :
QA9
.
59
.
K46
3. A programming approach to computability
المؤلف: Kfoury, A. J.
المکتبة: (طهران)
موضوع: ، Computable functions,، Computer programming
رده :
QA
9
.
59
.
K46
1982
4. Algebraic computability and enumeration models : recursion theory and descriptive complexity
المؤلف: Nourani, Cyrus F.
المکتبة: (طهران)
موضوع: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
5. Algorithmic randomness and complexit
پدیدآورنده : Rod Downey, Denis Hirschfeldt
موضوع : Computational complexity,Computable functions
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
6. Algorithmic randomness and complexity
المؤلف: / Rodney G. Downey, Denis R. Hirschfeldt.
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Computational complexity.,Computable functions.
رده :
QA
267
.
7
.
D67
2010
7. Algorithmic randomness and complexity
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Computable functions. ;
8. Algorithmic randomness and complexity
المؤلف: / Rodney G. Downey, Denis R. Hirschfeldt
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity.,Computable functions.
رده :
QA
,
267
.
7
,.
D67
,
2010
9. Algorithmic randomness and complexity
المؤلف: Downey, R. G. )Rod G.(
المکتبة: (طهران)
موضوع: ، Computational complexity,، Computable functions
رده :
QA
267
.
7
.
D69
2010
10. Algorithmic randomness and complexity
المؤلف: / Rodney G. Downey, Denis R. Hirschfeldt
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computational complexity,Computable functions
رده :
E-BOOK
11. Algorithmic randomness and complexity
المؤلف: / Rodney G. Downey, Denis R. Hirschfeldt
المکتبة: مكتبة حرم كيش الدولي بجامعة طهران (هرمزکان)
موضوع: Computational complexity.,Computable functions.
رده :
QA
267
.
7
.
D6
2010
12. An introduction to computable Languages and abstract machines
المؤلف: Parkes, Alan
المکتبة: (طهران)
موضوع: Computable functions , Formal Languages , Machine Theory
رده :
QA
267
.
3
.
P37
13. An invitation to applied category theory :
المؤلف: Brendan Fong, David I. Spivak.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
14. An invitation to applied category theory :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
15. Applying computational intelligence: <how to creat value>
المؤلف: / Arthur Kordon
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Computational intelligence,Computable functions,Soft computing,Mathematical optimization,Artificial intelligence
رده :
006
.
3
K84A
2009
16. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
المؤلف: Hermes, Hans.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
17. Automata
المؤلف: Hopkin, David.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine theory,، Turing machines,، Computable functions
رده :
QA
267
.
H57
18. Automata and computability /
المؤلف: Dexter C. Kozen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
19. Automata, computability and complexity :
المؤلف: Elaine Rich.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
رده :
QA267
.
R53
2008
20. Berechenbarkeit, Komplexität, Logik :
المؤلف: Egon Börger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA9
.
56
E366
1992
