Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop
2004 年出版307 页ISBN:3540213147
Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN:9783540733690
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
Bussiness ratio report: an industry sector analysis: food processing and packaging machinery industr
1986 年出版122 页ISBN:0862618924
杨庶宜等主编1993 年出版144 页ISBN:7543900262
选编了IBM PC系列及兼容微机常用11个实用软件:DOS3.3和PCTOOLS系统与工具软件,高级语言BASICA和PASCAL和高级文字处理软件西山CCDOS,还有能检查和清除155种国际流行病毒的Turbo Anti-Virus等。...