1. Algorithmic randomness and complexit
پدیدآورنده : Rod Downey, Denis Hirschfeldt
موضوع : Computational complexity,Computable functions
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
2. Algorithmic randomness and complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity. ; Computable functions. ;
3. Algorithmic randomness and complexity
پدیدآورنده : Downey, R. G. )Rod G.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,، Computable functions
رده :
QA
267
.
7
.
D69
2010
4. Algorithmic randomness and complexity
پدیدآورنده : / Rodney G. Downey, Denis R. Hirschfeldt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computational complexity,Computable functions
رده :
E-BOOK
5. 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
6. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده : Egon Börger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA9
.
56
E366
1992
7. 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
8. Computability, complexity, logic
پدیدآورنده : Borger, Egon, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
9. Computability, complexity, logic
پدیدآورنده : Borger, E.)Egon(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
1989
10. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
11. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computable functions,، Computational complexity,Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
12. Computation and automata
پدیدآورنده : Salomaa, Arto, 4391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
13. Concise guide to computation theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity. ; Machine theory. ; Computable functions. ;
14. Proceedings of the ... Annual ACM Symposium on Theory of Computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
267
.
A27a
2002
15. <The> theory of computability
پدیدآورنده : / R. Sommerhalder, S.C. Van Westrhenen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms,Computational complexity,Computable functions
رده :
QA9
.
58
.
S64
1988
16. The theory of computability : programs, machines, effectiveness, and feasibility
پدیدآورنده : Sommerhalder, R.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Algorithms,، Computational complexity,، Computable functions
17. Theory and applications of models of computation :
پدیدآورنده : Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb