Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
ALTERNATIVE PSEUDODIFFERENTIAL ANALYSIS: WITH AN APPLICATION TO MODULAR FORMS
2008 年出版116 页ISBN：9783540779100
Numerical solution of Nonlinear Boundary Value Problems with Application
1983 年出版323 页ISBN：0136273645
Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN：3540084460
SOCIAL SOFTWARE ENGINEERING DEVELOPMENT AND COLLABORATION WITH SOCIAL NETWORKING
JESSICA KEYES2012 年出版467 页ISBN：1439853757
FOURTH INTERNATIONAL WORKSHOP ON COMPUTER-AIDED SOFTWARE ENGINEERING
RONALD J.NORMAN ROGER VAN GHENT2222 年出版553 页ISBN：081862129X
Orbital and Electron Density Diagrams:An Application of Computer Graphics
Andrew Streitwieser1973 年出版159 页ISBN：
INFORMATION SYSTEMS DEVELOPMENT:PRINCIPLES OF COMPUTER-AIDED SOFTWARE ENGINEERING
ALBERT F.CASE1986 年出版238 页ISBN：
