Design of machinery an introduction to the synthesis and analysis of mechanisms and machines
Robert L. Norton2003 年出版811 页ISBN：7111112474
全书分2篇，第一篇为机构运动学，主要介绍运动学基础、连杆机构综合图解少和解析法、连杆机构的运动分析、凸轮机构设计、齿轮和轮系设计；第2篇为机械动力学，主要介绍动力学基础、动力分析、平衡、发动机动力学、...
语言的意义 语义学与语用学导论 第3版 Meaning in Language An Introduction to Semantics and Pragmatics Third Editi
Alan Cruse2014 年出版497 页ISBN：9787513544030
本书发行于2011年。该书第一版出版于1999年，第二版出版于2004年。如作者在第一版序言中所说，该书不想提供一个关于语言的意义的统一理论，只想带领读者浏览语义现象的各个方面，使读者在掩卷之际能感觉自己亲历了...
temporal logic and temporal logic progamming
duan zhenhua2222 年出版196 页ISBN：7030166515
本书主要介绍有关计算机科学与技术方面的基本知识和应用等。
COMPUTING WITH LOGIC LOGIC PROGRAMMING WITH PROLOG
DAVID MAIER1987 年出版535 页ISBN：0805366814
EPISTEMIC LOGIC A SURVEY OF THE LOGIC OF KNOWLEDGE
NICHOLAS RESCHER2222 年出版140 页ISBN：
Dependence Logic A New Approach to Independence Friendly Logic
Jouko Vaananen2007 年出版225 页ISBN：0521876591
SRINIVAS DEVADAS ABHIJIT GHOSH KURT KEUTZER1994 年出版405 页ISBN：0070165009
