261. Computer Aided Verification :
المؤلف: Isil Dillig, Serdar Tasiran (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
262. Computer Applications in Production and Engineering :
المؤلف: edited by Frank Plonka, Gustav Olling.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: CAD/CAM systems.,Computer integrated manufacturing systems.,Production engineering.
رده :
TS155
.
E358
1997
263. Computer Assisted Radiology
المؤلف: Computergestützte Radiologie : Proceedings of the International Symposium / Vorträge des Internationalen Symposiums.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Biomedical engineering.,Computer-aided design.,Engineering.
264. Computer Engineering and Technology :
المؤلف: edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Memory management (Computer science)
265. Computer Graphics :
المؤلف: edited by Tosiyasu L. Kunii.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Computer-aided design.
رده :
T385
.
E358
1983
266. Computer Graphics Visual Technology and Art.
المؤلف: Kunii, Tosiyasu L.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
T385
.
K865
2013
267. Computer Information Systems and Industrial Management
المؤلف: / Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Sawomir Wierzcho
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
268. Computer Information Systems and Industrial Management
المؤلف: / elع‌جclav SnعKhalid Saeed, V
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
269. Computer Information Systems and Industrial Management
المؤلف: / Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sawomir Wierzcho
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
270. Computer Integrated Production Systems and Organizations
المؤلف: edited by Felix Schmid, Stephen Evans, Andrew W.S. Ainger, Robert J. Grieve.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Business -- Data processing.,Engineering.,Information technology.
رده :
TS155
.
63
E358
1994
271. Computer Supported Cooperative Work in Design II :
المؤلف: Weiming Shen ... [et al.] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Engineering design -- Data processing -- Congresses.,Industrial design -- Congresses.,Teams in the workplace -- Data processing -- Congresses.
272. Computer aided design ]for undergraduate students of Engineering, Science, Diploma courses in Engineering, A.M.I.E., management and commerce etc.[
المؤلف: Khandare, S. S.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Data processing ، Engineering design,، Computer-aided design,، CAD/CAM systems
رده :
TA
174
.
K43
2001
273. Computer-aided lean management for the energy industry
المؤلف: Roger N. Anderson...]et al.[
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Cost control Data processing ، Energy industries,Labor productivity Data processing ، Energy industries,Management Data processing ، Energy industries,Energy conservation Data processing ، Industries,Data processing ، Business logistics,، Decision support systems,، Computer-aided engineering
رده :
HD
9502
.
A2
C645
274. Computer-aided lean management for the energy industry
المؤلف: Roger N. Anderson ... [et al.].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Business logistics-- Data processing.,Computer-aided engineering.,Decision support systems.,Energy industries-- Cost control-- Data processing.,Energy industries-- Labor productivity-- Data processing.,Energy industries-- Management-- Data processing.,Industries-- Energy conservation-- Data processing.
رده :
HD9502
.
A2
C645
2008eb
275. [Computer aided systems theory] [revised selected papers]
المؤلف: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
276. Computer and Computing Technologies in Agriculture IV
المؤلف: edited by Daoliang Li, Yande Liu, Yingyi Chen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Agricultural engineering-- Data processing, Congresses.,Agriculture-- Data processing, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,Computer simulation.,Computers, Special purpose.,Food industry and trade-- Data processing, Congresses.,Software engineering.,Artificial Intelligence (incl. Robotics),Computer Communication Networks.,Computer Science.,Information Systems Applications (incl. Internet),Simulation and Modeling.,Software Engineering.,Special Purpose and Application-Based Systems.,Agricultural engineering-- Data processing.,Agriculture-- Data processing.,Artificial intelligence.,Computer networks.,Computer science.,Computer simulation.,Computers, Special purpose.,Food industry and trade-- Data processing.,Software engineering.
رده :
Q334-342
277. Computer and cyber security :
المؤلف: edited by Dr. Brij B. Gupta, National Institute of Technology Kurukshetra, Haryana, India ; Dr. Dharma P. Agrawal, University of Cincinnati, USA ; Dr. Haoxiang Wang, GoPerception Laboratory & Cornell University, USA.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security.,BUSINESS & ECONOMICS-- Production & Operations Management.,Computer security.,COMPUTERS-- Information Technology.,COMPUTERS-- Operating Systems-- General.
رده :
QA76
.
9
.
A25
C626
2019eb
278. Computer applications in the polymer laboratory :
المؤلف: Theodore Provder, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Polymerization-- Data processing, Congresses.,Polymers-- Data processing, Congresses.
رده :
QD381
.
9
.
E4
C66
1986
279. Computer-assisted management and control of manufacturing systems
المؤلف: / S.G. Tzafestas, ed.
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Computer integrated manufacturing systems,Production control,Concurrent engineering,Management information systems,-- Data processing
رده :
670
.
285
C737
1997
21
280. Computer-assisted management and control of manufacturing systems
المؤلف: S.G. Tzafestas, )ed.(
المکتبة: (طهران)
موضوع: Computer integrated manufacturing systems , Production control - Data processing , Concurrent engineering , Management information systems
رده :
TS
155
.
63
.
C65
1997
