1. Complexity of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis
رده :
QA
267
.
C58
2. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
3. Complexity of computer computations; proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Progamming-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
6
.
S92
1972
4. Computational and applied mathematics, I : algorithms and theory
پدیدآورنده : edited by C. Brezinski, U. Kulisch
موضوع : Mathematics - Data processing - Congresses,Numerical analysis - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Computational & applied mathematics,i:algorithms & theory
پدیدآورنده : BREZINSKI,CLAUDE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MATHEMATICS-DATA PROCESSING-CONGRESSES , NUMERICAL ANALYSIS-DATA PROCESSING-
رده :
QA
76
.
95
.
C62
1991
6. Design and implementation of symbolic computation systems :
پدیدآورنده : John Fitch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
7. 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
8. 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
9. 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
10. 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
11. Design and implementation of symbolic computation systems :International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings. ]CD[
پدیدآورنده : Alfonso Miola, ed
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
رده :
QA76
.
9
.
S88
I576
1993
12. 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
13. 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
14. 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
15. Expert systems for scientific computing
پدیدآورنده : / edited by E.N. Houstis, J.R. Rice, R. Vichnevetsky
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع : Mathematics--Data processing--Congresses,Numerical analysis--Data processing--Congresses,Expert systems (Computer science)--Congresses,Software--Congresses
رده :
QA76
.
95
.
I48
1990
16. Expert systems for scientific computing: proceedings of the Second IMACS International Conference on Expert Systems for Numerical Computing, Purdue University, U.S.A., 24-26 April, 1990
پدیدآورنده : edited by E.N. Houstis, J.R. Rice, R. Vichnevetsky
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Mathematics - Data processing,Data processing - Congresses ، Numerical analysis,Congresses ، Expert systems )Computer science(,Congresses ، Software
رده :
QA
76
.
95
.
I48
1990
17. Expert systems for scientific computing : proceedings of the Second IMACS International Conference on Expert Systems for Numerical Computing, Purdue University, U.S.A., 24-26 April, 1990
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Mathematics-- Data processing-- Congresses,، Numerical analysis-- Data processing-- Congresses,، Expert systems-- Congresses,، Software-- Congresses
رده :
QA
76
.
95
.
I48
1990
18. Mathematical software
پدیدآورنده : Edited by John R. Rice
موضوع : Mathematics - Data processing - Congresses,Numerical analysis - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
19. Mathematical software III
پدیدآورنده : / edited by John R. Rice
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Numerical analysis- Data processing- Congresses,Mathematics- Data processing- Congresses
رده :
QA
.
3
.
U45
,
no
39
20. Mathematical software III :proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, March 28-30, 1977
پدیدآورنده : edited by John R. Rice
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Data processing Congresses ، Numerical analysis,Data processing Congresses ، Mathematics
رده :
QA
297
.
U45
1977