তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024 তহবিল সংগ্রহের বিষয়ে

কীওয়ার্ড অনুসন্ধান

  • Main
  • কীওয়ার্ড অনুসন্ধান
7
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

J. C. M. Baeten, P. J. L. Cuijpers, B. Luttik, P. J. A. van Tilburg (auth.), Farhad Arbab, Marjan Sirjani (eds.)
transition
automata
automaton
systems
method
timed
checking
component
transitions
node
specification
springer
heidelberg
lncs
analysis
network
methods
behavior
function
refinement
defined
processes
models
abstract
step
branching
components
input
different
consider
finite
calculus
approach
definition
figure
first
variables
nodes
formula
theorem
labeled
pushdown
networks
initial
define
formal
interaction
values
verification
port
সাল:
2010
ভাষা:
english
ফাইল:
PDF, 5.39 MB
0 / 0
english, 2010
8
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

J. C. M. Baeten, P. J. L. Cuijpers, B. Luttik, P. J. A. van Tilburg (auth.), Farhad Arbab, Marjan Sirjani (eds.)
transition
automata
automaton
systems
method
timed
checking
component
transitions
node
specification
springer
heidelberg
lncs
analysis
network
methods
behavior
function
refinement
defined
processes
models
abstract
step
branching
components
input
different
consider
finite
calculus
approach
definition
figure
first
variables
nodes
formula
theorem
labeled
pushdown
networks
initial
define
formal
interaction
values
verification
port
সাল:
2010
ভাষা:
english
ফাইল:
PDF, 5.34 MB
0 / 0
english, 2010
12
Суперэлементный расчет циклически-симметричных систем

Суперэлементный расчет циклически-симметричных систем

Борискин О.Ф.
unknown
wmf
колебаний
лопатки
рис
элементов
лопаток
элемента
расчета
собственных
напряжений
png
жесткости
частот
rcos
частоты
nstif
формы
собственные
конструкции
свободы
результаты
матрица
число
модель
конечных
maxa
матрицы
cord
перемещений
расчетов
систем
степеней
матриц
расчет
системы
колеса
ndf
диска
колебания
конструкций
приведены
компрессора
вектор
центробежных
помощью
конечноэлементная
мкэ
решения
форм
ভাষা:
russian
ফাইল:
RAR, 3.90 MB
0 / 0
russian
13
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
systems
component
timed
defined
hybrid
theorem
components
verification
automata
transition
definition
variables
automaton
formal
formula
springer
method
refinement
heidelberg
lncs
values
analysis
node
false
define
methods
function
utp
first
rcos
execution
programming
polynomial
specification
calculus
different
initial
isabelle
composition
integer
programs
behavior
required
constraints
continuous
query
finite
designs
models
traces
সাল:
2013
ভাষা:
english
ফাইল:
PDF, 5.30 MB
0 / 0
english, 2013
15
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
systems
component
timed
defined
hybrid
theorem
components
verification
automata
transition
definition
variables
automaton
formal
formula
springer
method
refinement
heidelberg
lncs
values
analysis
node
false
define
methods
function
utp
first
rcos
execution
programming
polynomial
specification
calculus
different
initial
isabelle
composition
integer
programs
behavior
required
constraints
continuous
query
finite
designs
models
traces
সাল:
2013
ভাষা:
english
ফাইল:
PDF, 3.01 MB
0 / 0
english, 2013
20
The Crux of Refugee Resettlement : Rebuilding Social Networks

The Crux of Refugee Resettlement : Rebuilding Social Networks

Andrew Nelson, Laura l. Heinemann, Alexander Rödlach, Roos Willems, Surendra Bir Adhikari, Juana Domingo Andrés, Liana Chase, Chaitri Desai, Margaret Evans, Béatrice Halsouet
refugees
refugee
resettlement
networks
bhutanese
groups
nepali
resettled
migration
economic
bonding
housing
agencies
individuals
bridging
journal
karen
context
agency
omaha
studies
policy
engagement
interactions
organizations
resources
nepal
australia
employment
programs
burmese
cbos
immigrants
settlement
countries
experiences
migrants
citizenship
assistance
activities
policies
anthropology
population
residents
retrieved
arrival
arrivals
bhutan
edited
socialization
সাল:
2018
ভাষা:
english
ফাইল:
EPUB, 646 KB
0 / 0
english, 2018
24
微积分下 第2版

微积分下 第2版

苏德矿
函
敛
矢
域
尸
轴
彳
柱
匕
距
夕
投
含
沿
垂
卜
兀
dxdy
析
零
旋
贝
丁
侧
傅
qdy
夹
rcos
邻
rsin
滑
截
椭
幕
乙
律
唯
绕
pdx
减
锥
弦
综
逐
封
抛
符
arctan
弧
矩
সাল:
2007
ভাষা:
chinese
ফাইল:
PDF, 16.84 MB
0 / 5.0
chinese, 2007