McGraw-Hill PERSONAL COMPUTER PROGRAMMING ENCYCLOPEDIA LANGUAGES AND OPERATING SYSTEMS
1985 年出版696 页ISBN:0070053898
保障性设计分析与评价=DESIGN_ANALYSIS AND EVALUATIONG OF SUPPORTABILITY
马麟主编2012 年出版0 页ISBN:
Lecture Notes in Computer Science 4444 Program Analysis and Compilation
Theory and Practice Essays Dedicated to Reinhard Wilhelm in the Occasion of His 60th Birthday2007 年出版361 页ISBN:9783540713159
INDUSTRIAL AND ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND EXPERT SYSTEMS
2222 年出版546 页ISBN:2881246044
SYSTEMS OF QUASILINEAR EQUATIONS AND THEIR APPLICATIONS TO GAS DYNAMICS
1983 年出版676 页ISBN:0821845098
MULTI-WAY ANALYSIS WITH APPLICATIONS IN THE CHEMICAL SCIENCES
2222 年出版381 页ISBN:0471986917
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN:
Lecture Notes in Computer Science 4634 Static Analysis 14th International Symposium
SAS 20072007 年出版467 页ISBN:9783540740605