书目查询

基于环境的软件近似正确性:马艳芳

作者：马艳芳 出版社：中国科学技术大学出版社 出版时间：20170101 ISBN：978-7-312-04102-0
索书号：TP311.1/172 分类号：TP311.1 页数：132页 价格：CNY24.00

复本数：在馆数：
累借天数：累借次数：

本书基于进程代数理论中的通信系统演算 (CCS) 模型对软件的近似正确性进行了形式化描述和度量。从接受和拒绝环境角度, 以参数化互模拟和三分之二互模拟为基础, 建立了参数化互模拟和三分之二互模拟的无限演化理论及拓扑理论, 建立了近似的参数化互模拟和近似的三分之二互模拟理论。

详细信息
索书号展开

传感器与检测技术实验指导:胡波, 王欢, 王雪丽

作者：胡波, 王欢, 王雪丽 出版社：中国科学技术大学出版社 出版时间：20170101 ISBN：978-7-312-04105-1
索书号：TP212/413 分类号：TP212 页数：146页 价格：CNY22.00

复本数：在馆数：
累借天数：累借次数：

本书是应用型本科院校课程“传感器与检测技术”的实验教材。书中的实验项目结合院校的实际仪器设备,侧重于对学生实践操作能力和综合设计能力的培养,具有较强的可操作性和通用性。全书用简明的语言阐述了传感器的工作原理,减少了对原理中复杂公式的推导,增强了实用性,能使读者结合实际即学即用。

详细信息
索书号展开

网页设计与制作:张季谦, 仲志平, 王再见

作者：张季谦, 仲志平, 王再见 出版社：中国科学技术大学出版社 出版时间：20170101 ISBN：978-7-312-04135-8
索书号：TP393.092.2/35\2 分类号：TP393.092.2 页数：259页 价格：CNY36.00

复本数：在馆数：
累借天数：累借次数：

本书是一本按照高等院校网页设计与制作教学大纲的要求编写的基础教程。详细介绍了网页设计和制作的过程。全书分为9章, 内容涵盖了常用软件、工具和技术的基本知识, 以及各种方法和技巧。

详细信息
索书号展开

英语构词简析: 奇思妙想串单词:徐汪华, 徐方兴

作者：徐汪华, 徐方兴 出版社：中国科学技术大学出版社 出版时间：20170101 ISBN：978-7-312-04177-8
索书号：H314.1/4 分类号：H314.1 页数：437页 价格：CNY36.00

复本数：在馆数：
累借天数：累借次数：

本书旨在帮助读者如何运用简单、熟悉的事物 (单词和象形等) 来记住复杂、陌生的英语单词。本书记忆法包括词形法、词义法、形义法、加减法、加合法、缩合法、插入法、颠倒法、换元法、拼音法、综合法等。

详细信息
索书号展开

Linux操作系统:程和侠, 程和生

作者：程和侠, 程和生 出版社：中国科学技术大学出版社 出版时间：20170101 ISBN：978-7-312-04065-8
索书号：TP316.89/350 分类号：TP316.89 页数：xii, 296页 价格：CNY45.00
丛书：普通高校计算机类应用型本科系列规划教材
复本数：在馆数：
累借天数：累借次数：

本书以目前成熟的Red Hat EnterpriseLinux 4的社区版本CentOS4为平台, 从实用的角度, 系统讲解Linux的系统管理与网络应用技术。在内容安排上, 淡化理论, 注重CentOS4实践操作技能的培养, 整体内容衔接有序、深入浅出, 并大量引入实例、图片, 精确、细致描述操作过程。全书共分15章: Linux系统安装; Linux系统配置; Linux基本操作; 磁盘与文件系统; vim编辑器与gccJava编程; 用户账号管理; 服务进程和计划管理; 软件包管理; Shell脚本; 过滤器; 服务器运维; 数据库服务器运维; PHP服务器运维; Tomcat服务器运维。

详细信息
索书号展开

基于顾客选择行为的产品设计策略研究:

作者：出版社：中国科学技术大学出版社 出版时间：20170101 ISBN：978-7-312-04089-4
索书号：TB472/409 分类号：TB472 页数：139页 价格：CNY35.00
丛书：博士论丛
复本数：在馆数：
累借天数：累借次数：

本书内容包括：绪论；基于SVM的顾客需求市场细分；考虑顾客选择行为的基于通用件的产品设计策略；随即需求下基于通用件的产品设计策略等。

详细信息
索书号展开

数据库原理及应用:梁宝华, 张冲

作者：梁宝华, 张冲 出版社：中国科学技术大学出版社 出版时间：20170101 ISBN：978-7-312-04122-8
索书号：TP311.13/501 分类号：TP311.13 页数：258页 价格：CNY40.00
丛书：普通高校计算机类应用型本科系列规划教材
复本数：在馆数：
累借天数：累借次数：

本书系统全面地阐述了数据库系统的基础理论、基本技术及基本使用方法。分4个部分进行展开: 第一部分为基础理论, 包括绪论、关系数据库、关系数据库语言 (SQL)、数据库的完整性及安全性4章; 第二部分为应用开发, 包括关系规范化理论、数据库设计过程、存储过程3章; 第三部分为系统规划编, 包括备份和恢复、数据库并发2章; 第四部分为扩展篇, 包括数据库技术新进展1章。

详细信息
索书号展开

Visual Basic程序设计实验与考试指导:陆奎, 殷晓波

作者：陆奎, 殷晓波 出版社：中国科学技术大学出版社 出版时间：20170101 ISBN：978-7-312-04127-3
索书号：TP312VB/508 分类号：TP312VB 页数：205页 价格：CNY28.00

复本数：在馆数：
累借天数：累借次数：

本书共分为三大部分：上机实验，包括根据主教材知识点配套设计的10组基本实验和2个综合实训，共38个实验项目；考试指导与上机模拟，包括考试大纲、样卷及具体解答；主教材习题解答，包括主教材各章的习题及参考答案。

详细信息
索书号展开

固体废弃物资源化工程设计概论:刘银

作者：刘银出版社：中国科学技术大学出版社 出版时间：20170101 ISBN：978-7-312-04097-9
索书号：X705/111 分类号：X705 页数：154页 价格：CNY32.00
丛书：资源循环科学与工程专业规划教材
复本数：在馆数：
累借天数：累借次数：

本书共八章, 以工艺设计为主, 阐述了固体废弃物资源化现状、工程设计的前期工作、典型大宗固体废弃物 (煤矸石、粉煤灰、废旧高分子、城市生活垃圾) 资源化工艺及设备、工程设计所需的其他专业知识、工程概算与技术经济分析。

详细信息
索书号展开

计算机网络:帅小应, 胡为成

作者：帅小应, 胡为成 出版社：中国科学技术大学出版社 出版时间：20170101 ISBN：978-7-312-04079-5
索书号：TP393/954 分类号：TP393 页数：244页 价格：CNY34.00
丛书：普通高校计算机类应用型本科系列规划教材
复本数：在馆数：
累借天数：累借次数：

本书按照网络协议分层 (应用层、运输层、网络层、数据链路层、物理层) 系统地介绍了计算机网络的基本原理, 并结合Internet及计算机网络的热点应用给出了大量的应用实例。本书在讲述每章内容的同时, 还与时俱进地引入了最新的网络技术, 如无线网络, 并安排了相应的实验。另外, 针对当前网络应用中的安全与管理问题, 本书最后一章对计算机网络的安全与管理的基本知识与实际技术进行了阐述。本书层次清晰, 内容全面系统, 图文并茂, 注重理论与实践的结合。在阐述基本原理和基本概念的同时, 强调计算机网络技术的实际应用与计算机网络方面的一些新进展。

详细信息
索书号展开

缩小检索范围

基于环境的软件近似正确性:马艳芳

传感器与检测技术实验指导:胡波, 王欢, 王雪丽

网页设计与制作:张季谦, 仲志平, 王再见

英语构词简析: 奇思妙想串单词:徐汪华, 徐方兴

Linux操作系统:程和侠, 程和生

基于顾客选择行为的产品设计策略研究:

数据库原理及应用:梁宝华, 张冲

Visual Basic程序设计实验与考试指导:陆奎, 殷晓波

固体废弃物资源化工程设计概论:刘银

计算机网络:帅小应, 胡为成