学习指导与题典. 高级语言程序设计.pdf 本书与指定教材的章节一一对应,内容有导学,重点、难点、知识点精析,题型解析,练习题和参考题答案。 叁号仓库 2022年07月15日 0 点赞 0 评论 1360 浏览
高级语言程序设计 : C语言描述.pdf 本书内容涉及C程序设计基础,数据类型、运算符和表达式,结构化程序设计,数组、指针,函数,结构体类型、文件等。 叁号仓库 2022年07月19日 0 点赞 0 评论 4679 浏览
高级语言及算法设计实验教程.pdf 本书整合了高级语言、数据结构与算法以及计算机图形算法基础三门实验课程内容,并充分考虑课程知识体系的内在联系和地理信息科学专业特点,设计了22 个实验。主要内容包括:高级语言基础实验系列(实验1~9),主要介绍开发环境、数据类型、语法基础、流程控制、面向对象基础等;高级语言深度 叁号仓库 2022年07月19日 0 点赞 0 评论 3181 浏览
高级语言程序设计Visual Basic实训.pdf 本书包括实验篇和习题篇。实验篇是根据教程中知识点精心设计的上机实验内容,并设有综合实验部分,要求学生通过完善程序代码后,经过调试运行实现程序功能;习题篇中的知识要点对主教材知识点进行概括,实战测试给出主教材中相应章节的测试题,并在答案与解析中给出参考答案。 叁号仓库 2022年09月28日 0 点赞 0 评论 6949 浏览
高级语言程序设计Visual Basic.pdf 本书介绍了Visual Basic 6.0可视化程序环境下的编程方法、窗体和控件的使用、常用事件和方法、程序结构及基本算法、过程和数组。 叁号仓库 2022年09月28日 0 点赞 0 评论 2755 浏览
高级语言程序变换的机械化证明导论 何炎祥,江南 著.pdf 随着现代社会信息化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性,从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术,分析比较各类主流证明助手的设计特点,重点讨论在编译器验证领域取得的重要研究成果,并以实例详 叁号仓库 2024年02月20日 0 点赞 0 评论 5221 浏览