Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN：3540291318
THE OPTIMAL DESIGN OF CBEMICAL REACTORS:A STUDY IN DYNAMIC PROGRAMMING
RUTHERFORD ARIS2222 年出版0 页ISBN：
COMPUTER METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS AND DIFFERENTIAL-ALGEBRAIC EQUATIONS
URI M.ASCHER，LINDA R.PETZOLD著2009 年出版314 页ISBN：
UNIX NETWORK PROGRAMMING VOLUME 1 THE SOCKETS NETWORKING API THIRD EDITION
W.RICHARD STEVENS BILL FENNER ANDREW M.RUDOFF著2004 年出版991 页ISBN：
Lecture Notes in Computer Science 3491 Multilingual Information Access for Text
Speech and Images 5th Workshop of the Cross-Language Evaluation Forum2005 年出版845 页ISBN：
The C programming language = C 程序设计语言（英文版·第2版）
Brian W. Kernighan ; Dennis M. Ritchie2006 年出版274 页ISBN：7111196260
本书是介绍标准C语言及其程序设计方法的权威著作。
