水电站加劲压力钢管及厂坝联结形式优化 【工业技术】

纳米科技创新方法研究 【工业技术】

《纳米科学与技术》围绕国家在纳米科技领域的整体布局，紧密结合国家纳米科技重大专项为代表的国家在纳米技术领域的重大、重点项目，论述了纳米科技在纳米生物与医药、纳米结构分析测试与标准、纳米材料制备与...

形式化方法导论 【工业技术】

鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...

中国好设计 制造装备创新设计案例研究 【工业技术】

本书以数控机床、空气分离装备、注塑装备、3D打印装备、无模铸造精密成型装备、制造业服务装备为研究对象，每一类制造装备按创新设计需求、关键技术和应用效果的逻辑思路编排，行业覆盖范围广，技术代表性强，创新...

苏联居住和民用建筑的组织形式及其主要发展情况 【工业技术】

C语言程序设计的现代方法研究 【工业技术】

本书从应用出发，系统地介绍了C语言程序设计的现代方法，并进行了深入的研究，其主要内容包括绪论、C语言数据类型与运算分析、C语言控制结构程计、利用数组实现批量数据处理、利用函数实现模块化程序设计、利用...

语音与语言处理 自然语言处理、计算语言学和语音识别导论 英文版 【工业技术】

本书全面系统地介绍了计算机自然语言处理。全书分为5个部分，共21章，深入细致地探讨了计算机处理自然语言的词汇、语法、语义、语用等各个方面的问题，介绍了自然语言处理的各种现代技术。...

知识工程语言与应用 【工业技术】

BASIC语言与操作 【工业技术】

培基语言与应用设计 【工业技术】