搜索页_HTT

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(5)	SpringerLink电子期刊(12169)	GSW全文库(54)
Wiley电子期刊(3818)	ProQuest学位论文(153)	Elsevier电子期刊(58952)
Springer电子图书(45)	NATURE电子期刊(117)	ACS电子期刊(24144)

在“SpringerLink电子期刊”中，命中：12,169条，耗时：0.012997 秒

在所有数据库中总计命中：99,457条

1. Model checking of state-rich formalism by linking to http://marklogic.com/appservices/search">\(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

2. A pilot study exploring the association of morphological changes with 5-HTTLPR polymorphism in OCD patients

作者： Shinichi Honda ; Tomohiro Nakao ; Hiroshi Mitsuyasu…

关键词：Hippocampus ; Precentral gyrus ; Frontal pole ; Imaging genetics ; Obsessive ; compulsive disorder (OCD) ; Serotonin transporter gene5 ; HTTLPR ; Voxel ; based morphometry (VBM)

刊名：Annals of General Psychiatry

出版年：2017

3. Vortex Matter in Highly Strained Nb http://marklogic.com/appservices/search">\(_{75}\) Zr http:

作者： Jagdish Chandra ; Meghmalhar Manekar ; V. K. Sharma…

关键词：Vortex matter ; Collective pinning ; Viscous flow

刊名：Journal of Low Temperature Physics

出版年：2017

4. Quotients of schemes by http://marklogic.com/appservices/search">\(\alpha _p\) or http://mar

作者： Nikolaos Tziolas

关键词：Mathematics Subject ClassificationPrimary 14L30 ; 14L15 ; Secondary 14J15 ; 14J50

刊名：manuscripta mathematica

出版年：2017

5. Magnetic Ordering in BaFe http://marklogic.com/appservices/search">\(_{11.9}\) In http://marklo

作者： S. V. Trukhanov ; A. V. Trukhanov ; V. O. Turchenko…

关键词：Barium hexaferrites ; Neutron diffraction ; Vibration magnetometry ; Crystal and magnetic structures

刊名：Journal of Low Temperature Physics

出版年：2017

6. http://marklogic.com/appservices/search">\({\mathcal{V}_{SI}}\) first order implies http://m

作者： M. Badano ; D. Vaggione

关键词：Key words and phrasesCongruence modular variety ; directly indecomposable algebra ; first order class

刊名：Acta Mathematica Hungarica

出版年：2017

7. http://marklogic.com/appservices/search">\(I_0\) and combinatorics at http://marklogic.com/a

作者： Xianghui Shi ; Nam Trang

关键词：Axiom \(I_0\) ; \(\lambda ^+\) ; Aronszajn tree ; Square ; Weak square ; Stationary reflection ; Good scales ; Diamond ; \(\lambda \) ; Continuum hypothsis ; Generic absoluteness ; \(\lambda \) ; Goodness

刊名：Archive for Mathematical Logic

出版年：2017

8. Long-range magnetic interaction in Mn http://marklogic.com/appservices/search">\(_{x}\) Ge http

作者： Liviu Cristian Tănase ; George-Adrian Lungu…

刊名：Journal of Materials Science

出版年：2017

9. Metamagnetic Transitions in La http://marklogic.com/appservices/search">\(_{0.5}\) Pr http://ma

作者： Eyüp Duman ; Mehmet Acet ; Thorsten Krenke…

刊名：Metallurgical and Materials Transactions A

出版年：2017

10. Evidence of mixed valence Cr http://marklogic.com/appservices/search">\(^{+3}\) /Cr http://mark

作者： R. Escamilla ; L. Huerta ; M. Romero ; E. Verdin ; A. Durán

刊名：Journal of Materials Science

出版年：2017

查看站内搜索结果(194)

按检索点细分(12169)

刊名(97)

题名(1499)

作者(694)

关键词(252)

文摘(10111)