设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(12)
馆藏书目(1)
CNKI会议论文(3)
CNKI期刊论文0611(6)
中国地质文献-英文(2)
Springer电子图书(14)
CNKI学位论文(5122)
知网期刊论文(1685)
在“
Elsevier电子期刊
”中,
命中:
382
条,耗时:0.0249899 秒
在所有数据库中总计命中:
6,845
条
1.
Completeness for recursive procedures in
separation
logic
作者:
Mahmudul Faisal Al Ameen
a
;
alameen@nii.ac.jp" class="auth_mail" title="E-mail the corresponding author
;
Makoto Tatsuta
b
;
tatsuta@nii.ac.jp" class="auth_mail" title="E-mail the corresponding author
关键词:
Separation
logic
;
Hoare's
logic
;
Completeness
;
Recursive procedures
刊名:Theoretical Computer Science
出版年:2016
2.
Remediation of a synthetic textile wastewater from polyester-cotton dyeing combining bio
logic
al and photochemical oxidation processes
作者:
Petrick A. Soares
a
;
b
;
petrick.soares@unoesc.edu.br" class="auth_mail" title="E-mail the corresponding author
;
Renata Souza
a
;
Juan Soler
a
;
Tâ
;
nia F.C.V. Silva
a
;
Selene M.A. Guelli U. Souza
c
;
Rui A.R. Boaventura
a
;
Ví
;
tor J.P. Vilar
a
;
vilar@fe.up.pt" class="auth_mail" title="E-mail the corresponding author
关键词:
Wastewater from textile dyeing
;
Dyeing auxiliary products
;
Bio
logic
al oxidation
;
Advanced oxidation processes
;
Cost analysis
刊名:
Separation
and Purification Technology
出版年:2017
3.
New
Logic
and Agrotropico jointly create zero waste palm-oil mill
刊名:Membrane Technology
出版年:2017
4.
Secure and efficient user authentication scheme for multi-gateway wireless sensor networks
作者:
Jangirala Srinivas
a
;
jangiralasrinivas@maths.iitkgp.ernet.in" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Sourav Mukhopadhyay
a
;
sourav@maths.iitkgp.ernet.in" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Dheerendra Mishra
;
b
;
dheerendra@maths.iitkgp.ernet.in" class="auth_mail" title="E-mail the corresponding author
;
dheerendra.m@gmail.com" class="auth_mail" title="E-mail the corresponding author
Author Vitae
关键词:
Internet of things (IoT)
;
Wireless sensor networks(WSNs)
;
Authentication
刊名:Ad Hoc Networks
出版年:2017
5.
A
logic
of separating modalities
作者:
Jean-René
;
Courtault
a
;
jean-rene.courtault@loria.fr" class="auth_mail" title="E-mail the corresponding author
;
Didier Galmiche
a
;
didier.galmiche@loria.fr" class="auth_mail" title="E-mail the corresponding author
;
David Pym
b
;
d.pym@ucl.ac.uk" class="auth_mail" title="E-mail the corresponding author
关键词:
Bunched
logic
;
Separation
logic
;
Modal
logic
;
Resource semantics
;
Tableaux
;
Concurrency
刊名:Theoretical Computer Science
出版年:2016
6.
Parenthood and
separation
in couples 6 years after their first infertility consultation
作者:
Magali Ferreira
a
;
1
;
Emeline Teillet Sanchez
a
;
1
;
Nicolas Gatimel
a
;
b
;
Carole Fajau
a
;
Florence Lesourd
a
;
Louis Bujan
a
;
b
;
Roger Mieusset
a
;
b
;
Jean Parinaud
a
;
b
;
parinaud.j@chu-toulouse.fr" class="auth_mail" title="E-mail the corresponding author
;
Roger Leandri
a
;
b
关键词:
Infertility
;
Follow-up studies
;
Parenthood
;
Separation
刊名:European Journal of Obstetrics & Gynecology and Reproductive Biology
出版年:2016
7.
Single chain completeness and some related properties
作者:
Stefano Aguzzoli
aguzzoli@di.unimi.it" class="auth_mail" title="E-mail the corresponding author
;
Matteo Bianchi
;
matteo.bianchi@unimi.it" class="auth_mail" title="E-mail the corresponding author
关键词:
Many-valued
logic
s
;
Monoidal t-norm based
logic
;
Single chain completeness
;
Variable
separation
properties
;
Substructural
logic
s
;
Halldé
;
n completeness
刊名:Fuzzy Sets and Systems
出版年:2016
8.
Crystallization assisted microphase
separation
in all-conjugated phenylene-thiophene diblock copolymers
作者:
Hua Yang
a
;
b
;
c
;
Rui Zhang
a
;
Lei Wang
a
;
Jidong Zhang
a
;
Xinhong Yu
a
;
Yanhou Geng
a
;
Yanchun Han
a
;
ychan@ciac.ac.cn" class="auth_mail" title="E-mail the corresponding author
关键词:
All-conjugated diblock copolymer
;
Microphase
separation
;
Breakout crystallize
;
Solvophobic interactions
刊名:Polymer
出版年:2016
9.
CyLog/Game aspect: An approach to
separation
of concerns in crowdsourced data management
作者:
Atsuyuki Morishima
;
mori@slis.tsukuba.ac.jp" class="auth_mail" title="E-mail the corresponding author
;
Shun Fukusumi
shun.fukusumi.2011b@mlab.info" class="auth_mail" title="E-mail the corresponding author
;
Hiroyuki Kitagawa
kitagawa@cs.tsukuba.ac.jp" class="auth_mail" title="E-mail the corresponding author
关键词:
Crowdsourcing
;
Declarative languages
;
Databases
;
Separation
of concerns
刊名:Information Systems
出版年:2016
10.
Counterexamples to countable-section uniformization and
separation
作者:
Vladimir Kanovei
a
;
b
;
1
;
kanovei@googlemail.com" class="auth_mail" title="E-mail the corresponding author
;
Vassily Lyubetsky
a
;
2
;
lyubetsk@iitp.ru" class="auth_mail" title="E-mail the corresponding author
关键词:
03E15
;
03E35
;
03E20
;
28A05
刊名:Annals of Pure and Applied
Logic
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(382)
题名(26)
关键词(54)
文摘(301)
按出版年细分(382)
2027年及以后(26)
2017年(3)
2016年(20)
2015年(5)
2013年(29)
2012年(32)
2011年(32)
2010年(22)
2009年(22)
2008年(25)
2007年(16)
2006年(24)
2005年(18)
2004年(13)
2003年(13)
2002年(8)
2001年(7)
2000年(9)
2000年及以前(58)
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
.