121. Intelligent computer mathematics

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Algebra--Data processing--Congresses,Mathematical analysis--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses

رده :
QA
,
155
.
7
,.
E4
,
A35
,
2010

122. Intelligent computer mathematics

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;

123. NAPAW 92

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع : Real-time data processing -- Congresses,Electronic data processing -- Distributed processing -- Congress,Algebra -- Congresses

رده :
QA
76
.
54
.
N67
1992

124. NAPAW 92

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع : Real-time data processing -- Congresses,Electronic data processing -- Distributed processing -- Congress,Algebra -- Congresses

رده :
QA
76
.
54
.
N67
1992

125. New computing techniques in physics research IV

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع : ، Particles)Nuclear physics(- Data processing- Congresses,، Nuclear physics- Data processing- Congresses,، Artificial intellignce- Congresses,، Software engineering- Congresses,، Algebra- Data processing- Congresses

رده :
QC
793
.
47
.
E4I58
1995

126. Proceedings of the 1991 International Symopsium on Symbolic and Algebraic Computation July 15-17 1991 Bonn Germeny

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع : Mathematics-- Data processing -- Congresses,Algebra --Data processing -- Congresses

رده :
QA
76
.
95
.
I59
1991

127. Quantifier elimination and cylindrical algebraic decomposition

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.

128. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra

رده :
QA
76
.
L28
Vol
.
358

129. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : Congresses ، Mathematics -- Data processing,Data processing --Congresses ، Algebra

رده :
QA
76
.
95
.
I57
1988

130. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings

موضوع : Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

131. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses

رده :
QA
.
I57
76
.
95
1988

132. Symbolic and numerical scientific computation :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Differential equations ; Numerical solutions ; Congresses ; Numerical calculations ; Congresses ; Algebra ; Data processing ; Congresses ;

133. Symbolic and numerical scientific computation

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Differential equations--Numerical solutions--Congresses,Numerical calculations--Congresses,Algebra--Data processing--Congresses

رده :
QA
,
370
,.
S67
,
2001

134. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving

رده :
QA
155
.
7
.
E4C23
2000

135. Symbolic computation and automated reasoning: the CALCULEMUS-2000 Symposium

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Algebra-- Data processing,Congresses ، Automatic theorem proving

رده :
QA
155
.
7
.
E4
.
C35
2000

136. Symbolic computation, number theory, special functions, physics, and combinatorics

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، q-series,Data processing -- Congresses ، Algebra,Congresses ، Number theory,Congresses ، Functions, Special,Congresses ، Mathematical physics,Congresses ، Combinatorial analysis

رده :
QA
295
.
S97

137. Symbolic computation : solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation : Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Equations -- Numerical solutions

رده :
QA
155
.
7
.
E4A488
2000

138. The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Data processing -- Congresses ، Algebra

رده :
QA
155
.
7
.
E4I58
1984

139. Topics in Computational Algebra

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra -- Data processing -- Congresses.,Algebra -- Data processing.

رده :
QA155
.
7
.
E4
E358
1990

140. Topics in computational algebra

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع : ، Algebra- Data processing- Congresses

رده :
QA
155
.
7
.
E4
T67
1990