首页> 中文期刊> 《纺织高校基础科学学报》 >汇编语言中有符号数溢出的证明

汇编语言中有符号数溢出的证明

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

研究了汇编语言中关于有符号二进制数溢出问题,并给出了准确的证明.通过证明过程,使人们能够更加深刻的领会计算机的最底层的运算过程,从而能够灵活的操控计算机.

著录项

来源
《纺织高校基础科学学报》 |2005年第1期|87-8993|共4页
作者
张建国; 王元; 徐筑; 魏国瑞;
展开▼
作者单位

西安建筑科技大学;

理学院;

陕西;

西安;

710055;

西安建筑科技大学;

环境与市政工程学院;

陕西;

西安;

710055;

西安建筑科技大学;

理学院;

陕西;

西安;

710055;

西安建筑科技大学;

理学院;

陕西;

西安;

710055;

展开▼
原文格式 PDF
正文语种 chi
中图分类形式语言理论;
关键词
溢出; 补数; 绝对值; 汇编语言;

相似文献

中文文献
外文文献
专利

1. 一个经过证明的类型化汇编语言的类型检查器 [J] . 郭宇 ,陈意云 ,华保健 . 小型微型计算机系统 . 2008,第007期
2. 比较法视野中的定罪事实与量刑事实之证明——严格证明与自由证明的具体运用 [J] . 康怀宇 . 四川大学学报（哲学社会科学版） . 2009,第002期
3. 客观证明与情理推断--诉讼证明标准视野中的证明方法比较 [J] . 周洪波 . 江海学刊 . 2006,第002期
4. 国际民事诉讼中的证明责任问题--兼评最高人民法院《关于民事诉讼证据的若干规定》证明责任规范在涉外案件中的适用 [J] . 杨旭 ,苏晓军 . 学术探索 . 2004,第012期
5. 在C—dBASEIII中调用Intel8086／8088汇编语言及在汇编中实现交互运行 [J] . 左茹 . 武汉自动化 . 1989,第001期
6. 汇编语言课程在培养信息安全人才中的作用探讨 [C] . 李晓东 . 2010年全国密码学与信息安全教学研讨会 . 2010
7. 论证明责任契约——以《合同法》中的证明责任规范为分析对象 [A] . 毛金玲 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号