A HANDBOOK FOR THE STUDY OF HUMAN COMMUNICATION:Methods and Instruments for Observing
Measuring1988 年出版407 页ISBN:
SELECTED CHAPTERS FROM INTRODUCTION TO COMPUTING SYSTEMS FROM BITS AND GATES TO C AND BEYOND
YALE N.PATT SANJAY J.PATEL2000 年出版118 页ISBN:0072441003
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335