181. 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
182. 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
183. 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
184. 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
185. 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
186. 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
187. Design science :
پدیدآورنده: Vladimir Hubka and W. Ernst Eder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Design industriel.
رده :
TA174
.
V533
1996
188. Disordered Systems and Biological Organization
پدیدآورنده: edited by E. Bienenstock, F. Fogelman Soulié, G. Weisbuch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Medical records -- Data processing.
رده :
QH313
.
E358
1986
189. Emerging issues in smart learning
پدیدآورنده: Guang Chen, Vive Kumar, Kinshuk, Ronghuai Huang, Siu Cheung Kong, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Classroom environment.,EDUCATION -- Administration -- General.,Education.
رده :
LB3013
.
G836
9999
190. Empowering learners for life in the digital age :
پدیدآورنده: Don Passey, Rosa Bottino, Cathy Lewin, Eric Sanchez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Education-- Data processing, Congresses.,Education-- Data processing.
رده :
LB1028
.
43
191. Encyclopedia of Computer Science and Technology /
پدیدآورنده: edited by Phillip A. Laplante.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.
رده :
T58
.
5
.
E53
2017
192. Encyclopedia of information technology curriculum integration [electronic resource]
پدیدآورنده: / [edited by] Lawrence A. Tomei
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Educational technology--Encyclopedias,Information technology--Encyclopedias,Education--Curricula--Encyclopedias
رده :
EB
,
LB1028
.
3
.
E63
2008
193. Enterprise resource planning and business intelligence systems for information quality :
پدیدآورنده: Carlo Caserio, Sara Trucco.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business intelligence.,Business networks-- Italy-- Management.,Enterprise resource planning.,Strategic planning.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Business intelligence.,Business mathematics & systems.,Business networks-- Management.,Computer networking & communications.,Enterprise resource planning.,Finance & accounting.,Financial accounting.,Management of specific areas.,Strategic planning.,Italy., 7
رده :
HD38
.
7
.
C37
2018
194. Error-Control Coding for Data Networks
پدیدآورنده: by Irving S. Reed, Xuemin Chen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer engineering.,Computer science.,Computer vision.
196. FME 2002 :
پدیدآورنده: Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2002
197. FME 2003 :
پدیدآورنده: Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
198. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
پدیدآورنده: Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2805
199. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
پدیدآورنده: Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2391
200. Forced migration, human rights and security /
پدیدآورنده: edited by Jane McAd
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
