石海鹤著2014 年出版82 页ISBN：9787549324231
本书包含引言、形式化软件开发方法概述、Apla->Java自动程序转换系统介绍、对原有系统的重构及改进、泛型机制在Apla->Java自动程序转换系统中的实现、结束语等章节。本书选取Java语言作为程序自动转换系统...
审计学 基于环境变化的概念 concepts for a changing environment 英文版
Larry E. Rittenberg，Bradley J. Schwieger著；叶陈刚改编2006 年出版510 页ISBN：7040203383
《审计学：基于环境变化的概念（第五版2005）》是本书英文版自2002年出版以来改动最大的一版，它反映了商务和审计领域中所发生的各种变革。本版次明确了审计的重要性、公司治理加强审计的作用，指出道德理解并满足道...
（德）约琴夫·萧塔纳（Josef Schottner）著；祁国宁译2000 年出版449 页ISBN：7111082427
在对产品开发和制造过程中所形成的数据进行有效利用方面，还有很大的潜力可挖。将这些数据在逻辑上相关联，可以组成一个虚拟的产品模型，该模型不但对产品进行了很好的结构化，而且还描述了产品完整的几何和技术方...
庞华玲著2018 年出版240 页ISBN：9787519728403
在我国现行的经济法律、法规中，不可诉现象大量存在，这是经济法的可诉性缺陷。无论是立法上还是理论上，经济诉讼并未彻底独立于民事诉讼之外，这使经济法中的可诉性规范大肆旁落。要弥补经济法的可诉性缺陷，就要变...
刘登良编著2003 年出版227 页ISBN：7502548327
本书主要介绍了涂层失效的原因。涂层失效分析的物理方法、化学方法、仪器分析方法，涂层失效分析的工作程序，失效涂层的修复。
刘义著2010 年出版368 页ISBN：9787511815576
本书基于规范宪法学的立场，以两种宪法审查机制为坐标，对德国现行复合制模式下的具体审查、抽象审查、宪法诉愿和美国附随型具体审查的程序构造及其法理进行了深入细致的研究，提出了宪法审查的三项程序准则，即要...
简易耐火材料厂巩固和提高的途径 1959年全国简易耐火材料设备建设与生产经验交流会议资料汇编
冶金工业出版社编1960 年出版156 页ISBN：15062·2134
