کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابDesign and implementation of symbolic computation systems :
پدیدآورنده: John Fitch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
Design and implementation of symbolic computation systems :
پدیدآورنده: A. Miola, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990
Design and implementation of symbolic computation systems: International Symposium DISCO' 90, Capri, Italy, April 10-12, 1990: Proceedings
پدیدآورنده: A. Miola, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
429
Design and implementation of symbolic computation systems : International Symposium DISCO 90, Capri, Italy, April 10-12, 1990 : proceedings
پدیدآورنده: A. Miola, )Ed.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: System design - Congresses , Mathematics - Data processing - Congresses , Numerical analysis - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1990
Design and implementation of symbolic computation systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
رده :
QA
76
.
9
.
S88
.
I576
1990
Design and implementation of symbolic computation systems :International Symposium, DISCO '93
پدیدآورنده: / Alfonso Miola, ed
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: System design -- Congresses,Mathematics -- Data processing Congresses,Numerical analysis -- Data processing Congresses
رده :
QA76
.
9
.
S88I576
1993
Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
پدیدآورنده: Jacques Calmet, Carla Limongelli, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1996
Design and implementation of symbolic computation systems : International symposium DISCO'92 , Bath, U.K., April 13-15, 1992 : proceedings
پدیدآورنده: John Fitch )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
721
Design and implementation of symbolic computation systems : International symposium DISCO'96, Karlsruhe, Germany, September 18-20, 1996 : Proceedings
پدیدآورنده: Jacque Calmet, Carla Limongelli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
1128
Design and implementation of symbolic computation systems : International symposium DISCO'93 : proceedings
پدیدآورنده: Alfonso Miola )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
722
