941. The theory of computability : programs, machines, effectiveness, and feasibility
پدیدآورنده: Sommerhalder, R.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Algorithms,، Computational complexity,، Computable functions
رده :
QA
9
.
58
.
S64
1988
942. The ultimate algorithmic trading system toolbox + website :
پدیدآورنده: George Pruitt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic trading of securities.,Futures.,Investment analysis.
رده :
HG4515
.
95
943. Theoretical Computer Science :
پدیدآورنده: edited by Armin B. Cremers, Hans-Peter Kriegel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer software.
رده :
QA267
.
E358
1982
944. Theoretical aspects of evolutionary computing
پدیدآورنده: Leila Kallel, Bart Naudts, Alex Rogers (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Biology -- Data processing.,Evolutionary programming (Computer science)
945. Theory and Practice of Geometric Modeling
پدیدآورنده: edited by Wolfgang Stra€er, Hans-Peter Seidel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer hardware.,Computer science.,Software engineering.
946. 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
947. Theory of Computation
پدیدآورنده: / George Tourlakis
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامه‌نویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012
948. Theory of computational complexity /
پدیدآورنده: Ding-Zhu Du, Department of Computer Science, University of Texas at Dallas, Ann Arbor, MI, Ker-I Ko, Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.
رده :
QA267
.
7
.
D8
2014eb
949. There's something about Gödel :
پدیدآورنده: Francesco Berto
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
رده :
QA9
.
54
.
B4713
2009
950. Think Perl 6 :
پدیدآورنده: Laurent Rosenfeld with Allen B. Downey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Perl (Computer program language),Perl (Computer program language),TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
QA76
.
73
.
P34
951. Think Python
پدیدآورنده: Allen B. Downey.,Downey, Allen,
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Python (Computer program language)
رده :
QA76
.
73
.
P98D64
2016
952. Think Python
پدیدآورنده: Allen Downey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Textbooks
953. Think Python
پدیدآورنده: Allen Downey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Textbooks
954. Time series with mixed spectra
پدیدآورنده: Ta-Hsin Li.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: MATHEMATICS -- Applied.,Spectrum analysis.,Time-series analysis.
رده :
QA280
.
T347
2014
955. Topics in Computational Algebra
پدیدآورنده: edited by G.M. Piacentini Cattaneo, E. Strickland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.
رده :
QA155
.
7
.
E4
E358
1990
956. Topics in Modal Analysis & Testing, Volume 8 :
پدیدآورنده: edited by Michael Mains, Brandon J. Dilworth.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Applied mathematics.,Civil engineering.,Dynamical systems.,Dynamics.,Engineering mathematics.,Mechanics, Applied.,Mechanics.,Vibration.,Vibration, Dynamical Systems, Control.,Mathematical and Computational Engineering.,Solid Mechanics.,Solid Mechanics.
957. Topics in modal analysis & testing.
پدیدآورنده: Michael Mains, Brandon J. Dilworth, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Modal analysis, Congresses.,Civil engineering, surveying & building.,Dynamics & vibration.,Maths for engineers.,Mechanics of solids.,Modal analysis.,TECHNOLOGY & ENGINEERING-- Civil-- General.
رده :
TA654
.
15
958. Totally Convex Functions for Fixed Points Computation and Infinite Dimensional Optimization
پدیدآورنده: by Dan Butnariu, Alfredo N. Iusem.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Discrete groups.,Functional analysis.,Integral equations.,Mathematical optimization.,Mathematics.,Operator theory.
959. Towards Engineering Computer Vision Systems:
پدیدآورنده: Taheri, Sajjad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
