搜索页_+Guarded

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

SpringerLink电子期刊(552)

在“SpringerLink电子期刊”中，命中：552条，耗时：0.0119938 秒

在所有数据库中总计命中：552条

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\) ; CSPZB ; 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)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700