高级检索   注册
ISCAS OpenIR  > 软件所图书馆  > 2009年期刊/会议论文

浏览所有条目

按标题快速跳转
请选择题名首字母 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
输入前几个字母(或汉字)   
按发表日期快速跳转
日期跳转:
 
55条检索结果中的1-20条条目
条数/页:   其他排序方式:
题名作者发表日期▼ 全文
中国科学院软件研究所图书文献资源分布 [其他]软件所图书馆2009-6-6
基于PCI总线数据采集卡的实时测控技术 [期刊论文]孙业; 张鹏; 张哲; 梁敏2009
logic petri nets and equivalency [期刊论文]Du Y.Y.; Guo B.Q.2009
distribution of multi-words in chinese and english documents [期刊论文]Zhang Wen; Yoshida Taketoshi; Tang Xijin2009
cryptanalysis and improvement on a threshold proxy signature scheme [期刊论文]Tan Zuo-Wen; Liu Zhuo-Jun2009
periods of termwise exclusive ors of maximal length fcsr sequences [期刊论文]Tian Tian; Qi Wen-Feng2009
a petri net-based model for verification of obligations and accountability in cooperative systems [期刊论文]Du YuYue; Jiang ChangJun; Zhou MengChu2009
TPM接口命令标准符合性测试的设计与实现 [期刊论文]崔奇; 马楠; 刘贤刚2009
an algebra of quantum processes [期刊论文]Ying Mingsheng; Feng Yuan; Duan Runyao; Ji Zhengfeng2009
formal analysis and testing of trusted platform module [期刊论文]Chen Xiao-Feng2009
a parallel shortest path algorithm based on graph-partitioning and iterative correcting [期刊论文]Tang Yuxin; Zhang Yunquan; Chen Hu2009
contextual resource negotiation-based task allocation and load balancing in complex software systems [期刊论文]Jiang Yichuan; Jiang Jiuchuan2009
modeling and design for dynamic workflows based on flexible activities [期刊论文]Li Peng; Du Yuyue2009
adjoint code generator [期刊论文]Cheng Qiang; Cao JianWen; Wang Bin; Zhang HaiBin2009
computing most specific concept in description logic with transitive roles and existential restrictions [期刊论文]Jiang Yuncheng; Tang Suqin; Wang Ju; Zhou Shengming2009
enumerating proofs of positive formulae [期刊论文]Dowek Gilles; Jiang Ying2009
a genetic algorithm with gene rearrangement for k-means clustering [期刊论文]Chang Dong-Xia; Zhang Xian-Da; Zheng Chang-Wen2009
a process generation approach of dynamic workflows based description logics [期刊论文]Zhang Fu Xin; Du Yu Yue2009
computing most specific concept in description logic with n-ary existential quantifier [期刊论文]Jiang Yun-Cheng; Tang Su-Qin2009
ciphertext verification security of symmetric encryption schemes [期刊论文]Hu ZhenYu; Sun FuChun; Jiang JianChun2009

 

Valid XHTML 1.0! 版权所有 © 2007-2012  中国科学院软件研究所  -反馈
系统开发与技术支持:中国科学院国家科学图书馆兰州分馆(信息系统部)
本系统基于 MIT 和 Hewlett-Packard 的 DSpace 软件开发