计算机科学技术学报 ›› 2020,Vol. 35 ›› Issue (3): 491-492.doi: 10.1007/s11390-020-0004-6

• Special Section of CVM 2020 •    下一篇

  

  • 出版日期:2020-05-28 发布日期:2020-05-28

Preface

  • Online:2020-05-28 Published:2020-05-28
No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 陆奇; 张福波; 钱家骅;. Program Slicing:Its Improved Algorithm and Application in Verification[J]. , 1988, 3(1): 29 -39 .
[2] 徐洁; 李庆南; 黄世泽; 徐江峰;. DFTSNA:A Distributed Fault-Tolerant Shipboard System[J]. , 1990, 5(2): 109 -116 .
[3] 许志明;. Discrete Interpolation Surface[J]. , 1990, 5(4): 329 -332 .
[4] 沈绪榜; 马光悌; 陈岚;. An Inference Microprocessor Design[J]. , 1991, 6(3): 209 -213 .
[5] I.V.Vel bitsky; A.L.Kovalev; I.V.Kasatkina; 王镭;. R-Technology of Programming: Basic Notions and Implementation[J]. , 1992, 7(4): 345 -355 .
[6] Andrew I. Adamatzky;. Identification of Nonstationary Cellular Automata[J]. , 1992, 7(4): 379 -382 .
[7] $Hock C. Chan;. Translational Semantics for a Conceptual Level Query Language[J]. , 1995, 10(2): 175 -187 .
[8] 聂旭民; 郭青;. Renaming a Set of Non-Horn Clauses[J]. , 2000, 15(5): 409 -415 .
[9] . 水稻基因组中预测基因的程序评估及测试数据集[J]. , 2005, 20(4): 446 -453 .
[10] . 量子信息论中的若干问题[J]. , 2006, 21(5): 776 -789 .
版权所有 © 《计算机科学技术学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn
总访问量: