81. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
82. Biomathematics and Related Computational Problems
پدیدآورنده : edited by Luigi M. Ricciardi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical Modeling and Industrial Mathematics.,Mathematical models.,Mathematics.
رده :
QH323
.
5
E358
1988
83. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده : edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
84. 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
85. Cellular Automata, Dynamical Systems and Neural Networks
پدیدآورنده : edited by Eric Goles, Servet Martínez.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity.,Information theory.,Physics.
86. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
87. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
88. Cognitive Tools for Learning
پدیدآورنده : edited by Piet A.M. Kommers, David H. Jonassen, J. Terry Mayes, Alcindo Ferreira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
LB1028
.
43
E358
1992
89. Combinatorial algorithms :
پدیدآورنده : edited by Ljiljana Brankovic, Joe Ryan, William F. Smyth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis, Congresses.,Computer algorithms, Congresses.,Algorithms & data structures.,Algorithms.,Artificial intelligence.,Artificial intelligence.,Computer science-- Mathematics.,Computer science.,Computer security.,Computer security.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Data structures (Computer science),Discrete mathematics.,Mathematical theory of computation.,Numerical analysis.
رده :
QA76
.
9
.
M35
90. Commonsense reasoning /
پدیدآورنده : Erik T. Mueller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
رده :
Q338
.
85
.
M84
2006eb
91. Compstat :
پدیدآورنده : edited by David Edwards, Niels E. Raun.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Distribution (Probability theory),Mathematics.,Probability Theory and Stochastic Processes.
92. Computation, Logic, Philosophy :
پدیدآورنده : by Hao Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Information theory.,Mathematics.,Technology -- Philosophy.
93. Computational Intelligence in Reliability Engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering. ; Artificial intelligence. ; Mathematics. ; Engineering mathematics. ; System safety. ; Engineering. ; Appl.Mathematics/Computational Methods of Engineering. ; Artificial Intelligence (incl. Robotics). ; Quality Control, Reliability, Safety a
94. Computational Logic :
پدیدآورنده : edited by John W. Lloyd.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
QA76
.
9
.
A96
E358
1990
95. Computational and statistical methods in intelligent systems /
پدیدآورنده : Radek Silhavy, Petr Silhavy, Zdenka Prokopova, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics, Congresses.,Computer algorithms, Congresses.,Artificial Intelligence.,Computational Intelligence.,Artificial intelligence-- Mathematics.,Computer algorithms.,COMPUTERS / General
رده :
Q334
96. Computational intelligence
پدیدآورنده : Rudolf Kruse ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence
رده :
Q342
.
C66
2013
97. Computational intelligence and mathematics for tackling complex problems /
پدیدآورنده : László T. Kóczy, Jesús Medina-Moreno, Eloísa Ramírez-Poussa, Alexander Šostak, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Fuzzy mathematics, Congresses.,Computational intelligence.,Fuzzy mathematics.
رده :
QA248
98. Computational intelligence, cyber security and computational models :
پدیدآورنده : Geetha Ganapathi, Arumugam Subramaniam, Manuel Graña, Suresh Balusamy, Rajamanickam Natarajan, Periakaruppan Ramanathan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Computer security, Congresses.,Artificial Intelligence.,Computational Intelligence.,Image Processing and Computer Vision.,Mathematics of Computing.,Systems and Data Security.,Artificial intelligence.,Computational intelligence.,Computer security.,Computer security.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Image processing.,Mathematical theory of computation.
رده :
Q342
99. Computational logic and human thinking :
پدیدآورنده : Robert Kowalski
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Communication-- Philosophy,Computational intelligence,Critical thinking,Logic, Symbolic and mathematical-- Famous problems,Reasoning,Rhetoric-- Mathematics
رده :
Q342
.
K69
2011
100. Computers in mathematics
پدیدآورنده : edited by David V. Chudnovsky, Richard D. Jenks
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Mathematics
رده :
QA
76
.
95
.
C65
1990
