设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(25)
馆藏书目(20)
综合电子资源(1)
CNKI期刊论文0611(96)
中国地质文献-英文(59)
地学标准(1)
万方学术会议(132)
知网期刊论文(21415)
中国地质文献-中文(171)
Springer电子图书(33)
CNKI会议论文(67)
超星电子图书(1)
馆藏期刊(90)
院士团队服务(1)
CNKI学位论文(13147)
万方学位论文(331)
在“
Springer电子图书
”中,
命中:
33
条,耗时:小于0.01 秒
在所有数据库中总计命中:
35,590
条
1.
Abstract reduction in directed model checking
CCS
processes
ContentType:Journal Article
Publisher:
Springer Berlin / Heidelberg
Author:
Antonella Santone
;
Gigliola Vaglini
2.
A logic for the specification and proof of regular controllable processes of
CCS
ContentType:Journal Article
Publisher:
Springer Berlin / Heidelberg
Author:
Susanne Graf
;
Joseph Sifakis
3.
Proving finiteness of
CCS
processes by non-standard semantics
ContentType:Journal Article
Publisher:
Springer Berlin / Heidelberg
Author:
Nicoletta De Francesco
;
Paola Inverardi
4.
A distributed operational semantics for
CCS
based on condition/event systems
ContentType:Journal Article
Publisher:
Springer Berlin / Heidelberg
Author:
Pierpaolo Degano
;
Rocco De Nicola
;
Ugo Montanari
5.
Projections of annual mean air temperature and precipitation over the globe and in China during the 21st century by the BCC Climate System Model BCC_CSM1.0
ContentType:Journal Article
Publisher:
The Chinese Meteorological Society
;
co-published with Springer
Author:
Li Zhang
;
Tongwen Wu
;
Xiaoge Xin
;
Min Dong
;
Zaizhi Wang
6.
Advances in Networks and Communications
ContentType:Book
Publisher:
Springer Berlin Heidelberg
Author:
Natarajan Meghanathan
;
Brajesh Kumar Kaushik
;
Dhinaharan Nagamalai
7.
Advances in Computer Science and Information Technology
ContentType:Book
Publisher:
Springer Berlin Heidelberg
Author:
Natarajan Meghanathan
;
Brajesh Kumar Kaushik
;
Dhinaharan Nagamalai
8.
Technical Fixes Under Surveillance –
CCS
and Lessons Learned from the Governance of Long-Term Radioactive Waste Management
ContentType:Book Chapter
Publisher:
Springer Netherlands
Author:
Daniel Spreng
;
Thomas Flüeler
;
David L. Goldblatt
;
Jürg Minsch
9.
Research on the Authenticated Encryption Technology in
CCS
DS
ContentType:Book Chapter
Publisher:
Springer Berlin Heidelberg
Author:
Dehuai Zeng
10.
Advances in Computer Science and Information Technology. Networks and Communications
ContentType:Book
Publisher:
Springer Berlin Heidelberg
Author:
Natarajan Meghanathan
;
Nabendu Chaki
;
Dhinaharan Nagamalai
1
2
3
4
按检索点细分(33)
Name(19)
Subtitle(14)
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
.