1. A hierarchy of Turing degrees :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Unsolvability (Mathematical logic) ; Computable functions. ; Recursively enumerable sets. ;
2. A programming approach to computability
Author: / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Computable functions,Programming (Electronic computers)
Classification :
QA9
.
59
.
K46
3. A programming approach to computability
Author: Kfoury, A. J.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Computer programming
Classification :
QA
9
.
59
.
K46
1982
4. Algebraic computability and enumeration models : recursion theory and descriptive complexity
Author: Nourani, Cyrus F.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
Classification :
QA
169
.
N68A4
5. Algorithmic randomness and complexit
پدیدآورنده : Rod Downey, Denis Hirschfeldt
موضوع : Computational complexity,Computable functions
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
6. Algorithmic randomness and complexity
Author: / Rodney G. Downey, Denis R. Hirschfeldt.
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computational complexity.,Computable functions.
Classification :
QA
267
.
7
.
D67
2010
7. Algorithmic randomness and complexity
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computational complexity. ; Computable functions. ;
8. Algorithmic randomness and complexity
Author: Downey, R. G. )Rod G.(
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Computational complexity,، Computable functions
Classification :
QA
267
.
7
.
D69
2010
9. Algorithmic randomness and complexity
Author: / Rodney G. Downey, Denis R. Hirschfeldt
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computational complexity,Computable functions
Classification :
E-BOOK
10. Algorithmic randomness and complexity
Author: / Rodney G. Downey, Denis R. Hirschfeldt
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computational complexity.,Computable functions.
Classification :
QA
,
267
.
7
,.
D67
,
2010
11. Algorithmic randomness and complexity
Author: / Rodney G. Downey, Denis R. Hirschfeldt
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Computational complexity.,Computable functions.
Classification :
QA
267
.
7
.
D6
2010
12. An introduction to computable Languages and abstract machines
Author: Parkes, Alan
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computable functions , Formal Languages , Machine Theory
Classification :
QA
267
.
3
.
P37
13. An invitation to applied category theory :
Author: Brendan Fong, David I. Spivak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
Classification :
QA9
.
25
.
F66
2019
14. An invitation to applied category theory :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
15. Applying computational intelligence: <how to creat value>
Author: / Arthur Kordon
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Computational intelligence,Computable functions,Soft computing,Mathematical optimization,Artificial intelligence
Classification :
006
.
3
K84A
2009
16. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
Author: Hermes, Hans.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
Classification :
QA
248
.
5
.
H4
1971
17. Automata
Author: Hopkin, David.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory,، Turing machines,، Computable functions
Classification :
QA
267
.
H57
18. Automata and computability /
Author: Dexter C. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: 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
Classification :
QA267
.
K69
1997eb
19. Automata, computability and complexity :
Author: Elaine Rich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
Classification :
QA267
.
R53
2008
20. Berechenbarkeit, Komplexität, Logik :
Author: Egon Börger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
Classification :
QA9
.
56
E366
1992
