2. 您的位置
3. 首页
4. 学位论文
5. 程序变量数值性质的抽象解释方法研究与实现

程序变量数值性质的抽象解释方法研究与实现

来源 :南京航空航天大学 | 被引量 : 0次 | 上传用户：leng159461

【作 者】

：

陆陈 

【出 处】

：

南京航空航天大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于双DCT4×4块的H.264视频隐写算法研究

学位

基于Gabor和分形理论的高速图像压缩算法的研究与实现

学位

流复制技术在省级地税数据分发中的应用

学位

面向属性发现的协同迭代搜索系统研究与实现

学位

城市社区文化建设机制创新思考——基于浙江省多案例比较研究

学位

基于动态信息验证的数字版权管理系统设计与实现

学位

邮政储蓄信贷管理系统设计与实现

学位

资源受限条件下的红外图像预处理FPGA实现

学位

医务助手系统的设计与开发

学位

基于内容的图像检索算法研究

学位