设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(3)
ProQuest学位论文(2)
ACS电子期刊(1)
SpringerLink电子期刊(14)
Elsevier电子期刊(36)
在“
SpringerLink电子期刊
”中,
命中:
14
条,耗时:小于0.01 秒
在所有数据库中总计命中:
56
条
1.
All
\(M_{2}\)
-Equi
coverable
Graphs
作者:
Yuqin Zhang
;
Fan Wu
;
Liandi Zhang
关键词:H ;
covering
H ;
coverable
H ;
equi
coverable
;
matching
刊名:Graphs and Combinatorics
出版年:2017
2.
Causality in Bounded Petri Nets is MSO Definable
关键词:
Partial order behaviour of Petri nets
;
Monadic second order logic
;
Recognizability
;
Definability
刊名:Lecture Notes in Computer Science
出版年:2016
3.
2-Disjoint-path-
coverable
panconnectedness of crossed cubes
作者:
Hon-Chan Chen
;
Tzu-Liang Kung
;
Li-Yen Hsu
关键词:
Disjoint path cover
;
Panconnectedness
;
Connectivity
;
Crossed cube
;
Interconnection network
刊名:The Journal of Supercomputing
出版年:2015
4.
Coverability in Two Dimensions
作者:
Guilhem Gamard (17)
Gwena毛l Richomme (17) (18)
关键词:
Combinatorics on words
;
Patterns
刊名:Lecture Notes in Computer Science
出版年:2015
5.
Convex Polygons are Self-
Coverable
作者:
Balázs Keszegh (1)
D?m?t?r Pálv?lgyi (1)
关键词:
Cover
;
decomposability
;
Geometric hypergraph coloring
;
Polychromatic coloring
刊名:Discrete and Computational Geometry
出版年:2014
6.
Coverage Aware Scheduling in Wireless Sensor Networks: An Optimal Placement Approach
作者:
Shahram Jamali
;
Mahdi Hatami
关键词:
Area coverage
;
Scheduling sensor activity
;
Network lifetime
刊名:Wireless Personal Communications
出版年:2015
7.
Efficient Coverability Analysis by Proof Minimization
作者:
Alexander Kaiser (1)
Daniel Kroening (1)
Thomas Wahl (2)
刊名:Lecture Notes in Computer Science
出版年:2012
8.
Efficient Coverability Analysis by Proof Minimization
作者:
Alexander Kaiser (18)
Daniel Kroening (18)
Thomas Wahl (19)
刊名:Lecture Notes in Computer Science
出版年:2012
9.
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports
作者:
Tim Blackmore (1) Tim.Blackmore@infineon.com
David Halliwell (1) David.Halliwell@infineon.com
Philip Barker (1) Philip.Barker@infineon.com
Kerstin Eder (2) Kerstin.Eder@bristol.ac.uk
Naresh Ramaram (2)
刊名:Lecture Notes in Computer Science
出版年:2012
10.
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports
作者:
Tim Blackmore (19)
David Halliwell (19)
Philip Barker (19)
Kerstin Eder (20)
Naresh Ramaram (20)
刊名:Lecture Notes in Computer Science
出版年:2012
1
2
按检索点细分(14)
题名(2)
关键词(1)
文摘(12)
按出版年细分(14)
2017年(1)
2016年(1)
2015年(3)
2014年(1)
2012年(4)
2010年(1)
2009年(1)
2000年及以前(2)
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
.