沈恩绍著2003 年出版198 页ISBN：7030110471
21世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...
李学相，梁恒编著2012 年出版370 页ISBN：9787302273516
本书应结合Java技术详细讲解面向对象的软件工程原理和实践，应用“项目驱动”最新教学模式，通过完整的项目案例系统地介绍使用Java技术进行面向对象的分析设计等。...
谢冰等编著2008 年出版344 页ISBN：9787302173717
本书可分为两个部分，第一部分介绍软件资产管理，包括第1章至第6章，内容设计软件资产的描述、分类、存储、检索与维护的技术、方法和工具；第二部分介绍软件复用过程管理，包括第7章至第10章，内容涉及建立复用过程的....
武雪芳，班娅萌主编；王志娟，魏宏昌，李珩副主编；王茜，平金珍，赵月鹏参编2011 年出版176 页ISBN：9787300138886
本书按照国家程序员、高级程序员和程序设计师的职业标准要求编写。全书分为8章。第1章简明介绍传统软件工程的概念、技术、方法；第2章介绍UML的基本知识；第3章介绍如何利用UML为系统建模；第4章至第7章介绍如何...
袁瑞铭，王学伟，易忠林，丁恒春等编著2018 年出版137 页ISBN：9787519815981
本书系统阐述了高级计量架构的背景和意义，以及国内外研究发展现状，详细介绍了国际上较为典型的AMI实现方案和技术特点，结合智能电网建设中智能用电的要求提出了高级计量架构的结构框架和功能框架。着重介绍了A...
李兵等编2015 年出版242 页ISBN：9787030460066
本书是编者根据多年的教学与项目开发实践，。本书主要包括四个部分的内容Java编程基础、网页设计基础、Servlet及JSP、综合实例。本书内容系统、简明扼要，重点突出、深入浅出、易于阅读，充分体现了教学的适用性...
栾颖编著2014 年出版351 页ISBN：9787302380436
本书内容详尽，循序渐进。全书共分10章。介绍了Java的基础知识、Java常量与变量、类和对象、库的设计、接口和线程、集合与迭代、Java安全性编程、加密和解密、使用消息验证码、图形界面应用、容器嵌套类、事...
