81. Pyramid algorithms :
پدیدآورنده: Ron Goldman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer graphics.,Geometrical models-- Data processing.,Computer graphics.,COMPUTERS-- Digital Media-- Graphics Applications.,COMPUTERS-- Image Processing.,Geometrical models-- Data processing.,PHOTOGRAPHY-- Techniques-- Digital.,TECHNOLOGY & ENGINEERING-- Imaging Systems.
رده :
T385
.
G6398
2003
82. Recursive techniques in programming
پدیدآورنده: Barron, David William
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital Computers-- Programming,، Recursive programming
رده :
QA
76
.
5
.
B2964
1968b
83. Recursive techniques in programming
پدیدآورنده: / D. W. Barron
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers programming,Recursive programming
رده :
651
.
8
B277r
1975
84. Recursive techniques in programming
پدیدآورنده: [by] D. W. Barron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Recursive programming.
85. Recursive techniques in programming
پدیدآورنده: [by] D. W. Barron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Recursive programming.
86. Refinement calculus :
پدیدآورنده: Ralph-Johan Back, Joakim von Wright.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Calcul infinitésimal.,Logique informatique.,Programmation (Informatique)
رده :
QA76
.
6
R357
1998
87. Rewriting techniques and applications :
پدیدآورنده: Harald Ganzinger (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification
رده :
QA267
.
R48
1996
88. STACS 92 :
پدیدآورنده: A[lain] Finkel, M[atthias] Jantzen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.
89. Specification and Transformation of Programs :
پدیدآورنده: by Helmut A. Partsch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Software engineering.
رده :
QA76
.
76
.
D47
B944
1990
90. Supercomputing.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
91. The Python workbook :
پدیدآورنده: Ben Stephenson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Python (Computer program language),Python (Computer program language)
رده :
QA76
.
73
.
P98
92. The Python workbook :
پدیدآورنده: Ben Stephenson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Python (Langage de programmation)
رده :
QA76
.
73
.
P98
93. The art of R programming :
پدیدآورنده: by Norman Matloff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: R (Computer program language),Statistics-- Data processing.
رده :
QA276
.
4
.
M2925
2011
94. The evolution of programs
پدیدآورنده: Nachum Dershowitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Programmeren (computers),Programmierung EDV.
رده :
QA76
.
6
N334
1983
95. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
96. Theory of Computation
پدیدآورنده: / George Tourlakis
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامه‌نویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012
97. Theory of program structures
پدیدآورنده: / Sheila A. Greibach
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Recursive programming,Computer programs
رده :
QA
76
.
6
.
G743
1975
98. Theory of program structures
پدیدآورنده: / By Sheila Greibach,Greibach
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming,Recursive programming,Computer programs
رده :
QA
76
.
6
.
G743
1975
99. Theory of program structures : schemes, semantics, Verification
پدیدآورنده: Sheila A, Greibach
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Recursive programming,، Computer programs
رده :
QA
76
.
L28
Vol
.
36
100. Theory of program structures : schemes, semantics, verification
پدیدآورنده: Greibach, Sheila
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
