1141. The State of the Art in Computational Intelligence :
پدیدآورنده : edited by Peter Sinčák, Ján Vaščák, Vladimír Kvasnička, Radko Mesiar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Management information systems.
رده :
QA76
.
9
.
S63
E358
2000
1142. The Universal Turing Machine A Half-Century Survey
پدیدآورنده : edited by Rolf Herken.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Mathematics.
1143. The expert executive: using AI and expert systems for financial management, marketing, production, and strategy
پدیدآورنده : Hertz, David Bendel
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Business-- Data processing,، Management-- Data processing,، Artificial intelligence,، Expert systems )Computer science(
رده :
HF
5548
.
2
.
H455
1988
1144. The harmonic mind : from neural computation to optimality-theoretic grammar
پدیدآورنده : Smolensky, Paul
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Neural networks )Computer science(,، Natural language processing )Computer science(,، Artificial intelligence
رده :
QA
76
.
87
.
S623
2006
1145. The harmonic mind: from neural computation to optimality-theoretic grammar
پدیدآورنده : Paul Smolensky and Geraldine Legendre
کتابخانه: Library of Institute of Psychology and Educational Sciences of Tehran University (Tehran)
موضوع : Neural networks (Computer Science),Natural language processing (Computer Science),Artificial intelligence
1146. The logic of information structures
پدیدآورنده : Wansing, Heinrich T.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
681
1147. The logic of information structures
پدیدآورنده : Wansing, Heinrich
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
1148. The proceeding of the 11 international csi(computer society of iran) computer conference
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer vision,Information storage and retrieval systems,Computer science,Artificial intelligence
رده :
QA
،
75
.
5
،.
I5485
،
2006
1149. The proceedings of the 11th International CSI )Computer Society of Iran( Computer Conference, CSICC'2006, 24-26 January 2006, School of Computer Science, Institute for Studies in Theoretical Physics and Mathematics )IPM(, Tehran, Iran
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science,، Computer architecture,، Artificial intelligence,، Software engineering
رده :
QA
76
.
I572
2006
1150. The subtlety of sameness :
پدیدآورنده : Robert M. French.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Analogy.,Artificial intelligence.,Analogie.,Analogy.,Artificial intelligence.,Computer Science.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Engineering & Applied Sciences.,Kunstmatige intelligentie.
رده :
Q335
.
F738
1995eb
1151. Theoretical Foundations of Computer Vision
پدیدآورنده : edited by W. Kropatsch, R. Klette, F. Solina, R. Albrecht.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer vision.
رده :
TA1634
.
E358
1996
1152. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
1153. Theoretical aspects of evolutionary computing
پدیدآورنده : Leila Kallel, Bart Naudts, Alex Rogers (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Biology -- Data processing.,Evolutionary programming (Computer science)
1154. Theoretical computer science :
پدیدآورنده : edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
1155. Theorie der neuronalen Netze :
پدیدآورنده : von Raúl Rojas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Optical pattern recognition.
رده :
QA76
.
87
V667
1993
1156. Theory and Applications of Formal Argumentation.
پدیدآورنده : \ Elizabeth Black , Sanjay Modgil , Nir Oren (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگره‌ها
رده :
QA
76
.
9
.
T46
2015
E-Book
,
1157. Theory and Applications of Formal Argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
پدیدآورنده : edited by Elizabeth Black, Sanjay Modgil, Nir Oren
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Artificial intelligence,، Computer logic,، Computer science
رده :
QA
76
.
9
.
T34
2018
1158. Theory and Design of Digital Computer Systems
پدیدآورنده : by Douglas Lewin, David Noaks.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Microprogramming.
رده :
TK7888
.
3
B936
1992
1159. Theory and Practice of Uncertain Programming
پدیدآورنده : by Baoding Liu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Operations research.
1160. Thinking Machines and the Philosophy of Computer Science
پدیدآورنده : \ Jordi Vallverdu
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Artificial intelligence,هوش مصنوعی,a05,a05,Computer science-- Philosophy.,Computers-- Moral and ethical aspects.,علوم کامپیوتر -- فلسفه ,کامپیوترها -- جنبه‌های اخلاقی
رده :
QA
76
.
167
.
V32T46
2010
E-Book
,
