1. .....................
پدیدآورنده : Jones, Neil D.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursive functions,، Turing machines
رده :
QA
248
.
5
.
J66
2. Alan M. Turing /
پدیدآورنده : Sara Turing ; with a foreword by Martin Davis and an afterword by John Turing
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
T8
2012
3. Alan Turing :
پدیدآورنده : Andrew Hodges ; [with a foreword by Douglas Hofstadter and a new preface by the author].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Turing, Alan Mathison,1912-1954.,Mathematicians-- Great Britain, Biography.
رده :
QA29
.
T8
H63
2014
4. Alan Turing :
پدیدآورنده : Andrew Hodges ; foreword by Douglas Hofstadter.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Turing, Alan,1912-1954.,Turing, Alan Mathison / 1912-1954.,Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography.,Artificial intelligence.,BIOGRAPHY & AUTOBIOGRAPHY-- Science & Technology.,Coding theory & cryptology.,COMPUTERS-- History.,Matematiker.,Mathematicians-- Great Britain, Biography.,Mathematicians.,MATHEMATICS-- History & Philosophy.,Second World War.,Great Britain., 7
رده :
QA29
.
T8
H63
2012eb
5. Alan Turing :
پدیدآورنده : foreword by D. Hofstadter ; edited by Christof Teuscher.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematicians -- Great Britain -- Biography.,Mathematicians.,Turing, Alan, -- 1912-1954.
رده :
QA29
.
T8
F674
2011
6. Alan Turing :
پدیدآورنده : edited by S. Barry Cooper and Jan van Leeuwen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
7. Alan Turing, Enigma
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Turing, Alan Mathison, -- 1912-1954.
رده :
QA29
.
T8
A436
1994
8. Alan Turing : his work and impact
پدیدآورنده : Cooper, S. B. )S. Barry(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Turing, Alan Mathison,2191-4591,Biography ، Mathematicians - Great Britain,Mathematics ، Computer science,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8
C65
2013
9. Alan Turing : his work and impact
پدیدآورنده : Cooper, S. Barry, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Turing, Alan Mathison, 2191-4591,Biography ، Mathematicians -- Great Britain,، Computer science -- Mathematics,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8C66
10. Alan Turing's automatic computing engine :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : 1954. ;-Turing, Alan, ; 1912
11. Alan Turing's automatic computing engine : the master codebreaker's struggle to build the modern computer
پدیدآورنده : edited by B. Jack Copeland
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Turing, Alan Mathison, 2191-4591,Great Britain -- History ، Computers,Great Britain -- History ، Computer engineering
رده :
QA
75
.
5
.
A48
12. Alan Turing' s electronic brain :
پدیدآورنده : [edited by] B. Jack Copeland and others
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Turing, Alan,1912-1954,Computer engineering-- Great Britain-- History,Computers-- Great Britain-- History
رده :
QA75
.
C638
2012
13. Automata
پدیدآورنده : Hopkin, David.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory,، Turing machines,، Computable functions
رده :
QA
267
.
H57
14. Computability and decidability; an introduction for students of computer science
پدیدآورنده : Loeckx, Jacques
موضوع : ، Sequential machine theory,، Turing machines
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Computability theory: an introduction
پدیدآورنده : Jones, Neil D.
موضوع : ، Recursive functions,، Turing machines
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
16. Computability theory : concepts and applications
پدیدآورنده : Dunne, Paul E
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computable functions , Recursion theory , Turing machines
رده :
QA
9
.
59
.
D85
17. Decision procedures: an algorithmic point of view
پدیدآورنده : Kroening, Daniel.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Turing machines,، Computational complexity
رده :
QA
9
.
65
.
K93
2008
18. Introduction to computability
پدیدآورنده : Hennie, Fredreick C
موضوع : ، Turing machies,، Algorithms,، Recursive Functions
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
19. Introduction to computability
پدیدآورنده : Hennie, Frederick C.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions
رده :
QA
267
.
H46
20. Introduction to computer science using the turing programming language
پدیدآورنده : / R. C. Holt, J. N. P. Hume
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Electronic data processing,Electronic digital computers - Programming,Turing computer programm languageT
رده :
QA76
.
H623
1984
