设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(1)
SpringerLink电子期刊(697)
GSW全文库(1)
Wiley电子期刊(10)
ProQuest学位论文(110)
Elsevier电子期刊(506)
Springer电子图书(1)
NATURE电子期刊(4)
ACS电子期刊(21)
在“
Elsevier电子期刊
”中,
命中:
506
条,耗时:0.0169905 秒
在所有数据库中总计命中:
1,351
条
1.
Omega chaos and the
specification
property
作者:
Reeve Hunter
a
;
Reeve.Hunter@uga.edu
;
Brian E. Raines
b
;
brian_raines@baylor.edu
关键词:
Chaotic system
;
Periodic point
;
Shift map
;
Symbolic dynamics
;
Specification
property
;
Omega chaos
刊名:Journal of Mathematical Analysis and Applications
出版年:2017
2.
Topological features of flows with the reparametrized gluing orbit
property
作者:
Thiago Bomfim
a
;
tbnunes@ufba.br
;
Maria Joana Torres
b
;
jtorres@math.uminho.pt
;
Paulo Varandas
a
;
paulo.varandas@ufba.br
关键词:
primary
;
37B40
;
37C10
;
37C35
;
37C50
;
secondary
;
37C27
刊名:Journal of Differential Equations
出版年:2017
3.
The effects of the bus rapid transit infrastructure on the
property
values in Colombia
作者:
Jorge Andres Perdomo Calvo
;
jorge.perdomo@ehu.eus
;
jperdomo@teknidataconsultores.com
关键词:
C52
;
L92
;
R14
;
R23
;
R42
刊名:Travel Behaviour and Society
出版年:2017
4.
Cr and Co doped Cs
5
Bi(MoO
4
)
4
: Microwave assisted synthesis, characterization and
specification
of optical properties
作者:
G. Ç
;
elik Gü
;
l
;
gulsahcelik@balikesir.edu.tr
;
F. Kurtuluş
关键词:
Cesium bismuth molybdate
;
Doped materials
;
Microwave assisted synthesis
;
Rietveld refinement method
;
Luminescent materials
;
Powder X-ray diffraction
刊名:Optik - International Journal for Light and Electron Optics
出版年:2017
5.
Verifiable abstractions for contract-oriented systems
作者:
Massimo Bartoletti
a
;
bart@unica.it
;
Maurizio Murgia
a
;
Alceste Scalas
a
;
Roberto Zunino
b
关键词:
Contract-oriented computing
;
Verification
;
Rewriting logic
;
Session types
刊名:Journal of Logical and Algebraic Methods in Programming
出版年:2017
6.
Operators with the
specification
property
作者:
Salud Bartoll
;
Fé
;
lix Martí
;
nez-Gimé
;
nez
;
Alfredo Peris
;
aperis@mat.upv.es" class="auth_mail" title="E-mail the corresponding author
关键词:
Hypercyclic operators
;
Specification
property
;
Frequently hypercyclic operators
刊名:Journal of Mathematical Analysis and Applications
出版年:2016
7.
Selected physical properties of new resin-modified glass ionomer luting cements
作者:
Jason R. Garner
;
DMD
;
MS
a
;
Michael N. Wajdowicz
;
DDS
b
;
Nicholas B. DuVall
;
DDS
;
MS
c
;
Howard W. Roberts
;
DMD
;
MS
d
;
Howard.roberts@us.af.mil
刊名:The Journal of Prosthetic Dentistry
出版年:2017
8.
Property
specification
, process verification, and reporting - A case study with vehicle-commissioning processes
作者:
Richard Mrasek
a
;
richard.mrasek@kit.edu" class="auth_mail" title="E-mail the corresponding author
;
Jutta Mü
;
lle
a
;
jutta.muelle@kit.edu" class="auth_mail" title="E-mail the corresponding author
;
Klemens Bö
;
hm
a
;
klemens.boehm@kit.edu" class="auth_mail" title="E-mail the corresponding author
;
Michael Becker
b
;
michael1.becker@audi.de" class="auth_mail" title="E-mail the corresponding author
;
Christian Allmann
b
;
christian.allmann@audi.de" class="auth_mail" title="E-mail the corresponding author
关键词:
Property
specification
;
Business process management
;
Workflow management
;
Verification
;
Model checking
;
Petri net
;
Industrial processes
;
Vehicle commissioning processes
刊名:Information Systems
出版年:2016
9.
On intrinsic ergodicity and weakenings of the
specification
property
作者:
Ronnie Pavlov
1
;
rpavlov@du.edu" class="auth_mail" title="E-mail the corresponding author
关键词:
primary
;
37B10
;
secondary
;
37B40
;
37D35
刊名:Advances in Mathematics
出版年:2016
10.
The impact of regional commuter trains on
property
values: Price segments and income
作者:
Helena Bohman
a
;
1
;
helena.bohman@mah.se" class="auth_mail" title="E-mail the corresponding author
;
Dé
;
siré
;
e Nilsson
a
;
b
;
1
关键词:
Hedonic price function
;
Price segment
;
Commuter railway
;
Two-stage quantile regression
;
Spatial lag
刊名:Journal of Transport Geography
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(506)
题名(12)
关键词(27)
文摘(421)
按出版年细分(506)
2027年及以后(19)
2017年(6)
2016年(12)
2015年(5)
2014年(3)
2013年(39)
2012年(39)
2011年(29)
2010年(35)
2009年(38)
2008年(32)
2007年(29)
2006年(29)
2005年(31)
2004年(14)
2003年(18)
2002年(15)
2001年(12)
2000年(14)
2000年及以前(87)
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
.