141. Formal methods, foundations and applications :
پدیدآورنده : Adenilso Simao, Carroll Morgan (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
142. Formal methods in databases and software engineering :
پدیدآورنده : V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Database management -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.
رده :
QA76
.
9
.
D3
V735
1993
143. Frequency references, power management for SoC, and smart wireless interfaces : advances in analog circuit design 2013
پدیدآورنده : A Baschirotto; Kofi A A Makinwa; Pieter Harpe
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Circuits -- Congresses ، Electronic analog computers,Mechanical ، TECHNOLOGY & ENGINEERING
رده :
TK7888
144. Frontier computing :
پدیدآورنده : editors, Jason C. Hung, Neil Y. Yen, Kuan-Ching Li.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
145. Frontier computing :
پدیدآورنده : Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
146. Future data and security engineering :
پدیدآورنده : Tran Khanh Dang, Josef Küng, Roland Wagner, Nam Thoai, Makoto Takizawa (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Big data, Congresses.,Computer security, Congresses.,Data encryption (Computer science), Congresses.,Internet of things, Congresses.,Artificial intelligence.,Big data.,Computer security.,Computer security.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Data encryption (Computer science),Data mining.,Information retrieval.,Internet of things.,Network hardware.
رده :
QA76
.
9
.
A25
147. Future generation information technology :
پدیدآورنده : Tai-hoon Kim [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Information technology, Congresses
رده :
QA75
.
5
.
F45
2011
148. Fuzzy Sets Theory and Applications
پدیدآورنده : edited by André Jones, Arnold Kaufmann, Hans-Jürgen Zimmermann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decision making -- Congresses.,Fuzzy sets -- Congresses.,Problem solving -- Congresses.
149. Fuzzy sets and operations research /
پدیدآورنده : Bing-Yuan Cao, Yu-Bin Zhong, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy sets, Congresses.,Operations research, Congresses.,Fuzzy sets.,Operations research.
رده :
QA248
.
5
150. Fuzzy techniques :
پدیدآورنده : editors, Ralph Baker Kearfott, Ildar Batyrshin, Marek Reformat, Martine Ceberio and Vladik Kreinovich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy systems, Congresses.,COMPUTERS / General.,Fuzzy systems.
رده :
QA402
151. GeoSensor networks /
پدیدآورنده : edited by Anthony Stefanidis, Silvia Nittel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geographic information systems, Congresses.,Sensor networks, Congresses.,Geographic information systems.,Sensor networks.,TECHNOLOGY & ENGINEERING-- Remote Sensing & Geographic Information Systems.
رده :
G70
.
212
.
G476
2003
152. Geospatial technologies for all :
پدیدآورنده : Ali Mansourian, Petter Pilesjö, Lars Harrie, Ron van Lammeren, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geographic information systems, Congresses.,Geospatial data, Congresses.,Environmental science, engineering & technology.,Geographic information systems.,Geographical information systems (GIS) & remote sensing.,Geospatial data.,Information technology: general issues.,SCIENCE-- Earth Sciences-- Geography.,TRAVEL-- Budget.,TRAVEL-- Hikes & Walks.,TRAVEL-- Museums, Tours, Points of Interest.,TRAVEL-- Parks & Campgrounds.
رده :
G70
.
212
153. Human aspects in computer integrated manufacturing
پدیدآورنده : / edited by G.J. Olling, F. Kimura
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Computer integrated manufacturing systems - Congresses,Human engineering - Congresses,Production management - Software - Congresses
رده :
TS
155
.
6
.
I594
1992
154. Human aspects in computer integrated manufacturing
پدیدآورنده : / edited by G.J. Olling, F. Kimura
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع : Computer integrated manufacturing systems - Congresses,Human engineering - Congresses,Production management - Software - Congresses
رده :
TS
155
.
6
.
I594
1992
155. Human error, safety and systems development :
پدیدآورنده : edited by Chris W. Johnson, Philippe Palanque.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Accidents-- Human factors, Congresses.,Industrial safety-- Technological innovations, Congresses.,Industrial safety, Congresses.,Industrial safety.,TECHNOLOGY & ENGINEERING-- Industrial Health & Safety.
رده :
T55
.
A1
I39
2004eb
156. ICSDC 2011 :
پدیدآورنده : sponsored by Construction Institute (CI) of the American Society of Civil Engineers [and] University of Kansas ; edited by Wai Kiong Oswald Chong, Christopher Hermreck
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Sustainable construction, Congresses
رده :
TH880
.
I59535
2011
157. ICT Innovations 2018 :
پدیدآورنده : Slobodan Kalajdziski, Nevena Ackovska (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Information technology, Congresses.,Telecommunication, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Computer Communication Networks.,Data Mining and Knowledge Discovery.,Information Systems Applications (incl. Internet).,Special Purpose and Application-Based Systems.,Artificial intelligence.,Artificial intelligence.,Computational intelligence.,Computers-- Computer Science.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information technology.,Life sciences: general issues.,Network hardware.,Telecommunication.
رده :
Q342
158. ICT and critical infrastructure :proceedings of the 48th Annual Convention of Computer Society of India
پدیدآورنده : Suresh Chandra Satapathy, P. S. Avadhani, Siba K. Udgata, Sadasivuni Lakshminarayana, editors ; Hosted by CSI Vishakapatnam Chapter
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Computer science,Congresses ، Information technology,Congresses ، Computer networks,Congresses ، Computer security,Congresses ، Computer networks - Security measures,، Engineering,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(
رده :
QA75
.
5
159. ISCORD 2013
پدیدآورنده : edited by Jon E. Zufelt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cold regions agriculture, Congresses.,Engineering-- Cold weather conditions, Congresses.,SCIENCE / Earth Sciences / Sedimentology & Stratigraphy.,Cold regions, Research, Congresses., 0
160. IT Convergence and Services
پدیدآورنده : James J. Park...[et al.], editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses,Information technology, Congresses,Wireless communication systems, Congresses
رده :
T58
.
5
.
I58
2012
