کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابA PROGRAMMER'S INTRODUCTION TO COMPUTABILITY AND FORMAL LANGUAGES
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
623
,.
712
,
KUP
A Programming Approach to Computability
پدیدآورنده: by A. J. Kfoury, Robert N. Moll, Michael A. Arbib.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Software engineering.
A first course in logic : an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده: Shawn Hedman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic,، Logic, Symbolic and mathematical
رده :
QA
9
.
H43F5
A first course in logic :an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده: Hedman, Shawn.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic,، Logic, Symbolic and mathematical
رده :
QA9
.
H36
2004
A programmer's introduction to computability and formal languages
پدیدآورنده: Kurki-Suonio, Reino.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
K87
A programming approach to computability
پدیدآورنده: A.J. Kfoury, Robert N. Moll, Michael A. Arbib
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Computer programming
رده :
QA
9
.
59
.
K46
1982
A programming approach to computability
پدیدآورنده: / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Computable functions,Programming (Electronic computers)
رده :
QA9
.
59
.
K46
A programming approach to computability
پدیدآورنده: / [by] A.J. Kfoury, Robert N. Moll, Michael A. Arbib
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع:
رده :
QA9
.
59
،.
K568
1982
Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده: Cyrus F. Nourani
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
Automata and Computability.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
Automata and computability :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Digital control systems ; Programming. ; Automatic control ; Data processing. ; Machine theory. ;
Automata and computability :
پدیدآورنده: Ganesh Lalitha Gopalakrishnan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatic control-- Data processing.,Digital control systems-- Programming.,Machine theory.,Automatic control-- Data processing.,COMPUTERS / General,COMPUTERS / Information Theory,Machine theory.,MATHEMATICS / General,TECHNOLOGY & ENGINEERING / Engineering (General)
رده :
TJ223
.
M53
G663
2019
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
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
Beyond the horizon of computability :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computable functions ;
Combinatorics, computability and logic :
پدیدآورنده: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
Combinatorics, computability and logic :
پدیدآورنده: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(
پدیدآورنده: C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
2001
Computability
پدیدآورنده: / Douglas S. Bridges
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computable functions
رده :
QA9
.
59
.
B75
1994
Computability
پدیدآورنده: / Martin Davis
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Recursive functions,Unsolvability (Mathematical logic),Computable functions
رده :
QA9
.
615
.
D38
1982
Computability /
پدیدآورنده: George J. Tourlakis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
Computability :
پدیدآورنده: by Douglas S. Bridges.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics.,Mathematical Theory.,Mathematics.,Mathematics.,Physical Sciences & Mathematics.
رده :
QA1-939
Computability.
پدیدآورنده: Klaus Weihrauch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
QA9
.
59
K538
2012
Computability
پدیدآورنده: / Nigel Cutland
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computable functions,Recursion theory
رده :
QA
9
.
59
.
C87
1980
Computability
پدیدآورنده: / Douglas S. Bridges
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computable functions
رده :
QA
9
.
59
.
B75
1994
Computability
پدیدآورنده: Tourllakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
T68
1984
Computability
پدیدآورنده: Weihrauch, K.)Klaus(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
W45
1987
Computability :
پدیدآورنده: edited by Jack Copeland, Carl J. Posy, and Oron Shagrir
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Mathematics-- Philosophy
رده :
QA267
.
7
.
C677
2013
Computability
پدیدآورنده:
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computable functions,Logic, Symbolic and mathematical,Godel's theorem
رده :
QA
9
.
59
.
E67
2000
Computability, Complexity, and Languages
پدیدآورنده: \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,
Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده: \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
Computability : a mathematical sketchbook
پدیدآورنده: Douglas S. Bridges
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions
رده :
QA
9
.
59
.
B754
Computability, an introduction to recursive function theory
پدیدآورنده: Cutland, Nigel.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computable functions,، Recursion theory
رده :
QA
9
.
59
.
C87
1980
Computability, an introduction to recursive function theory
پدیدآورنده: / Nigel Cutland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
Computability, an introduction to recursive function theory /
پدیدآورنده: Nigel Cutland
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
Computability, an introduction to recursive function theory
پدیدآورنده: / Nigel Cutland
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
Computability, an introduction to recursive function theory
پدیدآورنده: Cutland, Nigel.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Recursion theory
رده :
QA
9
.
59
.
C87
Computability : an introduction to recursive function theory
پدیدآورنده: Nigel Cutland
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
Computability, an introduction to recursive function theory
پدیدآورنده: / Nigel Cutland
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
Computability and Complexity Theory
پدیدآورنده: / Steven Homer, Alan L. Selman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Computability and Decidability :
پدیدآورنده: by Jacques Loeckx.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.
Computability and Logic
پدیدآورنده: / George S. Boolos
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع:
Computability and Randomness
پدیدآورنده: / Andrae Nies
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computational complexity,Stochastic processes,پیچیدگی محاسباتی,فراگردهای احتمالی
رده :
QA267
,.
7
.
N54
2009
Computability and complexity: from a programming perspective
پدیدآورنده: Jones, Neil D.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer programming,، Computational complexity
رده :
QA
76
.
6
.
J6658
1997
Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers
پدیدآورنده: Jens Blanck, Vasco Brattka, Peter Hertling )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Mathematical analysis,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
2064
Computability and decidability; an introduction for students of computer science
پدیدآورنده: Loeckx, Jacques
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory,، Turing machines
رده :
QA
267
.
S4
.
L58
Computability and decidability; an introduction for students of computer science
پدیدآورنده: / (by) J. Loeckx
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Sequential machine theory,Turing machines
رده :
QA
267
.
5
.
S4
L58
Computability and logic
پدیدآورنده: Boolos, George.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
Computability and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
Computability and logic
پدیدآورنده: George Boolos, Richard Jeffrey
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
Computability and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
E-BOOK
Computability and logic
پدیدآورنده: / George Boolos, Richard Jeffrey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursive functions,Logic, symbolic and mathematical
رده :
511
.
3
B724c
Computability and logic
پدیدآورنده: George Boolos, Richard Jeffrey
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
1989
Computability and logic
پدیدآورنده: Daniel E. Cohen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
C64
1987
Computability and logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computable functions.,Recursive functions.,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
59
,.
B66
,
2002
Computability and logic.
پدیدآورنده: Daniel E. Cohen
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع: Machine theory
Computability and logic /
پدیدآورنده: Daniel E. Cohen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
C64
1987
Computability and logic
پدیدآورنده: / George S. bools, John P.Burgess, Richard C. Jeffrey
کتابخانه: کتابخانه و مرکز اسناد دانشکدگان هنرهای زیبا (دانشگاه تهران) (تهران)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66
Computability and logic
پدیدآورنده: George Boolos, Richard Jeffrey
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع: Computable functions,Recursive functions
رده :
511
.
3
B724C
Computability and logic
پدیدآورنده: / George S. Boolos, Richard C. Jeffrey
کتابخانه: کتابخانه دانشکدگان فارابی (دانشگاه تهران) (قم)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66
1989
Computability and logic
پدیدآورنده: / George Boolos, Richard Jeffrey
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
1980
Computability and logic.
پدیدآورنده: / [electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computable functions,Electronic books. , local
رده :
E-BOOK
Computability and logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;
Computability and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
Computability and logic
پدیدآورنده: Boolos, George
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and Mathematical
رده :
QA
9
.
59
.
B66
1989
Computability and logic
پدیدآورنده: / (by) George Boolos (and) Richard Jeffrey
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical,Computable functions
رده :
QA
248
.
5
.
B66
Computability and models :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
QA9
.
6
C667
2013
Computability and randomness
پدیدآورنده: / Andre Nies
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computational complexity,Stochastic processes
رده :
QA
267
.
7
.
N54
2009
Computability and randomness
پدیدآورنده: Andre Nies
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Stochastic processes
رده :
QA
267
.
7
.
N53C6
Computability and randomness
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Stochastic processes. ;
Computability and randomness
پدیدآورنده: / Andrae Nies
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity.,Stochastic processes.
رده :
QA
,
267
.
7
,.
N54
,
2009
Computability and unsolvability
پدیدآورنده: / Martin Davis
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Recursive functions
رده :
QA
248
.
5
.
D3
Computability and unsolvability
پدیدآورنده: Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
رده :
QA
9
.
615
.
D38
1982
Computability, complexity and constructivity in economic analysis
پدیدآورنده: detide yb K. aleV iallipuleV
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
HB
139
.
C6
2005
Computability, complexity and constructivity in economic analysis
پدیدآورنده: / Edited by K. Vela Velupillai
کتابخانه: کتابخانه دانشکده روان شناسی و علوم تربیتی (شهید دقایقی) (تهران)
موضوع: Econometrics,Economics, Mathematical,Econometrics-Computer programs
رده :
HB
139
.
C6
2005
Computability, complexity and constructivity in economic analysis
پدیدآورنده: edited by K. Vela Velupillai
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Econometrics,Economics, Mathematical,Econometrics- Computer programs,Computability
رده :
QA
267
.
D38
1994
Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Elaine J. Weyuker
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1983
Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
Computability, complexity, and languages :
پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Elaine J. Weyuker
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA267
.
D38
1983
Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
Computability, complexity, and languages: fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
1994
Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
Computability, complexity, logic
پدیدآورنده: Borger, E.)Egon(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
1989
Computability, complexity, logic
پدیدآورنده: E. Borger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده: Epstein, Richard L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Logic, Symbolic and mathematical,، Gudel's theorem
رده :
QA
9
.
59
.
E67
2000
Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده: by Richard L. Epstein and Walter A. Carnielli
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
E67
1989
Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده: Epstein, Richard L.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
E67
Computability in Analysis and Physics.
پدیدآورنده: R O Gandy
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
Computability in analysis and physics
پدیدآورنده: Marian B. Pour-El, J. Ian Richards
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Mathematical analysis,، Physics
رده :
QA
9
.
59
.
P68
1989
Computability in analysis and physics
پدیدآورنده: / Marian B. Pour-El, J. Ian Richards
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computable functions,Mathematical analysis,Physics
رده :
QA9
.
59
.
P68
1989
Computability in analysis and physics
پدیدآورنده: Pour-El, Marian Boykan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computable functions,، Mathematical analysis,، Physics
رده :
QA
9
.
59
.
P68
1989
Computability in analysis and physics
پدیدآورنده: / Marian B. Pour-El, J. Ian Richards
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computable functions,Mathematical analysis,Physics
رده :
QA
9
.
59
.
P68
1989
Computability in analysis and physics
پدیدآورنده : Pour- El, marian boykan, 8291-
موضوع : ، Computable functions,، Mathematical analysis,، physics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
Computability in analysis & physics
پدیدآورنده: POUR-EL,MARIAN BOYKAN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: COMPUTABLE FUNCTIONS , MATHEMATICAL ANALYSIS , PHYSICS
رده :
QA
9
.
59
.
P68
Computability in combinatory spaces
پدیدآورنده: / by Dimiter G. Skordev
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursion theory,Combinatory logic
رده :
QA
9
.
6
.
S55
1992
Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده: by Dimiter G. Skordev
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory,، Combinatory logic
رده :
QA
9
.
6
.
S56
Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده: Skordev, Dimiter Genchev
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Recursion theory,، Comlinatory logic
رده :
QA
9
.
6
.
S55
1992
