MATHEMATICS OF SHAPE DESCRIPTION A Morphological Approach to Image Processing and Computer Graphics
2008 年出版254 页ISBN:9780470823071
Adobe PHOTOSHOP 6.0 Desing Guide for Digital Vide&Graphics影像与动画制作教程
高校动画·美术院校电脑美术系列教材编委会主编;陈启祥,熊云忌,李艳编2001 年出版463 页ISBN:7900056785
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
Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN:0131630237
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959