21. 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
22. 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
23. 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
24. 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
25. 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
26. 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
27. Excursions in harmonic analysis.
پدیدآورنده : Travis D. Andrews...[et al.], editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Harmonic analysis, Congresses
رده :
QA403
28. Excursions in harmonic analysis.
پدیدآورنده : Travis D. Andrews...[et al.], editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Harmonic analysis, Congresses
رده :
QA403
29. 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
30. 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
31. 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
32. Geometric structures of information /
پدیدآورنده : Frank Nielsen, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Geometrical models in statistics, Congresses.,Geometry, Differential, Congresses.,Information theory in mathematics, Congresses.,Coding theory & cryptology.,Communications engineering-- telecommunications.,Data structures (Computer science),Geometrical models in statistics.,Geometry, Differential.,Information theory in mathematics.,MATHEMATICS-- Applied.,MATHEMATICS-- Geometry-- Differential.,MATHEMATICS-- Probability & Statistics-- General.,Numerical analysis.
رده :
QA276
.
23
G75
2019
33. Innovations in smart cities and applications :
پدیدآورنده : Mohamed Ben Ahmed, Anouar Abdelhakim Boudhir, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cities and towns-- Technological innovations, Congresses.,City planning-- Technological innovations, Congresses.,Smart cities, Congresses.,Artificial intelligence.,City planning-- Technological innovations.,POLITICAL SCIENCE-- Public Policy-- City Planning & Urban Development.,Smart cities.
رده :
TD159
.
4
.
M44
2nd
2018eb
34. Integral Methods in Science and Engineering :
پدیدآورنده : Christian Constanda, Paul Harris, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering mathematics, Congresses.,Integral equations-- Numerical solutions, Congresses.,Mathematical analysis, Congresses.,Science-- Mathematics, Congresses.,Engineering mathematics.,Integral equations-- Numerical solutions.,Mathematical analysis.,Science-- Mathematics.
رده :
QA431
.
I584
2018
35. Large scale scientific computation
پدیدآورنده : / Edited by Seymour V. Parter
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Fluid dynamics - Data processing - Congresses,Aerodynamics - Data processing - Congresses,Numerical analysis - Data processing - Congresses
رده :
QA911
.
L32
1984
36. Mathematical software
پدیدآورنده : Edited by John R. Rice
موضوع : Mathematics - Data processing - Congresses,Numerical analysis - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
37. Mathematical software III
پدیدآورنده : / edited by John R. Rice
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Numerical analysis- Data processing- Congresses,Mathematics- Data processing- Congresses
رده :
QA
.
3
.
U45
,
no
39
38. 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
39. Mathematics and computing :
پدیدآورنده : Debdas Ghosh, Debasis Giri, Ram N. Mohapatra, Kouichi Sakurai, Ekrem Savas, Tanmoy Som, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computational Mathematics and Numerical Analysis.,Math Applications in Computer Science.,Mathematical Applications in Computer Science.,Operations Research, Management Science.,Computer science-- Mathematics.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mathematical modelling.,Maths for computer scientists.,Numerical analysis.,Operational research.
رده :
QA76
.
9
.
M35
40. Mathematics of computation, 1943-1993 : a half-century of computational mathematics : Mathematics of Computation 50th Anniversary Symposium, August 9-13, 1993, Vancouver, British Columbia
پدیدآورنده : Walter Gautschi, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Numerical analysis,Data processing - Congresses ، Number theory
رده :
QA
1
.
P69
Vol
.
48