Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN:3540331026
Educational Social Software for Context-Aware Learning: Collaborative Methods and Human Interaction
2010 年出版310 页ISBN:9781605668260
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
(美)阿贝尔(Abel2006 年出版545 页ISBN:7302128812
本书主要介绍用汇编语言进行程序设计,从硬件和软件着手,然后介绍编程所需的指令,并给出丰富实例和练习。
EXPERT ADVISOR:MICROSOFT WORD 5.0 FOR THE IBM PC
PAUL E.HOFFMAN1989 年出版275 页ISBN:0201146983
Logic And Software Engineering International Workshop in Honor of Chin-Sung Tang
1996 年出版311 页ISBN:981022804X