温晋仪译相关电子书下载

（苏）谢宁（Л.Шейнин）撰；陈用仪译1952 年出版117 页ISBN：

伊·米·莫涅斯著；路奇，君仪译1956 年出版364 页ISBN：15010·263

ACTIONS AND INTERACTIONS著；吕静仪译1989 年出版135 页ISBN：9576270006

（葡）路易斯·费兰西斯库·雷贝洛著；陈用仪译1998 年出版150 页ISBN：7505930052

暂缺《葡萄牙戏剧史》简介

THE DIVERSITY OF LIEFE著；吕静仪译1989 年出版135 页ISBN：

赵正旭，温晋杰，赵卫华著2015 年出版145 页ISBN：9787030447876

形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中，Z语言精确的描述软件系统”做什么”...

（苏联）В.И.费尔索夫著；何鑫，林明仪译1958 年出版284 页ISBN：15031·25

美国国家研究委员会等编；沈慧乐，梁皓仪译1988 年出版53 页ISBN：7109001946

本册内容包括各类不同家禽的营养需要

（英）李（D.E.Lea）著；徐浩，韩仪译1962 年出版387 页ISBN：13031·1694

Stephen E. Lucas著；李璃璃审阅；李姿仪译2004 年出版428 页ISBN：9574939057