中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [16]
计算机科学国家重点... [16]
信息安全国家重点实验... [3]
互联网软件技术实验室... [3]
基础软件国家工程研究... [2]
更多...
作者
王健 [1]
Content Type
会议论文 [30]
期刊论文 [9]
学位论文 [2]
Issued Date
2019 [1]
Language
英语 [16]
中文 [2]
Source
lecture no... [6]
proceeding... [2]
proceeding... [2]
beijing go... [1]
computers ... [1]
更多...
Project
Indexed
EI [24]
SCI [2]
其他 [2]
CNKI [1]
EI,SCIENCE... [1]
更多...
Spnsorship
acm siggra... [1]
acm siggra... [1]
acm specia... [1]
agreement ... [1]
assoc. com... [1]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 41)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Author Ascending
Author Descending
Title Ascending
Title Descending
Issue Date Ascending
Issue Date Descending
Submitted Time Ascending
Submitted Time Descending
一种新型形式化验证方法——理论与工具
[学位论文]
博士, 北京: 中国科学院研究生院, 2019-03-08
刘坚
  |  
Mining streams of short text for analysis of world-wide event evolutions
[期刊论文]
World Wide Web, 2014-01-01
Huang, Guangyan (1)
;
He, Jing (2)
;
Zhang, Yanchun (2)
;
Zhou, Wanlei (1)
;
Liu, Hai (3)
;
Zhang, Peng (2)
;
Ding, Zhiming (4)
;
You, Yue (5)
;
Cao, Jian (5)
Compressing large scale urban trajectory data
[会议论文]
4th International Workshop on Cloud Data and Platforms, CloudDP 2014, Amsterdam, Netherlands, April 13, 2014 - April 13, 2014
Liu, Kuien (1)
;
Li, Yaguang (1)
;
Dai, Jian (1)
;
Shang, Shuo (2)
;
Zheng, Kai (3)
Animating turbulent water by vortex shedding in PIC/FLIP
[期刊论文]
Science China Information Sciences, 2013-01-01, 卷号: 56, 期号: 3, 页码: 1-11
Zhu, Jian (1)
;
Liu, YouQuan (3)
;
Chang, YuanZhang (1)
;
Wu, EnHua (1)
Developing a real-time inference approach for rule-based reasoning systems
[会议论文]
2013 Research in Adaptive and Convergent Systems, RACS 2013, Montreal, QC, Canada, October 1, 2013 - October 4, 2013
Qiao, Ying (1)
;
Leng, Chang (1)
;
Wang, Hongan (1)
;
Liu, Jian (2)
efficient public key cryptosystem resilient to key leakage chosen ciphertext attacks
[会议论文]
Cryptographers' Track at the RSA Conference 2013, CT-RSA 2013, San Francisco, CA, United states, February 25, 2013 - March 1, 2013
Liu Shengli
;
Weng Jian
;
Zhao Yunlei
fpga-based trusted platform module attack
[期刊论文]
Beijing Gongye Daxue Xuebao/Journal of Beijing University of Technology, 2013-01-01, 卷号: 39, 期号: 1, 页码: 70-75
Li Jian-Jun
;
Fang Juan
;
Ji Qi
;
Liu Peng
;
Mao Jun-Jie
;
Lin Li
;
Jiang Wei
combinatorial testing on id3v2 tags of mp3 files
[会议论文]
5th IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17, 2012 - April 21, 2012
Zhang Zhiqiang
;
Liu Xiaojian
;
Zhang Jian
an extended transaction model based on thp protocol
[期刊论文]
International Review on Computers and Software, 2012-01-01, 卷号: 7, 期号: 5, 页码: 2466-2471
Liu Hai
;
Chen Jian
;
Zhang Jianwei
;
Deng Pan
;
Ma Shilong
mobility prediciton clustering routing in uavs
[会议论文]
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Shu Jian
;
Ge Yangfan
;
Liu Linlan
;
Sun Limin
1
2
3
4
5
next
Copyright © 2007-2022
中国科学院软件研究所
-
Feedback
Powered by
CSpace