101. Data mining techniques for the life sciences

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Life sciences--Data processing,Data mining.,Computational Biology--methods,Data Mining.,Computer Simulation.,Databases, Genetic.

رده :
QH
,
324
.
2
,.
D352
,
2009

102. Diagrammatic representation and inference

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer graphics, Congresses,Computer simulation, Congresses,Graphic methods, Congresses

رده :
QA90
.
D53
2012eb

103. Differential equation analysis in biomedical science and engineering

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Biomedical engineering--Computer simulation,Developmental biology--Simulation methods,Chemotaxis--Data processing,Differential equations.

رده :
R857
.
M34S345
2014

104. Differential equation analysis in biomedical science and engineering

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Biomedical engineering-- Computer simulation.,Chemotaxis-- Data processing.,Developmental biology-- Simulation methods.,Differential equations.

105. Early software reliability prediction

المؤلف:

المکتبة: (هرمزکان)

موضوع: Computer software--Reliability--Simulation methods.,Data mining Evaluation,Computer-assisted instruction

رده :
QA76
.
75

106. Earthquakes

المؤلف:

المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع: Seismology, Data processing, Congresses,Earthquakes, Computer simulation, Congresses,Seismology, Statistical methods, Congresses

رده :
QE
.
D36
,
E38
539
.
2
2008

107. Earthquakes

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Seismology ; Data processing ; Congresses. ; Earthquakes ; Computer simulation ; Congresses. ; Seismology ; Statistical methods ; Congresses. ;

108. Earthquakes

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Seismology--Data processing,Earthquakes--Computer simulation,Seismology--Statistical methods

رده :
QE
,
539
.
2
,.
D36
,
E38
,
2008

109. Energy simulation in building design

المؤلف:

المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع: Energy conservation Simulation methods ، Buildings,Mathematical models ، Architecture and energy conservation,Computer simulation ، Architecture and energy conservation,، CONFORTO TERMICO DAS CONSTRUCOES,، CONSERVACAO DE ENERGIA

رده :
TJ
163
.
5
.
B84
C57
2001

110. Engineering Principles of Combat Modeling and Distributed Simulation.

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Combat-- Mathematical models.,Combat-- Simulation methods.,Military art and science-- Computer simulation.,War games-- Data processing.,Military Science.

رده :
U310
.
T63
2012

111. Engineering principles of combat modeling and Distributed Simulation

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: War games--Data processing,Military and science --Computer simulation,Combat--Mathematical models,Combat--Simulation methods

رده :
U310
.
T63
2012

112. Formal methods applied to industrial complex systems

المکتبة: (هرمزکان)

موضوع: Systems engineering Data processing,Systems engineering Computer simulation,Formal methods (Computer science)

113. Formal modeling and analysis of timed system

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer simulation--Congresses,Temporal automata--Congresses,Formal methods (Computer science)--Congresses

114. Formal modeling and analysis of timed systems :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.

رده :
QA76
.
9
.
C65
F67
2009eb

115. Formal modeling and analysis of timed systems :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.

116. Formal modeling and analysis of timed systems :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.

رده :
QA76
.
9
.
F67

117. Formal modeling and analysis of timed systems :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.

رده :
QA76
.
9
.
C65
F67
2011

118. Formal modeling and analysis of timed systems

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer simulation, Congresses,Formal methods (Computer science), Congresses,System analysis, Congresses,Temporal automata, Congresses

رده :
QA76
.
9
.
C65
F67
2012eb

119. Formal modeling and analysis of timed systems

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer simulation ; Congresses. ; Temporal automata ; Congresses. ; Formal methods (Computer science) ; Congresses. ;

120. Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Machine theory,Congresses ، Robots

رده :
QA
76
.
L28
Vol
.
2791