Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
THERMAL PLASMA AND NEW MATERIALS TECHNOLOGY VOLUME 1：INVESTIGATIONS AND DESIGN OF THERMAL PLASMA GE
O P SOLONENKO AND M F ZHUKOV1994 年出版509 页ISBN：1898326061
Computer Aided and Integrated Manafacturing Systems Volume 5:Manufacturing Processes
2003 年出版244 页ISBN：9812389792
Handbook of Pattern Recognition and Computer Vision 3rd Edition
2005 年出版639 页ISBN：9812561056
BUILD YOUR OWN COMPUTER ACCESSORIES AND SAVE A BUNDLE
BONNIE J.HARGRAVE TED DUNNING2222 年出版362 页ISBN：0830638660
INTRODUCTION TO COMPUTER SYSTEMS USING THE PDP-11 AND PASCAL
1979 年出版462 页ISBN：0070443505
NUMERICAL METHODS FOR ENGINEERS WITH SOFTWARE AND PROGRAMMING APPLICATIONS FOURTH EDITION
STEVEN C.CHAPRA，RAYMOND P.CANALE2222 年出版926 页ISBN：0072431938
Partial differential equations with variable exponents variational methods and qualitative analysis
Vicentiu D. Radulescu ; Dusan D. Repovs2015 年出版304 页ISBN：1498703413
