PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
RAYMOND D.GUMB2222 年出版334 页ISBN:
MANAGEMENT METHODOLOGY FOR SOFTWARE PRODUCT ENGINEERING
1978 年出版379 页ISBN:0471336009
STRONG GENERATIVE CAPACITY THE SEMANTICS OF LINGUISTIC FORMALISM
PHILIP H.MILLER1999 年出版158 页ISBN:157586214X
NEUROCONTROL Towards an Industrial Control Methodology
Tomas Hrycej1997 年出版381 页ISBN:
PROJECT MANAGEMENT PROCESSES METHODOLOGIES AND ECONOMICS
AVRAHAM SHTUB2004 年出版668 页ISBN:
EMPIRICAL TRANSLATION STUDIES INTERDISCIPLINARY METHODOLOGIES EXPLORED
MENG JI2016 年出版238 页ISBN:9781781790496