241. (Re)constructing the model of interpreting professionalism through institutional work :
پدیدآورنده : Dong, Jiqing
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
242. Recursive number theory: a development of recursive arithmetic in a logic- free equation calculus
پدیدآورنده : by R.L. Goodstein
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Numbers, theory of
رده :
QA
248
.
5
.
G6N8
243. Robot Planning with Constrained Markov Decision Processes
پدیدآورنده : Feyzabadi, Seyedshams
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
244. Rough Sets and Current Trends in Computing.
پدیدآورنده : Wojciech Ziarko
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ebooks -- UML.
245. STACS 92 :
پدیدآورنده : A[lain] Finkel, M[atthias] Jantzen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.
246. Selected topics in algebra
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Algebra,Geometry, Algebraic,Logic, Symbolic and mathematical
247. Selected topics in algebra and its interrelation with logic, number theory, and algebric geometry
پدیدآورنده : Bucur, Ionel
موضوع : ، Algebra,، Geometry, Algebraic,، Logic, symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
248. Selected works of A.N. Kolmogorov. Volume II, Probability theory and mathematical statistics
پدیدآورنده : edited by A.N. Shiryayev ; translated from the Russian by G. Lindquist.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical statistics.,Probabilities.
249. Semantics for concurrency :
پدیدآورنده : [edited by] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems -- Parallel programming,Parallel programming (Computer science)
رده :
QA76
.
6
E358
1990
250. Semi-Markov Models and Applications
پدیدآورنده : edited by Jacques Janssen, Nikolaos Limnios.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Statistics.,Systems theory.
251. Sequences, Groups, and Number Theory /
پدیدآورنده : Valérie Berthé, Michel Rigo, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Number theory.,Combinatorics & graph theory.,Discrete mathematics.,Groups & group theory.,MATHEMATICS-- Algebra-- Intermediate.,Number theory.,Number theory.
رده :
QA241
252. Set Theory
پدیدآورنده : Joan Bagaria.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Conjuntos, Teoría de.
253. Set theory :
پدیدآورنده : Abhijit Dasgupta
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Point set theory.,Set theory.
رده :
QA248
.
D37
2014
254. Sets, logic
پدیدآورنده : Dodge, Clayton W., ]by[ Clayton W. Dodge
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Number theory,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
241
.
D6
255. Sexual difference in European cinema :
پدیدآورنده : Fabio Vighi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Motion picture producers and directors.,Motion pictures-- Europe.,Sex role in motion pictures.,Erotik,Film-- Europa.,Film.,Geschlechterrolle,Könsroller-- i filmen.,Motion picture producers and directors.,Motion pictures.,Sex role in motion pictures.,Europe., 7
رده :
PN1995
.
9
.
S47
V54
2009
256. Soft Computing Approaches in Chemistry
پدیدآورنده : edited by Hugh M. Cartwright, Les M. Sztandera.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemistry.,Engineering.,Physics.,Systems theory.,Vibration.
257. Software Assists to On-chip Memory Hierarchy of Manycore Embedded Systems
پدیدآورنده : Namaki Shoushtari, Abdolmajid
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
258. Spreading the word :
پدیدآورنده : Green, Andrew
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : activism,Music,politics,Zapatista
259. Stepwise refinement of distributed systems :
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
D5
S75
1990
260. Switching Machines :
پدیدآورنده : by J.-P. Perrin, M. Denouette, E. Daclin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.
رده :
QA267
.
5
.
S4
B957
1972
