设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(2609)
在“
SpringerLink电子期刊
”中,
命中:
2,609
条,耗时:小于0.01 秒
在所有数据库中总计命中:
2,609
条
1.
Model checking of state-rich formalism
by linking to
\(
CSP
\,\Vert \,B\)
作者:
Kangfeng Ye…
关键词:
\(
CSP
\parallel B\)
;
CSP
ZB ;
ProB
;
Model checking
;
Buffer
刊名:International Journal on Software Tools for Technology Transfer
出版年:2017
2.
Combining restarts, nogoods and bag-connected decompositions for solving
CSP
s
作者:
Philippe Jégou
;
Cyril Terrioux
关键词:
Constraint satisfaction problems
;
Tree
;
decomposition
;
Bag
;
connected tree
;
decomposition
;
Restart
刊名:Constraints
出版年:2017
3.
Numerical investigations of the effects of manikin simplifications on the thermal flow field in indoor spaces
作者:
Yihuan Yan
;
Xiangdong Li
;
Jiyuan Tu
关键词:
computer
;
simulated person (
CSP
)
;
CFD
;
thermal plume
;
indoor air quality
刊名:Building Simulation
出版年:2017
4.
Tractable classes for
CSP
s of arbitrary arity: from theory to practice
作者:
Achref El Mouelhi
刊名:Constraints
出版年:2017
5.
A Branching Time Model of
CSP
刊名:Lecture Notes in Computer Science
出版年:2017
6.
Triangle-based consistencies for cost function networks
作者:
Hiep Nguyen
;
Christian Bessiere
;
Simon de Givry
;
Thomas Schiex
关键词:
Cost function networks
;
Weighted
CSP
;
Constraint optimization problems
;
High order consistencies
;
Restricted path consistency
;
Path inverse consistency
;
Max
;
restricted path consistency
刊名:Constraints
出版年:2017
7.
Analysing Lock-Free Linearizable Datatypes Using
CSP
刊名:Lecture Notes in Computer Science
出版年:2017
8.
Landscape use and fruit cultivation in Petra (Jordan) from Early Nabataean to Byzantine times (2nd century
bc
–5th century
ad
)
作者:
Charlene Bouchaud
;
Christiane Jacquat…
关键词:
Seed and fruit analysis
;
Wood charcoal analysis
;
Petra
;
Antiquity and Late Antiquity
;
Fruit growing
;
Fuel management
刊名:Vegetation History and Archaeobotany
出版年:2017
9.
Hydrothermal synthesis of LiMnPO
4
-C(sp
2
) hybrids, conductive channels, and enhanced dielectric permittivity: a modulated ionic conductor
作者:
S. K. Sharma
;
P. V. Rajeswari
;
B. Tiwari
;
S. Ram
关键词:
Cathode materials
;
Hydrothermal synthesis
;
Nanorods
;
Dielectric properties
刊名:Ionics
出版年:2017
10.
Inner ideals, compact tripotents and Čebyšëv subtriples of JB
\(^{*}\)
-triples and C
作者:
Fatmah B. Jamjoom
;
Antonio M. Peralta…
关键词:
Čebyšëv/Chebyshev subspace
;
JB\(^*\)
;
triples
;
Čebyšëv/Chebyshev subtriple
;
von Neumann algebra
;
C\(^*\)
;
algebra
;
Brown
;
Pedersen quasi
;
invertibility
;
spin factor
刊名:Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas
出版年:2017
1
2
3
4
5
6
7
8
9
查看站内搜索结果(4)
按检索点细分(2609)
题名(613)
作者(35)
关键词(408)
文摘(2332)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.