设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(2)
Springer电子图书(109)
CNKI学位论文(4229)
知网期刊论文(2452)
馆藏电子书[解放前](1)
CNKI会议论文(7)
CNKI期刊论文0611(3)
在“
SpringerLink电子期刊
”中,
命中:
1,996
条,耗时:小于0.01 秒
在所有数据库中总计命中:
6,803
条
1.
Confluence of Orthogonal Term
Rewriting
Systems in the Prototype Verification System
作者:
Ana Cristina Rocha-Oliveira
;
André Luiz Galdino…
关键词:
Term
rewriting
system
;
Confluence
;
Orthogonality
;
Left
;
linearity
;
Non
;
ambiguity
;
Critical pairs
;
Non
;
termination
刊名:Journal of Automated Reasoning
出版年:2017
2.
Constraint logic programming with a relational machine
作者:
Emilio Jesús Gallego Arias
;
James Lipton
;
Julio Mariño
关键词:
Logic programming
;
Constraint programming
;
Relation algebra
;
Rewriting
;
Semantics
刊名:Formal Aspects of Computing
出版年:2017
3.
Rewriting
P Systems with Flat-Splicing Rules
关键词:
Bio
;
inspired computing
;
Membrane computing
;
P system
;
Flat splicing
;
Chomsky hierarchy
刊名:Lecture Notes in Computer Science
出版年:2017
4.
An extended access control mechanism exploiting data dependencies
作者:
Davide Alberto Albertini
;
Barbara Carminati…
关键词:
Query
rewriting
;
Data dependencies
;
Functional dependencies
;
Discretionary access control
刊名:International Journal of Information Security
出版年:2017
5.
Privacy-Aware Data Sharing in a Tree-Based Categorical Clustering Algorithm
关键词:
Distributed clustering
;
Algebra
;
Rewriting
;
Formal methods
;
Privacy
刊名:Lecture Notes in Computer Science
出版年:2017
6.
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
7.
Relative Termination via Dependency Pairs
作者:
José Iborra
;
Naoki Nishida
;
Germán Vidal
;
Akihisa Yamada
关键词:
Term
rewriting
;
Dependency pairs
;
Termination
刊名:Journal of Automated Reasoning
出版年:2017
8.
Amalia Ziv: Explicit Utopias:
Rewriting
the Sexual in Women’s Pornography
作者:
Tzachi Zamir
刊名:Sexuality & Culture
出版年:2017
9.
Editorial:
Rewriting
Nuclear Physics textbooks: 30 years with radioactive ion beam physics
作者:
Nicolas Alamanos
;
Carlos Bertulani
;
Angela Bonaccorso…
刊名:The European Physical Journal Plus
出版年:2017
10.
Automatic query
rewriting
schemes for multitenant SaaS applications
作者:
Chun-Feng Liao
;
Kung Chen
;
Deik Hoong Tan
;
Jiu-Jye Chen
关键词:
Schema
;
mapping
;
SaaS
;
Query
rewriting
;
Multitenant
刊名:Automated Software Engineering
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(1996)
题名(584)
关键词(398)
文摘(1722)
按出版年细分(1996)
2017年(23)
2016年(86)
2015年(101)
2014年(118)
2013年(133)
2012年(161)
2011年(42)
2010年(104)
2009年(144)
2008年(130)
2007年(215)
2006年(223)
2005年(227)
2004年(47)
2003年(34)
2002年(84)
2001年(35)
2000年(25)
2000年及以前(64)
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
.