语言学 共有5条记录
页码:1/1    每页显示:10 记录 跳转:
出版社:"北京航空航天大学出版社"
  • 正在加载图片,请稍后......

    单片机的C语言应用程序设计:马忠梅

    作者:马忠梅 出版社:北京航空航天大学出版社 出版时间:2007 ISBN:978-7-81077-972-2
    索书号:TP312C/7754/(4) 分类号:TP312C 页数:353页 价格:29.00
    复本数: 在馆数:
    累借天数: 累借次数:
    全书共分13章,既有单片机的基础部分,即Cx51的基础部分:数据与运算、流程控制语句、构造数据类型及函数与程序结构;又有Cx51的应用部分:内部资源、扩展资源、输出控制、数据采集、机间通信及人机交互的C编程。本书还对软件工程推崇的模块化编程技术有所阐述,还特别为实时控制的精确定时讲述与汇编语言的混合编程技术。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    单片机C语言编译器及其应用: 基于PIC18F系列:刘和平,郑群英,江渝

    作者:刘和平,郑群英,江渝 出版社:北京航空航天大学出版社 出版时间:2007 ISBN:978-7-81077-886-2
    索书号:TP312C/0221 分类号:TP312C 页数:10,339页 价格:32.00
    复本数: 在馆数:
    累借天数: 累借次数:
    本书介绍了PIC18F系列单片机的C语言及其编译器的使用方法,以及在使用C语言时可能遇到的一些特殊问题,并给出了相应的应用程序。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    SystemVerilog验证方法学:(美)伯杰龙Janick Bergeron, 夏宇闻

    作者:(美)伯杰龙Janick Bergeron, 夏宇闻 出版社:北京航空航天大学出版社 出版时间:2007 ISBN:978-7-81124-079-5
    索书号:TP312VH/2644 分类号:TP312VH 页数:467页 价格:58.00
    复本数: 在馆数:
    累借天数: 累借次数:
    本书涵盖了所有最新的验证技术,其中包括: 验证计划制定、TestBench架构、受约束随机激励产生、以覆盖率为主导的验证、基于断言的验证、形式化分析,以及基于一个开放、完善的方法学上的系统级验证。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    MATLAB基础与应用:张平

    作者:张平 出版社:北京航空航天大学出版社 出版时间:2007 ISBN:978-7-81124-112-9
    索书号:TP312MA/1210 分类号:TP312MA 页数:251页 价格:24.00
    复本数: 在馆数:
    累借天数: 累借次数:
    本书介绍MATLAB基本知识与运算规则。重点是控制与仿真的应用和图彤、图像编辑的内容,如矩阵运算、符号运算、图形功能、控制系统分析与设计、Simulink仿真及MATLAB与Simulink综合应用等。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    统一用例方法: UML与敏捷需求实践:张恂

    作者:张恂 出版社:北京航空航天大学出版社 出版时间:2020 ISBN:978-7-5124-2988-8
    索书号:TP312.8UM/1297 分类号:TP312.8UM 页数:304页 价格:79.00
    复本数: 在馆数:
    累借天数: 累借次数:
    本书重点介绍了通过采用基于统一建模语言(UML)和用例(Use Case)建模的“统一用例方去”,开展业务分析(包括业务流程与业务对象分析)与系统需求分析(以功能需求为主)的基本方去、流程、步骤与技术。通过可视化的UML图形(如用例图、活动图、序列图和类图等)与基于规范模板的用例交互脚本有机结合,既可以“化繁为简、抓住本质”,又能够保证产品需求描述具有足够的精准度,从而弥补传统敏捷开发仅采用用户故事的许多不足。
    详细信息
    索书号 展开
缩小检索范围
语言学 共有5条记录
页码:1/1    每页显示:10 记录 跳转: