Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN:3540472371
Benchhmark Papers in Electrical Engineering and Computer Science/27 DISTRIBUTED PARAMETER SYSTEMS TH
PART II:Estimation1983 年出版392 页ISBN:
计算机科学技术名词 2002 第2版=Chinese terms in computer science and technology
计算机科学技术名词审定委员会编1994 年出版553 页ISBN:7030097254
THIRD INTERNATIONAL WORKSHOP ON NONDESTRUCTIVE TESTING AND COMPUTER SIMULATIONS IN SCIENCE AND ENGIN
ALEXANDER I.MELKER2000 年出版422 页ISBN:0819436992
DIMACS Series In Discrete Mathematics and Theoretical Computer Science Volume 72 Data Depth:Robust M
Computational Geometry and Applications2006 年出版0 页ISBN:
SERIES IN COMPUTER SCIENCE-VOL.5 VISUALIZING ABSTRACT BOJECTS AND RELATIONS A CONSTRAINT-BASED APPRO
1989 年出版162 页ISBN:9810200099