کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابA PROGRAMMER'S INTRODUCTION TO COMPUTABILITY AND FORMAL LANGUAGES
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
623
,.
712
,
KUP
A first course in logic : an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده: / Shawn Hedman
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic.,Logic, Symbolic and mathematical.
رده :
QA9
.
H34
2004
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
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; an introduction to reeursive function theory
پدیدآورنده: Cutland, Nigel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computable functions ► Recursion theory
رده :
519
C989c
Computability; an introduction to reeursive function theory
پدیدآورنده: Cutland, Nigel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computable functions ► Recursion theory
رده :
519
C989c
Computability theory: An introduction to recursion theory
پدیدآورنده: / Enderton H.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Computability theory : an introduction to recursion theory
پدیدآورنده: Herbert B. Enderton
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
E53C6
Computability theory :an introduction to recursion theory
پدیدآورنده: / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursion theory
رده :
511
.
35
E56C
2011
Enumerability, decidability, computability. An introduction to the theory of recursive functions
پدیدآورنده: Harmes, Hans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions,، Algebraithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans.
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
Enumerability decidability computability : an introduction to the theory of recursive functions
پدیدآورنده: Hans Hermes; translated by G.T. Hermann and O. Plassmann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده: / by Hans Hermes. Translated by G.T Herman and O. Plassmann
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursive functions,Algorithms,Godel's theorem,Computable functions
رده :
QA
248
.
5
.
H413
INTRODUCTION TO COMPUTABILITY
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
623
,.
70151
,
HEI
Introduction to computability
پدیدآورنده: Hennie, Fredreick C
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Turing machies,، Algorithms,، Recursive Functions
رده :
QA
267
.
H46
Introduction to computability
پدیدآورنده: Hennie, Frederick C.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions
رده :
QA
267
.
H46
Introduction to computability
پدیدآورنده: / Fred Hennie
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Turing machines,Algorithms,Computational complexity,Recursive function
رده :
QA267
.
H46
1977
Introduction to computability
پدیدآورنده: / Fred Hennie
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Turing machines,Algorithms,Computational complexity,Recursive functions
رده :
QA
267
.
H46
Models of Computation : An Introduction to Computability Theory
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computable functions,Turing machines,توابع محاسبه‌پذیر,Fernalndez, Maribel
رده :
CD-B
,
QA
,
267
,.
F47
,
2009
Models of computation :an introduction to computability theory
پدیدآورنده: Fernandez, Maribel.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Computable functions,، Turing machines
رده :
QA
267
.
F47
2009
Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده: Gilles Dowek
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
Proofs and algorithms: An introduction to logic and computability
پدیدآورنده: / Gilles Dowek (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
Proofs and algorithms an introduction to logic and computability
پدیدآورنده: / Gilles Dowek
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic, Symbolic and mathematical,Algorithms
رده :
QA76
.
P7D6
2011
Reflexive structures : an introduction to computability theory
پدیدآورنده: Sanchis, Luis E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
S26
1988
Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication, and cryptography
پدیدآورنده: Juraj Hromkovic
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science
رده :
QA
76
.
H76T4
