121. 20090601 ,Includes bibliographical references and index. 0
پدیدآورنده: 20090602 ,20090602 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
122. Includes bibliographical references and indexes. 0
پدیدآورنده: edited by Marilyn Cochran-Smith, Kenneth M. Zeichner.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
123. Includes bibliographical references (p. 28
پدیدآورنده: M. Hakan Yavuz.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
124. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده: Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
125. Includes bibliographical references (p. 375) and index. 0
پدیدآورنده: Brian M. Fagan.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
126. Includes bibliographical references (p. 225-231) and index. 0
پدیدآورنده: Andrew Green.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
127. Introductory Statistics and Random Phenomena
پدیدآورنده: by Manfred Denker, Wojbor A. Woyczyński, Bernard Ycart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Distribution (Probability theory).,Mathematics.,Statistics.
128. Iteration Theories :
پدیدآورنده: by Stephen L. Bloom, Zoltán Ésik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
B978
1993
129. Logic, Algebra, and Computation :
پدیدآورنده: edited by Friedrich L. Bauer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
63
E358
1991
130. Logic and Complexity
پدیدآورنده: by Richard Lassaigne, Michel Rougemont.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Computer science.,Logic design.
رده :
QA267
.
7
B975
2004
131. Logical Methods
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات
رده :
E-Book
,
132. Logical Methods
پدیدآورنده: edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
133. Logics of Programs :
پدیدآورنده: by E. Clarke, D. Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
134. Make a shield from wisdom :
پدیدآورنده: 20090507 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
135. Modelling Computing Systems :
پدیدآورنده: by Faron Moller, Georg Struth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Computer science.,Logic design.,Computational complexity.,Computer science.,Logic design.
رده :
QA76
.
63
136. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
پدیدآورنده: Francesca Tarocco.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
137. Multisensor fusion
پدیدآورنده: edited by A.K. Hyder, E. Shahbazian and E. Waltz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Detectors -- Congresses.,Intelligent control systems -- Congresses.,Multisensor data fusion -- Congresses.
138. Operations Research and Discrete Analysis
پدیدآورنده: by Alekseĭ D. Korshunov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorics.,Computational complexity.,Information theory.,Mathematical optimization.,Mathematics.
139. Operations research and optimization :
پدیدآورنده: Samarjit Kar, Ujjwal Maulik, Xiang Li, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Business logistics, Congresses.,Mathematical optimization, Congresses.,Operations research, Congresses.,Calculus of Variations and Optimal Control; Optimization.,Continuous Optimization.,Discrete Optimization.,Mathematics.,Operations Research, Management Science.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Business logistics.,Calculus of variations.,Mathematical optimization.,Operational research.,Operations research.,Optimization.
رده :
T57
.
6
