程序设计方法学 【工业技术】

本书主要介绍了程序设计方法学这一学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序开线推导、程序变换技术等。...

化工压力容器设计：方法、问题和要点 【工业技术】

本书针对压力容器设计中的问题，从设计基础、设计理论、选材要求、结构设计四个主题。

桂苑诗词 书法手稿影印本 【文学】

江流如镜 游川诗手稿选集 【文学】

设计方法学 【工业技术】

本书供机械工程类个专业本科生学习使用，书中详细讲解了设计理论、方法，又辅之以必要的设计实例。本书内容包括两大部分：论述了设计方法学的范围、设计进程和基本设计方法；结合实例讲解了机械产品设计的设计方法...

豪风酒店 A 酒店前厅制服 【工业技术】

黏滞阻尼减震结构分析及设计方法 【数理化】

本书主要研究了设置黏滞阻尼器的减震结构的特性、分析方法和设计方法，形成了一套比较完整可行的减震结构的分析和设计理论。将抗震设防目标分为A、B、C三种，并讨论了与之对应的设计阶段和构造措施。...

现代酒店管理实用全书 酒店从业人员必务管理工具手册 【经济】

面向Agent的软件设计开发方法 【工业技术】

本书主要介绍面向Agent的软件设计开放方法。共分三部分：第一部分介绍软件设计概念和简介；第二部分介绍基于Agent的软件设计方法学（即Gaia, Tropos和MaSE），此外，还介绍其他四种方法（即ADELFE, MESSAGE和Promotheus）...

Java程序设计 一种跨学科的方法 英文 【工业技术】

本书根据学习编程的四个阶段（基本元素、函数、面向对象程序设计、算法和数据结构）来组织。本书示例丰富，涉及了Java在各种学科之中的应用，具有很高的参考价值。...