121. Annual Symposium on Foundations of Computer Science ]papers[
پدیدآورنده : Symposium on Foundations of Computer Science
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Switching theory-- Congresses,، Machine theory-- Congresses,، Electronic data processing-- Congresses
رده :
QA
268
.
5
.
S9a
122. Anxious anatomy :
پدیدآورنده : Stefani Engelstein
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : English literature-- 18th century-- History and criticism,English literature-- 19th century-- History and criticism,German literature-- 18th century-- History and criticism,German literature-- 19th century-- History and criticism,Human body in literature,Human reproduction in literature,Literature and science-- Europe-- History-- 18th century,Literature and science-- Europe-- History-- 19th century,Science in literature
رده :
PR468
.
S34
E64
2008
123. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
124. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
رده :
QA267
.
E358
1982
125. Applications and Theory of Petri Nets :
پدیدآورنده : edited by Anastasia Pagnoni, Grzegorz Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA267
.
E358
1983
126. Applications of Analytic and Geometric Methods to Nonlinear Differential Equations
پدیدآورنده : edited by Peter A. Clarkson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Global analysis (Mathematics),Manifolds (Mathematics),Physics.
127. Applications of Hyperstructure Theory
پدیدآورنده : by Piergiulio Corsini, Violeta Leoreanu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
128. Applications of automata theory and algebra via the mathematical theory of complexity to biology, physics, psychology, philosophy, and games
پدیدآورنده : John Rhodes ; edited by Chrystopher L. Nehaniv ; foreword by Morris W. Hirsch.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Finite groups,Group theory,Machine theory,Algebra
رده :
QA
267
.
R49
2010
129. Applications of automata theory and algebra: via the mathematical theory of complexity to biology, physics, psychology, philosophy, and games
پدیدآورنده : Rhodes, John L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Finite groups,، Group theory,، Machine theory,، Algebra
رده :
QA
267
.
R563
2010
130. Applications of complex adaptive systems /Yin Shan, Ang Yang [editors].
پدیدآورنده : Yin Shan, Ang Yang [editors].
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Functionalism (Social sciences),System analysis,Biocomplexity--Simulation methods.,Social systems--Simulation methods.,Economics--Methodology.,Organizational sociology--Simulation methods.,Modularity (Engineering),Modularity (Psychology),Self-organizaing systems.,Adaptive control systems
131. Applied Abstract Algebra
پدیدآورنده : by Rudolf Lidl, Günter Pilz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Mathematics.
132. Applied automata theory
پدیدآورنده : edited by Julius T. Tou.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Sequential machine theory.,Switching theory.
133. Applied automata theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SWITCHING THEORY , ROBOTS , SEQUENTIAL MACHINE THEORY
رده :
QA
401
.
A6
134. Applied automata theory
پدیدآورنده : Edited by Julius T. Tou
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Switching theory,Sequential machine theory
رده :
QA
.
A6
401
135. Applied automata theory.
پدیدآورنده : Edited by julius T. Tou
موضوع : Switching theory,Automata,Sequential machine theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
136. Approximation algorithms for combinatorial optimization : International Workshop, APPROX'98, Aalborg, Denmark, July 18-19, 1998 : proceedings
پدیدآورنده : Klaus Jansen, Jose Rolim )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer algorithms,Data processing -- Congresses ، Approximation theory,Data processing -- Congresses ، Combinatorial optimization
رده :
QA
76
.
L28
Vol
.
1444
137. Artificial chemistries /
پدیدآورنده : Wolfgang Banzhaf and Lidia Yamamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biochemistry.,Chemistry, Physical and theoretical.,Evolution (Biology),Life-- Origin.,Molecular evolution.,Biochemical Phenomena.,Evolution, Molecular.,Models, Biological.,Origin of Life.,Biochemistry.,Chemistry, Physical and theoretical.,Evolution (Biology),Künstliche Chemie,Life-- Origin.,Molecular evolution.,SCIENCE-- Life Sciences-- Biochemistry.
رده :
QD415
.
B24
2015eb
138. Artificial intelligence applications and innovations :
پدیدآورنده : John MacIntyre, Ilias Maglogiannis, Lazaros Iliadis, Elias Pimenidis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.
رده :
Q334
139. Artificial intelligence, evolutionary computing and metaheuristics :
پدیدآورنده : Xin-She Yang (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer algorithms.,Evolutionary computation.
رده :
Q335
.
X567
9999
140. Artificial life VII :
پدیدآورنده : edited by Mark A. Bedau ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biological systems-- Computer simulation, Congresses.,Biological systems-- Simulation methods, Congresses.
رده :
QH324
.
2
.
I556
2000
