1. Algorithms and complexity in mathematics, epistemology, and science :
پدیدآورنده: editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
رده :
QA9
.
58
2. Applied biostatistical principles and concepts :
پدیدآورنده: Laurens Holmes Jr.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Biometry.,Medical statistics.,Medicine-- Research-- Statistical methods.,Biometry.,Biostatistics.,Data Interpretation, Statistical.,Research Design.,Biometry.,Medical statistics.,Medicine-- Research-- Statistical methods.
رده :
R853
.
S7
H65
2017
3. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
4. Bayesian networks for probabilistic inference and decision analysis in forensic science
پدیدآورنده: \ Franco Taroni, Alex Biedermann, Silvia Bozza, Paolo Garbolino, Colin Aitken
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Bayesian statistical decision theory -- Graphic methods,Uncertainty (Information theory)-- Graphic methods,Forensic sciences-- Graphic methods,MATHEMATICS / Probability & Statistics / General.,نظریه تصمیم گیری آماری بیزی -- روش های گرافیکی
رده :
E-Book
,
5. Belief, evidence, and uncertainty
پدیدآورنده: Prasanta S. Bandyopadhyay, Gordon Brittan Jr., Mark L. Tape,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Knowledge, Theory of,Electronic books,Electronic books
رده :
EBOOK
,
BD
B2
161
6. Brains as engines of association :
پدیدآورنده: Dale Purves.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Brain.,Neural circuitry.,Neurobiology.,Brain-- physiology.,Nerve Net-- physiology.,Nervous System Physiological Phenomena.,Brain.,MEDICAL-- Physiology.,Neural circuitry.,Neurobiology.,SCIENCE-- Life Sciences-- Human Anatomy & Physiology.
رده :
QP356
.
25
.
P86
2019eb
7. Cybernetics and systems '86 :
پدیدآورنده: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
8. Epistemic principles :
پدیدآورنده: Nicholas Rescher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Knowledge, Theory of.,Erkenntnistheorie,Grundlage,Knowledge, Theory of.,Prinzip
رده :
BD161
.
R475
2017
9. Errors of reasoning :
پدیدآورنده: John Woods (University of British Columbia and University of Lethbridge).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Error.,Inference.,Reasoning.,Error.,Inference.,Reasoning.
10. Information Systems Engineering :
پدیدآورنده: by Arne Sølvberg, David Chenho Kung.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Management information systems.,Software engineering.
رده :
T58
.
5
B937
1993
11. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده: by J. Becvar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
12. PRICAI 2000 :
پدیدآورنده: 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
13. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده: ICANN '93. Ed. by Stan Gielen ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
14. Speech Recognition and Understanding :
پدیدآورنده: edited by Pietro Laface, Renato Mori.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
TK7882
.
S65
E358
1992
