设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(533)
馆藏期刊(31)
Springer电子图书(51)
CNKI学位论文(142506)
万方学位论文(16)
中国地质文献-中文(23)
馆藏书目(94)
万方学术会议(15)
CNKI期刊论文0611(587)
馆藏电子书[解放前](9)
地图图件(1)
CNKI会议论文(199)
知网期刊论文(109657)
在“
SpringerLink电子期刊
”中,
命中:
2,596
条,耗时:0.0909564 秒
在所有数据库中总计命中:
253,722
条
1.
Model checking of s
t
a
t
e-rich formalism
tion id-i-eq1">
by linking
t
o
tion id-i-eq2">
tion-source forma
t
-
t
-e-x" xmlns:search="h
tt
p://marklogic.com/appservices/search">\(CSP\,\Ver
t
\,B\)
作者:
Kangfeng Ye…
关键词:
\(CSP \parallel B\)
;
CSP
ZB ;
ProB
;
Model checking
;
Buffer
刊名:In
t
erna
t
ional Journal on Sof
t
ware Tools for Technology Transfer
出版年:2017
2.
Choquard equa
t
ions under confining ex
t
ernal po
t
en
t
ials
作者:
Jean Van Schaf
t
ingen
;
Jiankang Xia
关键词:
Nonlocal semilinear ellip
t
ic problem
;
Weigh
t
ed Sobolev embedding
t
heorem
;
Grounds
t
a
t
e
;
Foun
t
ain Theorem
;
Leas
t
Ac
t
ion Nodal Solu
t
ion
刊名:Nonlinear Differen
t
ial Equa
t
ions and Applica
t
ions NoDEA
出版年:2017
3.
Resis
t
ance
t
o Targe
t
ed Therapies in Renal Cancer: The Impor
t
ance of Changing
t
he Mechanism of Ac
t
ion
作者:
I. Duran
;
J. Lambea
;
P. Maro
t
o
;
J. L. González-Larriba
;
Luis Flores…
刊名:
T
arge
t
ed Oncology
出版年:2017
4.
New Biomarkers for Selec
t
ing
t
he Bes
t
Therapy Regimens in Me
t
as
t
a
t
ic Cas
t
ra
t
ion-Resis
t
an
t
Pros
t
a
t
e Cancer
作者:
Isabel Heidegger
;
Axel Heidenreich
;
David Pfis
t
er
刊名:
T
arge
t
ed Oncology
出版年:2017
5.
T
he Unexpec
t
ed Roles of Aurora A Kinase in Gliobas
t
oma Recurrences
作者:
Es
t
elle Willems
;
Arnaud Lombard
;
Ma
tt
hias Dedobbeleer
;
Nicolas Goffar
t
…
刊名:
T
arge
t
ed Oncology
出版年:2017
6.
DAHA-
Jones
polynomials of
t
orus kno
t
s
作者:
Ivan Cherednik
关键词:
Double affine Hecke algebra
;
Jones
polynomial
;
Khovanov–Rozansky homology
;
T
orus kno
t
;
Macdonald polynomial
;
Askey–Wilson polynomial
;
Verlinde algebra
;
Absolu
t
e Galois group
;
Chern–Simons
t
heory
刊名:Selec
t
a Ma
t
hema
t
ica, New Series
出版年:2016
7.
New approach
t
o classical
t
hermodynamics
作者:
V. P. Maslov
关键词:
Hougen–Wa
t
son diagram
;
van der Waals law of corresponding s
t
a
t
es
;
van der Waals equa
t
ion of s
t
a
t
e
;
Lennard
;
Jones
po
t
en
t
ial
;
Lagrangian manifold
;
con
t
ac
t
manifold
;
Legendre manifold
;
Bachinskii condi
t
ion
;
Zeno line
;
Bose–Eins
t
ein dis
t
ribu
t
ion
;
Fermi–Dirac dis
t
ribu
t
ion
;
Gen
t
ile correc
t
ion
;
Cara
t
héodory concep
t
ion
;
dispersive medium
;
en
t
ropy produc
t
ion
;
phase
t
ransi
t
ion “liquid
;
amorphous solid.”
刊名:Ma
t
hema
t
ical No
t
es
出版年:2016
8.
S
t
rongly produc
t
ive ul
t
rafil
t
ers on semigroups
作者:
David J. Fernández Bre
t
ón
;
Mar
t
ino Lupini
关键词:
Ul
t
rafil
t
ers
;
S
t
rongly produc
t
ive ul
t
rafil
t
ers
;
Commu
t
a
t
ive semigroups
;
Solvable groups
;
Solvable inverse semigroups
;
Čech–S
t
one compac
t
ifica
t
ion
;
Fini
t
e produc
t
s
刊名:Semigroup Forum
出版年:2016
9.
Polycyclic aroma
t
ic hydrocarbons: de
t
erminan
t
s of residen
t
ial carpe
t
dus
t
levels and risk of non-Hodgkin lymphoma
作者:
Cur
t
T. DellaValle
;
Nicole C. Deziel
;
Rena R.
Jones
…
关键词:
Polycyclic aroma
t
ic hydrocarbons
;
Non
;
Hodgkin lymphoma
;
T
cell lymphoma
;
Dus
t
;
Case–con
t
rol s
t
udy
刊名:Cancer Causes & Con
t
rol
出版年:2016
10.
Glioma
t
osis cerebri: no evidence for a separa
t
e brain
t
umor en
t
i
t
y
作者:
Ulrich Herrlinger
;
David
T
. W.
Jones
;
Mar
t
in Glas
;
Elke Ha
tt
ingen…
关键词:
Glioma
t
osis cerebri
;
DNA me
t
hyla
t
ion profiles
;
Genomic aberra
t
ions
;
IDH1 mu
t
a
t
ion
;
MGM
T
promo
t
er me
t
hyla
t
ion
;
Molecular classifica
t
ion
刊名:Ac
t
a Neuropa
t
hologica
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(2596)
题名(14)
作者(1264)
关键词(7)
文摘(225)
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
.