专题首页
中图分类法(2)
社会科学总论(1)
军事(1)
在“
自然资源管理
”中,
命中:
2
条,耗时:小于0.01 秒
1.
Complexity of model checking for reaction systems
作者:
Sepinoud Azimia
;
sazimi@abo.fi" class="auth_mail" title="E-mail the corresponding author
;
Cristian Gratiea
;
cgratie@abo.fi" class="auth_mail" title="E-mail the corresponding author
;
Sergiu Ivanovc
;
sergiu.ivanov@u-pec.fr" class="auth_mail" title="E-mail the corresponding author
;
Luca Manzonib
;
luca.manzoni@disco.unimib.it" class="auth_mail" title="E-mail the corresponding author
;
Ion Petrea
;
ipetre@abo.fi" class="auth_mail" title="E-mail the corresponding author
;
Antonio E. Porrecab
;
porreca@disco.unimib.it" class="auth_mail" title="E-mail the corresponding author
关键词:
Reaction systems
;
Model checking
;
Biomodeling
;
Conserved
sets
;
Invariants
;
Steady state
;
Stationary process
;
Elementary flux
;
Periodicity
;
Complexity classes
刊名:Theoretical Computer Science
年:2016
2.
Cost-effective forest conservation and criteria for potential conservation targets: a Finnish case study
作者:
Artti Juutinen
;
S
;
ra Luque
;
Mikko Mö
;
nkkö
;
nen
;
Nina Vainikainen
;
Erkki Tomppo
关键词:
Biodiversity services
;
Conservation planning
;
Finland
;
Forest resources
;
Habitat quality
;
Remote sensing
刊名:Environmental Science and Policy
年:2008
1
按检索点细分(2)
关键词(1)
摘要(1)
按年细分(2)
2016年(1)
2008年(1)
按来源细分(2)
Elsevier(2)
按类型细分(2)
期刊(2)