（美）凌津奇著2005 年出版283 页ISBN：7500453876
本书通过对五部亚裔美国文学的奠基性文本的重新解读，论述了亚裔美国文学批评的传统与现状。
魏玉东著2017 年出版134 页ISBN：9787551716079
本书研究和探讨苏俄STS研究的逻辑进路与学科进路的有关问题，包括STS建立的逻辑进路和学科进路的研究述评、STS建立的逻辑进路和学科进路反思、多学科阶段苏俄STS研究、交叉学科阶段苏俄STS研究、学科一体化...
丁磊，江志文，张海笑主编2012 年出版184 页ISBN：9787560628523
本实验指导书是针对《数字逻辑与EDA设计》的配套用书，内容包括满足实验需求的实验箱、基于实验箱的数字逻辑基本实验、基于实验箱的数字逻辑综合实验、利用EDA工具进行设计、仿真及在实验箱上进行严整的基本...
（瑞典）奥尔伍德等著，王维贤等译2009 年出版233 页ISBN：9787301146170
本书是专为语言学学者而编写的逻辑学教材，涉及经典的命题逻辑和谓词逻辑、模态逻辑、内涵逻辑和范畴语法，还涉及自然语言的逻辑分析方法、自然推理系统、语用分析方法等逻辑方法，最后一章讨论了语言逻辑和语言...
许序修著2017 年出版589 页ISBN：9787561566053
分为上下两编。上编“教育观察与感悟”是作者通过敏锐的教育观察对教育发展、教育自信、教育生态等当代教育领域众多重点、热点问题的感悟。下编“教学探索与实践”是作者对语文教学方法、语文课程改革、语...
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
