钟雁主编2006 年出版250 页ISBN：7810827251
本书共分11章，第一章是绪论，第二～十一章 是各学生小组在亲自开发管理信息系统中撰写的分析和设计报告，每一章都有编者的分析和点评，指出问题的所在，分析问题的原因，以及如何改正这些问题，清晰明了，有利于学生......
潘迎珍主编2006 年出版145 页ISBN：7227032469
本书介绍了三北防护林体系建设监测管理信息系统建设的技术路线和方案，展示了项目所取得的主要成果以及成果在生产管理中的应用情况，供科研、教学和生产单位参考。...
张耀武主编；徐涛，丁璐，李星副主编2012 年出版179 页ISBN：9787514114133
本书共分十章，具体包括：会计信息系统概述、会计软件概述、总账系统、报表系统、工资系统、固定资产系统、应收／应付系统、财务分析系统、资金管理系统、计算机审计与会计信息系统的内部控制。适用于本科经济管...
乔鹏，杨宝刚主编2003 年出版355 页ISBN：7030117727
本书结合审计、财政、税务及其他经济监督部门业务信息化需要，从工作实务的角度详细剖析企业信息系统的原理，介绍信息化环境下审计业务人员需要掌握的必要知识和操作技能，以及计算机审计工作的方法和具体工作过...
张维明等著2011 年出版369 页ISBN：9787118071832
本著作系统地阐述了军事信息系统需求工程的方法、技术及其应用，首先介绍军事信息系统需求工程的基本概念及总体框架，然后从军事信息系统需求获取、需求建模、需求验证和需求管理等需求工程的若干关键节点介绍...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
刘永主编；付永华，常金玲副主编2012 年出版231 页ISBN：9787512338043
本书为普通高等教育“十二五”规划教材。本书具有以下特点：体系清晰，理论与实践并重——教材按照结构化思想，以信息系统周期为主线，结构合理，系统性强，且辅以具体实例，图形化展示流程；重点突出，便于教学与自......
汤婵娟，孟琦著2017 年出版105 页ISBN：9787510861277
这是一部关于会计信息系统研究的学术专著。本书迎合会计与信息技术融合的趋势，对会计信息系统的基础理论知识进行了深入地剖析，简单介绍了信息、系统、信息系统以及会计信息系统的相关知识，尤其对会计信息系统...
