设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(2)
SpringerLink电子期刊(770)
GSW全文库(10)
Wiley电子期刊(17)
ProQuest学位论文(174)
Elsevier电子期刊(2034)
Springer电子图书(3)
NATURE电子期刊(7)
ACS电子期刊(35)
在“
SpringerLink电子期刊
”中,
命中:
770
条,耗时:0.0139935 秒
在所有数据库中总计命中:
3,052
条
1.
Operational
aspects
of SO
2
removal and microbial population in an integrated-bioreactor with two bioreaction zones
作者:
Lin Li
;
Kaixiong Yang
;
Jian Lin
;
Junxin Liu
关键词:
Operational
aspects
;
Integrated
;
bioreactor
;
Sulfur dioxide
;
PCR
;
DGGE
;
Microbial community
刊名:Bioprocess and Biosystems Engineering
出版年:2017
2.
Proving completeness of logic programs with the cut
作者:
Włodzimierz Drabent
关键词:
Logic programming
;
The cut
;
Operational
semantics
;
Program completeness
;
Program correctness
刊名:Formal
Aspects
of Computing
出版年:2017
3.
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
4.
A preliminary study on learning effect in a contact positioning task in a virtual environment
作者:
Tetsuya Morizono
;
Raita Miyaji
;
Yusuke Tomonari
关键词:
Human operator
;
Learning
;
Positioning task
;
Virtual environment
;
Catching a ball
刊名:Artificial Life and Robotics
出版年:2017
5.
Organisation of new product development in Asia and Europe: results from Western multinationals R&D sites in Germany, India, and China
作者:
Alexander Brem
;
Pierre Wolfram
关键词:
New product development (NPD)
;
Research and Development (R&D)
;
Culture
;
Developing markets
;
Developed markets
;
Case study
刊名:Review of Managerial Science
出版年:2017
6.
Constraint logic programming with a relational machine
作者:
Emilio Jesús Gallego Arias
;
James Lipton
;
Julio Mariño
关键词:
Logic programming
;
Constraint programming
;
Relation algebra
;
Rewriting
;
Semantics
刊名:Formal
Aspects
of Computing
出版年:2017
7.
Dynamic heterogeneity: a framework to promote ecological integration and hypothesis generation in urban systems
作者:
S. T. A. Pickett
;
M. L. Cadenasso
;
E. J. Rosi-Marshall
;
K. T. Belt…
关键词:
Community assembly
;
Interdisciplinary
;
Locational choice
;
Spatial heterogeneity
;
Theory
;
Urban ecology
;
Ecosystem
;
Watershed
刊名:Urban Ecosystems
出版年:2017
8.
RFID-enabled smart real-time manufacturing cost tracking system
作者:
Muawia Ramadan
;
Hassan Al-Maimani…
关键词:
RFID
;
Value stream mapping
;
Cost
;
time profile
;
Lean manufacturing
刊名:The International Journal of Advanced Manufacturing Technology
出版年:2017
9.
Factors influencing the performance of faecal sludge management services: case study in Thailand municipalities
作者:
Achara Taweesan
;
Thammarat Koottatep…
关键词:
Effective measures
;
Faecal sludge management
;
Performance indicators
;
Significant factors
刊名:Environment, Development and Sustainability
出版年:2017
10.
Conceptual design of a crewed reusable space transportation system aimed at parabolic flights: stakeholder analysis, mission concept selection, and spacecraft architecture definition
作者:
Roberta Fusaro
;
Nicole Viola
;
Franco Fenoglio
;
Francesco Santoro
关键词:
Conceptual design
;
Parabolic flights
;
Trans
;
atmospheric transportation systems
;
Mission analysis
;
Quality functional deployment tool
刊名:CEAS Space Journal
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(770)
题名(18)
关键词(3)
文摘(681)
按出版年细分(770)
2017年(11)
2016年(56)
2015年(83)
2014年(75)
2013年(69)
2012年(57)
2011年(22)
2010年(39)
2009年(31)
2008年(28)
2007年(58)
2006年(45)
2005年(52)
2004年(16)
2003年(21)
2002年(20)
2001年(20)
2000年(21)
2000年及以前(46)
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
.