设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
在“
SpringerLink电子期刊
”中,
命中:
552
条,耗时:小于0.01 秒
1.
Thermal and other analytical studies on bifenthrin urea co-inclusion complex
作者:
Manish Dhall
;
Anil Kumar Madan
关键词:
Bifenthrin
;
Thermal analysis
;
Calorimetry
;
Handling characteristics
;
Dissolution rate
;
Urea co
;
inclusion complex
刊名:Journal of Thermal Analysis and Calorimetry
出版年:2017
2.
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
3.
The comparison of edema and ecchymosis after piezoelectric and conventional osteotomy in rhinoplasty
作者:
Ümit Taşkın
;
Timur Batmaz
;
Mehmet Erdil…
关键词:
Rhinoplasty
;
Osteotomy
;
Edema
;
Ecchymosis
刊名:European Archives of Oto-Rhino-Laryngology
出版年:2017
4.
The shape of feature code: an analysis of twenty C-preprocessor-based systems
作者:
Rodrigo Queiroz
;
Leonardo Passos
;
Marco Tulio Valente…
关键词:
Software families
;
Preprocessor
;
Feature
;
related metrics
;
Thresholds
;
Power
;
law distribution
刊名:Software & Systems Modeling
出版年:2017
5.
UTP Semantics for rTiMo
刊名:Lecture Notes in Computer Science
出版年:2017
6.
Assertion, belief, and ‘I believe’-
guarded
affirmation
作者:
Anders Nes
关键词:
Assertion
;
Norms of assertion
;
Belief
;
Parenthetical verbs
;
Evidentials
;
Epistemic norms
刊名:Linguistics and Philosophy
出版年:2016
7.
Techniques for Reducing Thermal Contact Resistance in Steady-State Thermal Conductivity Measurements on Polymer Composites
作者:
C. Stacey
;
A. J. Simpkin
;
R. N. Jarrett
关键词:
ASTM E1530
;
Guarded
heat flow meter
;
Guarded
hot plate
;
Polymer composite
;
Thermal conductivity
;
Thermal contact resistance
刊名:International Journal of Thermophysics
出版年:2016
8.
Towards a verified compiler prototype for the synchronous language SIGNAL
作者:
Zhibin Yang
;
Jean-Paul Bodeveix
;
Mamoun Filali
;
Kai Hu…
关键词:
synchronous languages
;
SIGNAL
;
guarded
actions
;
verified compiler
;
Coq
;
architecture analysis and design language (AADL)
刊名:Frontiers of Computer Science in China
出版年:2016
9.
The Impact of Active Domain Predicates on
Guarded
Existential Rules
刊名:Lecture Notes in Computer Science
出版年:2016
10.
Guarded
Dependent Type Theory with Coinductive Types
刊名:Lecture Notes in Computer Science
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(552)
题名(70)
关键词(49)
文摘(530)
按出版年细分(552)
2017年(5)
2016年(32)
2015年(43)
2014年(40)
2013年(39)
2012年(27)
2011年(9)
2010年(17)
2009年(30)
2008年(29)
2007年(48)
2006年(48)
2005年(43)
2004年(22)
2003年(17)
2002年(30)
2001年(12)
2000年(9)
2000年及以前(52)
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
.