搜索页_c Garoche

设为首页

收藏本站

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

Elsevier电子期刊(6)

在“Elsevier电子期刊”中，命中：6条，耗时：0.0319504 秒

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

1.SMT-AI: an Abstract Interpreter as Oracle for k-induction

作者：Pierre Roux ; Ré ; mi Delmas ; Pierre-Loï ; c Garoche

关键词：k-induction ; abstract interpretation ; lemmas generator ; SMT

刊名：Electronic Notes in Theoretical Computer Science

出版年：2010

2.Low-energy electron beam on an insulator surface: Impact of the charging process on the diffraction by mica muscovite

作者：Pesty ; F. ; Garoche ; P.

关键词：Electron diffraction ; Insulator ; Surfaces ; Secondary electrons ; Charging

刊名：Surface Science

出版年：2005

3.Phason-strain field and grain growth: a scanning focused ion beam and transmission electron microscopy study in Al–Li–Cu icosahedral phase

作者：Wang ; K. ; Donnadieu ; P. ; Garoche ; P.

关键词：Al&ndash ; Li&ndash ; Cu quasicrystal ; Phason-strain field ; Grain growth

刊名：Materials Science and Engineering: A

出版年：2000

4.Oscillating low-energy electron diffraction for studying nanostructured surfaces

作者：Dorel ; S. ; Pesty ; F. ; Garoche ; P.

关键词：Insulating surfaces ; Low-energy electron diffraction (LEED) ; Mica ; Surface defects ; Surface structure ; morphology ; roughness ; and topography

刊名：Surface Science

出版年：2000

5.Design of an all-thin-film array of bolometers

作者：Djotni ; K. ; Torre ; J.-P. ; K. ; Wang ; Pesty ; F. ; Dumoulin ; L. ; Mangin ; J. ; Garoche ; P.

刊名：Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

出版年：1996

6.Improving the Al₆Li₃Cu quasicrystals by annealing treatments

作者：Donnadieu ; P. ; Wang ; K. ; Degand ; C. ; Garoche ; P.

刊名：Journal of Non-Crystalline Solids

出版年：1995

按检索点细分(6)

作者(6)

按出版年细分(6)

2010年(1)

2005年(1)

2000年(2)

2000年及以前(2)

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

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