设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(450)
地学标准(2)
万方学术会议(1)
CNKI期刊论文0611(74)
中国地质文献-英文(45)
Springer电子图书(82)
CNKI会议论文(27)
知网期刊论文(11072)
馆藏书目(9)
院士团队服务(1)
CNKI学位论文(10249)
标准(2)
在“
SpringerLink电子期刊
”中,
命中:
5,983
条,耗时:小于0.01 秒
在所有数据库中总计命中:
22,014
条
1.
Relative
Termination
via Dependency Pairs
作者:
José Iborra
;
Naoki Nishida
;
Germán Vidal
;
Akihisa Yamada
关键词:
Term rewriting
;
Dependency pairs
;
Termination
刊名:Journal of Automated Reasoning
出版年:2017
2.
Automatically Proving
Termination
and Memory Safety for Programs with Pointer Arithmetic
作者:
Thomas Ströder
;
Jürgen Giesl
;
Marc Brockschmidt…
关键词:
LLVM
C ;
programs
;
Termination
;
Memory Safety
;
Symbolic Execution
刊名:Journal of Automated Reasoning
出版年:2017
3.
Analyzing Program
Termination
and Complexity Automatically with
AProVE
作者:
Jürgen Giesl
;
Cornelius Aschermann
;
Marc Brockschmidt…
关键词:
Termination
analysis
;
Complexity analysis
;
Java
;
/C
;
/Haskell
;
/Prolog
;
programs
;
Term rewriting
刊名:Journal of Automated Reasoning
出版年:2017
4.
Efficacy and Safety of Prophylactic Uterine Artery Embolization in Pregnancy
Termination
with Placenta Previa
作者:
Renguang Pei
;
Guoxiang Wang
;
Heping Wang…
关键词:
Uterine artery embolization
;
Placenta previa
;
Pregnancy
termination
刊名:CardioVascular and Interventional Radiology
出版年:2017
5.
Association between infection and fever in
termination
s of pregnancy using misoprostol: a retrospective cohort study
作者:
Tobias A. J. Nijman
;
Kevin G. J. A. Voogdt…
关键词:
Misoprostol
;
Fever
;
Termination
of pregnancy
;
Abortion
;
Infection
刊名:BMC Pregnancy and Childbirth
出版年:2017
6.
Pregnancy
termination
for fetal abnormality: are health professionals’ perceptions of women’s coping congruent with women’s accounts?
作者:
Caroline Lafarge
;
Kathryn Mitchell
;
Andrew C. G. Breeze…
关键词:
UK
;
Termination
of pregnancy
;
Fetal abnormality
;
Coping and coping strategies
;
Health professionals
;
Congruence
刊名:BMC Pregnancy and Childbirth
出版年:2017
7.
Mifepristone combined with ethacridine lactate for the second-trimester pregnancy
termination
in women with placenta previa and/or prior cesarean deliveries
作者:
Chunqin Chen
;
Feikai Lin
;
Xiaoyun Wang…
关键词:
Mifepristone
;
Ethacridine lactate
;
Cesarean section
;
Placenta previa
;
Second
;
trimester pregnancy
termination
刊名:Archives of Gynecology and Obstetrics
出版年:2017
8.
Low-complexity lattice reduction algorithm for MIMO detectors with tree searching
作者:
Hyunsub Kim
;
Hyukyeon Lee
;
Jihye Koo…
关键词:
Lattice reduction
;
Multiple
;
input multiple
;
output
;
Early
termination
;
Incremental lattice reduction
刊名:EURASIP Journal on Wireless Communications and Networking
出版年:2017
9.
Spinal deformity in elderly patients: comparison of two distal
termination
sites of lumbar curve fusion
作者:
Nikita Zaborovskii
;
Dmitrii Ptashnikov…
关键词:
Spinal deformity
;
Elderly patients
;
Sacropelvic fixation
;
Outcomes
;
Complications
刊名:European Journal of Orthopaedic Surgery & Traumatology
出版年:2017
10.
Drivers of Durable Peace: The Role of Justice in Negotiating Civil War
Termination
作者:
Lynn Wagner
;
Daniel Druckman
关键词:
Civil war negotiations
;
Conflict environment
;
Distributive justice
;
Stable agreements
;
Durable peace
;
Equality
;
Procedural justice
刊名:Group Decision and Negotiation
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(5983)
题名(955)
关键词(629)
文摘(5619)
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
.