21. Artificial intelligenc
پدیدآورنده : / Danail Dochev, Marco Pistore, Paolo Traverso (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Artificial intelligence--Congresses,Computer Science.,Artificial Intelligence (incl. Robotics),Data Mining and Knowledge Discovery.,Database Management.,Information Storage and Retrieval.,Information Systems Applications (incl.Internet),Electronic books.
22. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
23. Big data :
پدیدآورنده : Zongben Xu, Xinbo Gao, Qiguang Miao, Yunquan Zhang, Jiajun Bu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Big data, Congresses.,Artificial Intelligence (incl. Robotics).,Big Data.,Data Mining and Knowledge Discovery.,Image Processing and Computer Vision.,System Performance and Evaluation.,Artificial intelligence.,Big data.,Computers-- Computer Graphics.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Image processing.,Systems analysis & design.
رده :
QA76
.
9
.
B45
24. Case-based reasoning research and development :
پدیدآورنده : Michael T. Cox, Peter Funk, Shahina Begum (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Case-based reasoning, Congresses.,Artificial Intelligence (incl. Robotics).,Computer Appl. in Administrative Data Processing.,Information Storage and Retrieval.,Mathematical Logic and Formal Languages.,Special Purpose and Application-Based Systems.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Case-based reasoning.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q338
.
8
25. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
26. Changes of Problem Representation :
پدیدآورنده : by Eugene Fink.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial Intelligence (incl. Robotics),Cognitive Psychology.,Computer Science.
رده :
QA76
.
9
.
S63
B948
2002
27. Chinese computational linguistics and natural language processing based on naturally annotated big data :
پدیدآورنده : Maosong Sun, Ting Liu, Xiaojie Wang, Zhiyuan Liu, Yang Liu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Big data, Congresses.,Chinese language-- Data processing, Congresses.,Computational linguistics, Congresses.,Natural language processing (Computer science), Congresses.,Artificial Intelligence (incl. Robotics).,Data Mining and Knowledge Discovery.,Document Preparation and Text Processing.,Language Translation and Linguistics.,Artificial intelligence.,Big data.,Chinese language-- Data processing.,Computational linguistics.,Computers-- Database Management-- Data Mining.,Computers-- Document Management.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Desktop publishing.,Natural language & machine translation.,Natural language processing (Computer science)
رده :
QA76
.
9
.
N38
28. Computational linguistics and intelligent text processing :
پدیدآورنده : Alexander Gelbukh (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics, Congresses.,Discourse analysis-- Data processing, Congresses.,Information storage and retrieval systems, Congresses.,Text processing (Computer science), Congresses.,Artificial Intelligence (incl. Robotics).,Computational Linguistics.,Data Mining and Knowledge Discovery.,Document Preparation and Text Processing.,Information Systems Applications (incl. Internet).,Language Translation and Linguistics.,Artificial intelligence.,Computational linguistics.,Computational linguistics.,Computers-- Database Management-- Data Mining.,Computers-- Document Management.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Desktop publishing.,Discourse analysis-- Data processing.,Information retrieval.,Information storage and retrieval systems.,Language Arts & Disciplines-- Linguistics-- General.,Natural language & machine translation.,Text processing (Computer science)
رده :
QA76
.
9
.
T48
29. Computational science and technology :
پدیدآورنده : Rayner Alfred, Yuto Lim, Ag Asri Ag Ibrahim, Patricia Anthony, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Artificial Intelligence (incl. Robotics).,Big Data.,Communications Engineering, Networks.,Computer networks.,Computer science.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Information technology.
رده :
TK5105
.
5
30. Computer Systems Interaction-Human
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering. ; Computer science. ; Artificial intelligence. ; Engineering mathematics. ; Engineering. ; Appl.Mathematics/Computational Methods of Engineering. ; User Interfaces and Human Computer Interaction. ; Artificial Intelligence (incl. Robotics). ;
31. 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
32. Computer information systems--analysis and technologies :
پدیدآورنده : Nabendu Chaki, Agostino Cortesi (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence-- Industrial applications, Congresses,Computer networks, Congresses,Intelligent agents (Computer software), Congresses
رده :
QA76
.
76
.
I58
I58
2011
33. Computer vision -- ECCV 2018 :
پدیدآورنده : Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer vision, Congresses.,Artificial Intelligence (incl. Robotics).,Computer Communication Networks.,Computer Graphics.,Image Processing and Computer Vision.,Pattern Recognition.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Graphics programming.,Image processing.,Network hardware.,Pattern recognition.
رده :
TA1634
34. Computer vision -- ECCV 2018 :
پدیدآورنده : Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer vision, Congresses.,Artificial Intelligence (incl. Robotics).,Image Processing and Computer Vision.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Image processing.
رده :
TA1634
35. Computer vision -- ECCV 2018 :
پدیدآورنده : Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer vision, Congresses.,Artificial Intelligence (incl. Robotics).,Computer Graphics.,Image Processing and Computer Vision.,Special Purpose and Application-Based Systems.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Expert systems / knowledge-based systems.,Graphics programming.,Image processing.
رده :
TA1634
36. Conceptual modeling--ER 2011 :
پدیدآورنده : Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
رده :
QA76
.
9
.
C65
I58
2011
37. Control and automation, and energy system engineering :
پدیدآورنده : Tai-hoon Kim (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Automatic control, Congresses.,Systems engineering, Congresses.
رده :
TJ212
.
2
.
C3
2011
38. Data-driven generation of policies /
پدیدآورنده : Austin Parker, Gerardo I. Simari, Amy Sliva, V.S. Subrahmanian
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer algorithms.,Artificial Intelligence (incl. Robotics),Computer Science.,Data Mining and Knowledge Discovery.,Database Management.,Probability and Statistics in Computer Science.
رده :
QA76
.
9
.
A43
39. Data mining for geoinformatics :
پدیدآورنده : Guido Cervone, Jessica Lin, Nigel Waters, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data mining,Geospatial data,Artificial Intelligence (incl. Robotics),Computer Science,Data Mining and Knowledge Discovery,Database Management,Earth Sciences, general,Geographical Information Systems/Cartography
رده :
G70
.
23
.
D38
2013
40. Datalog reloaded :
پدیدآورنده : Oege de Moor...[et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data loggers, Congresses.,Deductive databases, Congresses.
رده :
QA76
.
9
.
D34
D38
2010