1541. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
1542. Speech and computer :
پدیدآورنده : Miloš Železný, Ivan Habernal, Andrey Ronzhin (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Computer science, Congresses,Computer vision, Congresses,Database management, Congresses,Information storage and retrieval systems, Congresses,Optical pattern recognition, Congresses
رده :
QA75
.
5
.
I58
2013
1543. Statistical Learning and Data Sciences
پدیدآورنده : \ Alexander Gammerman , Vladimir Vovk, Harris Papadopoulos (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence,هوش مصنوعی,a05,a05,Machine learning -- Congresses,Data mining -- Congresses.,فراگیری ماشینی -- کنگره ها ,داده‌کاوی -- کنگره‌ها
رده :
Q
325
.
5
.
S7
2015
E-Book
,
1544. Statistical language and speech processing :
پدیدآورنده : Laurent Besacier, Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Computational linguistics, Congresses,Mathematical linguistics, Congresses,Speech processing systems, Congresses,Artificial Intelligence (incl. Robotics),Computer Science,Data Mining and Knowledge Discovery
رده :
P98
1545. Statistical language and speech processing :
پدیدآورنده : Thierry Dutoit, Carlos Martín-Vide, Gueorgui Pironkov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics, Congresses.,Speech processing systems, Congresses.,Artificial Intelligence.,Natural Language Processing (NLP).,Artificial intelligence.,Computational linguistics.,Computers-- Document Management.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Desktop publishing.,Natural language & machine translation.,Speech processing systems.
رده :
P98
1546. Studies on speech production :
پدیدآورنده : Qiang Fang, Jianwu Dang, Pascal Perrier, Jianguo Wei, Longbiao Wang, Nan Yan (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Speech processing systems, Congresses.,Artificial Intelligence.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Natural Language Processing (NLP).,Artificial intelligence.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Computers-- Online Services-- General.,Image processing.,Mathematical theory of computation.,Natural language & machine translation.,Speech processing systems.
رده :
TK7882
.
S65
1547. Supporting learning flow through integrative technologies /
پدیدآورنده : edited by Tsukasa Hirashima, Ulrich Hoppe and Shelley Shwu-Ching Young.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Educational applications, Congresses.,Artificial intelligence-- Educational applications.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.
رده :
LB1028
.
43
.
I58
2007eb
1548. Swarm Intelligence :
پدیدآورنده : Marco Dorigo, Mauro Birattari, Christian Blum, Anders L. Christensen, Andreagiovanni Reina, Vito Trianni (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Swarm intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Numeric Computing.,Probability and Statistics in Computer Science.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Maths for computer scientists.,Swarm intelligence.
رده :
Q337
.
3
1549. Symbiosis of human and artifact
پدیدآورنده : / edited by Yuichiro Anzai, Katsuhiko Ogawa, Hirohiko Mori
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Man-Machine Systems--congresses,Artificial Intelligence--congresses,Computer architecture--Congresses,System design--Congresses,Human-machine systems--Congresses,Human-computer interaction--Congresses
1550. Symbiosis of human and artifact :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Assisted-Machine Systems ; Artificial Intelligence ; Decision Making, Computer-computer interaction ; Congresses ; Computer Systems ; trends ; Man-machine systems ; Congresses ; Human-Computer architecture ; Congresses ; System design ; Congresses ; Human
1551. Symbolic and Quantitative Approaches to Reasoning with Uncertainty.
پدیدآورنده : \ Sébastien Destercke , Thierry Denoeux (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Uncertainty (Information theory) -- Congresses.,Artificial intelligence -- Congresses.,عدم قطعیت (نظریه اطلاعات) -- کنگره ها ,هوش مصنوعی-- کنگره‌ها
رده :
HB
133
.
S9
2015
E-Book
,
1552. Symbolic and numerical computation for artificial intelligence
پدیدآورنده : edited by Bruce Randall Donald, Deepak Kapur, Joseph L. Mundy
کتابخانه: (طهران)
موضوع : Artificial intelligence - Congresses
رده :
Q
335
.
S89
1990
1553. Symbolic and numerical computation for artificial intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Artificial intelligence
رده :
Q
335
.
S89
1992
1554. Symbolic and quantitative approaches to reasoning and uncertainty: European Conference ECSQARU '95, Fribourg, Switzerland, July 1995: proceedings
پدیدآورنده : Christine Froidevaux, Jurg Kohlas )eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Uncertainty )Information theory(
رده :
QA
76
.
L4
v
.
946
1555. Symbolic and quantitative approaches to reasoning and uncertainty : European conference, ECSQARU'99, London, UK, July 5-9, 1999, proceedings
پدیدآورنده : Anthony Hunter, Simon Parsons, eds
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Uncertainty )Information theory(
رده :
QA
76
.
L28
Vol
.
1638
1556. Symbolic and quantitative approaches to reasoning with uncertainty
پدیدآورنده : / Khaled Mellouli (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Artificial intelligence--Congresses,Reasoning--Congresses,Uncertainty (Information theory)--Congresses
رده :
Q
,
334
,.
E27
,
2007
1557. Symbolic and quantitative approaches to reasoning with uncertainty
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ; Reasoning ; Congresses. ; Uncertainty (Information theory) ; Congresses. ;
1558. Symbolic and quantitative approaches to reasoning with uncertainty
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ; Reasoning ; Congresses. ; Uncertainty (Information theory) ; Congresses. ;
1559. Symbolic and quantitative approaches to reasoning with uncertainty :
پدیدآورنده : Thomas Dyhre Nielsen, Nevin Lianwen Zhang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Reasoning, Congresses.,Uncertainty (Information theory), Congresses.
1560. Symbolic and quantitative approaches to reasoning with uncertainty
پدیدآورنده : / Llu?�s Godo (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Artificial intelligence--Congresses,Reasoning--Congresses,Uncertainty (Information theory)--Congresses
رده :
Q
,
334
,.
E27
,
2005
QA
,
75
,.
L4
,
vol
.,
3571
