Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
LECTURE NOTES IN COMPUTER SCIENCE 490 ALGEBRAIC METHODS Ⅱ:THEORY
TOOLS AND APPLICATIONS1991 年出版434 页ISBN：
The Art and Science of C:A Library-Based Introduction to Computer Science
[美]Eric S.Roberts著2004 年出版704 页ISBN：7111139917
本书是一本C语言的入门读物。
Lecture Notes in Computer Science 3865 Computer Supported Cooperative Work in Design II 9th Internat
CSCWD 2005 Coventry2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3168 Computer Supported Cooperative Work in Design I 8th Internati
CSCWD 2004 Xiamen2222 年出版0 页ISBN：
A Guide To Mathematical Methods For Physicists With Problems and Soultions
Michela Petrini2017 年出版328 页ISBN：
ARTIFICIAL INTELLIGENCE:STRUCTURES AND STRATEGIES FOR COMPLEX PROBLEM SOLVING SECOND EDITION
GEORGE F.LUGER WILLIAM A.STUBBLEFIELD1993 年出版740 页ISBN：0805347801
Lecture Notes in Computer Science 3193 Computer Security-ESORICS 2004 9th European Symposium on Rese
2004 年出版457 页ISBN：3540229876
Lecture Notes in Artificial Intelligence 4604 Conceptual Structures:Knowledge Architectures for Smar
ICCS 20072007 年出版514 页ISBN：9783540736806
Lecture Notes in Computer Science 3069 Architecting Dependable Systems II
2004 年出版351 页ISBN：3540231684
