41. Automation of Reasoning :
پدیدآورنده : edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
43. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
44. Badiou and the political condition /
پدیدآورنده : edited by Marios Constantinou.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Badiou, Alain.,Badiou, Alain.,Political science-- Philosophy.,Law, Politics & Government.,Philosophy & Religion.,PHILOSOPHY-- General.,Philosophy.,POLITICAL SCIENCE-- Essays.,POLITICAL SCIENCE-- Government-- General.,POLITICAL SCIENCE-- Government-- National.,Political science-- Philosophy.,POLITICAL SCIENCE-- Reference.,Political Science Theory.,Political Science.
رده :
JA71
.
B33
2014eb
45. Beginning X64 assembly programming :
پدیدآورنده : Jo Van Hoey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Assembly languages (Electronic computers),Computer programming.,Assembly languages (Electronic computers),Computer programming.
رده :
QA76
.
73
.
A8
V36
2019
46. Being necessary :
پدیدآورنده : edited by Ivette Fred-Rivera and Jessica Leech.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Hale, Bob,1945-Essays., Selections.,Modality (Theory of knowledge),Ontology.,Philosophy.,Modality (Theory of knowledge),Ontology.,PHILOSOPHY-- Epistemology.,Philosophy.
رده :
BD218
.
5
.
B45
2018
47. Belief revision meets philosophy of science /
پدیدآورنده : Erik J. Olsson, Sebastian Enqvist, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Belief change.,Science-- Philosophy.,Belief change.,Droit.,SCIENCE-- Philosophy & Social Aspects.,Science-- Philosophy.,Sciences humaines.,Sciences sociales.
رده :
Q175
.
B45
2011
48. Bridge to abstract mathematics /
پدیدآورنده : Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
49. Briefings on existence :
پدیدآورنده : Alain Badiou ; translated, edited and with an introduction by Norman Madarasz
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ontology
رده :
BD312
.
B3213
2006
50. CHAPTER 8:
پدیدآورنده : Matthey de l'Etang, Alain
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
51. CHAPTER 8:
پدیدآورنده : Matthey de l'Etang, Alain
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
52. COMPUTERS and mathematics
پدیدآورنده : Erich Kaltofen, Stephen M. Watt, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : matematika -- računalništvo -- obdelava podatkov -- operatorji -- matematično modeliranje -- algoritmi
رده :
QA76
.
95
E753
1989
53. 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
54. Chemoinformatics :
پدیدآورنده : editors Johann Gasteiger, Thomas Engel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemia -- informatyka.
رده :
QD39
.
3
.
E46
E358
2004
55. Classification theory and the number of non-isomorphic models
پدیدآورنده : Shelah, Saharon.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
S53
1990
56. Collaborative value co-creation in the platform economy /
پدیدآورنده : Anssi Smedlund, Arto Lindblom, Lasse Mitronen, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cooperation.,Multi-sided platform businesses.,BUSINESS & ECONOMICS-- Industries-- General.,Cooperation.,Multi-sided platform businesses.
رده :
HD9999
.
M782
57. Combinatorics Advances
پدیدآورنده : edited by Charles J. Colbourn, Ebadollah S. Mahmoodian.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorics.,Computational complexity.,Mathematics.,Number theory.
58. Complexity theory and fuzzy logic in strategic management :
پدیدآورنده : Darwin, John Anthony
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Management & business studies
59. Computability.
پدیدآورنده : Klaus Weihrauch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA9
.
59
K538
2012
60. Computability and Decidability :
پدیدآورنده : by Jacques Loeckx.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.
