计算机学报-2009年09期-知网空间

注册 | 登录 | 我的账户

基础科学|工程科技I辑|工程科技II辑|医药卫生科技|信息科技|农业科技|哲学与人文科学|社会科学I辑|社会科学II辑|经济管理

问答

个人查重>> 个人AIGC检测>>

当前位置：期刊导航 >信息科技 >Code > 计算机学报

计算机学报

Chinese Journal of Computers

主办：中国计算机学会;中国科学院计算技术研究所

周期：月刊

出版地：北京市

语种：中文;

开本：大16开

ISSN 0254-4164

CN 11-1826/TP

邮发代号 2-833

创刊年：1978

ASPT来源刊

中国期刊方阵来源刊

中文核心期刊(1992)

中文核心期刊(1996)

中文核心期刊(2000)

中文核心期刊(2004)

中文核心期刊(2008)

中文核心期刊(2011)

中文核心期刊(2014)

中文核心期刊(2017)

中国期刊网来源刊

	更多往期阅读本刊
	计算机学报 2009年09期

目录
	《软件分析》专辑前言		梅宏;王戟;
	软件分析技术进展		梅宏;王千祥;张路;王戟;
	软件网络的多粒度拓扑特性分析及其应用		韩言妮;李德毅;陈桂生;
	激进域敏感基于合并的指针分析		于洪涛;张兆庆;
	基于常微分方程的死锁检测实验分析		丁佐华;江明月;刘静;
	基于路径分析的死循环检测		阮辉;严俊;张健;
	面向基于场景规约的Web服务消息流分析与验证		杨璐;柳溪;王林章;陈鑫;李宣东;
	基于层次状态机的方面化特征模块的增量式验证		叶俊;谭庆平;李暾;徐建军;
	一种软件体系结构关注点分析方法		张琳琳;应时;倪友聪;赵楷;文静;
	基于源代码静态分析的C++0x泛型概念抽取		陈林;徐宝文;
	一种Java遗留系统服务化切分和封装方法		李翔;怀进鹏;曾晋;高鹏;
	Web服务组合动态演化的实例可迁移性		宋巍;马晓星;吕建;
	一种基于模糊概念格和代码分析的软件演化分析方法		许佳卿;彭鑫;赵文耘;
	一种多项式时间的路径敏感的污点分析方法		李佳静;王铁磊;韦韬;凤旺森;邹维;
	多线程Java程序安全行为模型的静态检查方法		金英;李泽鹏;张晶;刘磊;
	源程序级和算法级嵌入式软件功耗特性的分析与优化方法研究		罗刚;郭兵;沈艳;廖海艳;任磊;
	基于CSP的构件化嵌入式软件能耗分析与评估方法研究		张滕滕;吴晓;李长德;董云卫;
	《计算机学报》征稿简则

计算机学报2009年各期：

[01] [02] [03] [04] [05] [06] [07] [08] [10] [12] [11]

计算机学报其它年：

[2025] [2024] [2023] [2022] [2021] [2020] [2019] [2018] [2017] [2016] [2015] [2014] [2013] [2012] [2011] [2010] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1994] [1993] [1992] [1991] [1990] [1989] [1988] [1987] [1986] [1985] [1984] [1983] [1982] [1981] [1980] [1979] [1978]

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南