کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابComputer Aided Proofs in Analysis
پدیدآورنده: edited by Kenneth R. Meyer, Dieter S. Schmidt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Global analysis (Mathematics).,Mathematics.
Computer aided proofs in analysis
پدیدآورنده: / Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Numerical analysis - Data processing - Congresses
رده :
QA297
.
C638
1990
Computer aided proofs in analysis
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Numerical analysis- Data processing- Congresses
رده :
297
.
C638
Computer aided proofs in analysis
پدیدآورنده: / Kenneth R. Meyer S. Schmidt, Editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Numerical analysis-Data processing-Congresses
رده :
QA297
.
C638
1990
Computer aided proofs in analysis
پدیدآورنده: Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Numerical analysis
رده :
QA
297
.
C638
1991
Computer aided proofs in analysis
پدیدآورنده: Kenneth R.Meyer,Dieter S.Schmidt editors
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Numerical analysis-data processing-congresses
رده :
QA
297
.
C638
Computer aided proofs in analysis
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Numerical analysis-- Data processing-- Congresses
رده :
QA
297
.
C638
1991
Computer aided proofs in analysis
پدیدآورنده: Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Data processing - Congresses ، Numerical analysis
رده :
QA
1
.
I52
v
.
28
