设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(100)
在“
SpringerLink电子期刊
”中,
命中:
100
条,耗时:小于0.01 秒
在所有数据库中总计命中:
100
条
1.
Integration of next-generation sequencing in clinical diagnostic molecular pathology laboratories for analysis of solid tumours; an expert opinion on behalf of IQN Path ASBL
作者:
Zandra C Deans
;
Jose Luis Costa
;
Ian Cree
;
Els
Deque
ker
;
Anders Edsjö…
关键词:
Next
;
generation sequencing
;
Best practice
;
Molecular pathology
;
Solid tumours
;
Quality
刊名:Virchows Archiv
出版年:2017
2.
A Mechanized Refinement Proof of the Chase-Lev
Deque
Using a Proof System
关键词:
Chase
;
Lev
deque
;
Owicki
;
Gries method
;
Reduction
;
Abstraction
;
Refinement
;
Linearizability
;
Static verification
刊名:Lecture Notes in Computer Science
出版年:2016
3.
The Mathematical Model and the Problem of Optimal Partitioning of Shared Memory for Work-Stealing
Deque
s
关键词:
Work
;
stealing
;
Deque
s
;
Data structures
;
Markov chains
;
Random walks
刊名:Lecture Notes in Computer Science
出版年:2015
4.
Endorsing good quality assurance practices in molecular pathology: risks and recommendations for diagnostic laboratories and external quality assessment providers
作者:
Lien Tembuyser
;
Elisabeth M. C.
Deque
ker
关键词:
Quality assurance
;
Diagnostic testing
;
External quality assessment
;
Molecular pathology
;
Biological markers
;
Individualized medicine
刊名:Virchows Archiv
出版年:2016
5.
Lace: Non-blocking Split
Deque
for Work-Stealing
作者:
Tom van Dijk (34)
Jaco C. van de Pol (34)
关键词:
work
;
stealing
;
task
;
based parallelism
;
dynamic load balancing
;
lock
;
free algorithm
;
non
;
blocking
deque
刊名:Lecture Notes in Computer Science
出版年:2014
6.
The computability of relaxed data structures: queues and stacks as examples
作者:
Nir Shavit
;
Gadi Taubenfeld
关键词:
Relaxed data structure
;
Consensus number
;
Synchronization
;
Wait
;
freedom
;
Queue
;
Stack
;
Multiset
k ;
register
刊名:Distributed Computing
出版年:2016
7.
Greedy Is an Almost Optimal
Deque
刊名:Lecture Notes in Computer Science
出版年:2015
8.
A Portable Lock-Free Bounded Queue
刊名:Lecture Notes in Computer Science
出版年:2016
9.
The Computability of Relaxed Data Structures: Queues and Stacks as Examples
关键词:
Relaxed data structure
;
consensus number
;
synchronization
;
wait
;
freedom
;
queue
;
stack
;
multiset
刊名:Lecture Notes in Computer Science
出版年:2015
10.
Characterizing Planarity by the Splittable
Deque
作者:
Christopher Auer (18)
Franz J. Brandenburg (18)
Andreas Glei?ner (18)
Kathrin Hanauer (18)
刊名:Lecture Notes in Computer Science
出版年:2013
1
2
3
4
5
6
7
8
9
按检索点细分(100)
题名(12)
作者(63)
关键词(6)
文摘(33)
按出版年细分(100)
2017年(1)
2016年(4)
2015年(3)
2014年(4)
2013年(6)
2012年(4)
2011年(1)
2010年(6)
2009年(1)
2008年(7)
2007年(8)
2006年(7)
2005年(6)
2004年(1)
2003年(4)
2002年(2)
2001年(4)
2000年(15)
2000年及以前(16)
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
.