Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int

下载此书RAR压缩包在线购买PDF电子书

ATVA 20042004 年出版506 页ISBN：3540236104

Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte

下载此书RAR压缩包在线购买PDF电子书

ATVA 20052005 年出版506 页ISBN：3540292098

24TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIECNE 1983

下载此书RAR压缩包在线购买PDF电子书

2222 年出版477 页ISBN：0818605081

Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern

下载此书RAR压缩包在线购买PDF电子书

ATVA 20072007 年出版566 页ISBN：9783540755951

Lecture Notes in Computer Science 3013 Object-Oriented Technology ECOOP 2003 Workshop Reader ECOOP 2

下载此书RAR压缩包在线购买PDF电子书

Germany2004 年出版0 页ISBN：

Lecture Notes in Computer Science 3344 Object-Oriented Technology ECOOP 2004 Workshop Reader ECOOP 2

下载此书RAR压缩包在线购买PDF电子书

Norway2004 年出版0 页ISBN：

Software Engineering International Computer State of the Aet Report II

下载此书RAR压缩包在线购买PDF电子书

1972 年出版571 页ISBN：

FOUNDATIONS OF MATERIALS SCIENCE AND ENGINEERING THIRD EDITION

下载此书RAR压缩包在线购买PDF电子书

WILLIAM F.SMITH2004 年出版908 页ISBN：0072921943

FOUNDATIONS OF MATERIALS SCIENCE AND ENGINEERING FOURTH EDITION

下载此书RAR压缩包在线购买PDF电子书

WILLIAM F.SMITH JAVAD HASHEMI2006 年出版1032 页ISBN：0073107638

INFORMATION SYSTEMS DEVELOPMENT:PRINCIPLES OF COMPUTER-AIDED SOFTWARE ENGINEERING

下载此书RAR压缩包在线购买PDF电子书

ALBERT F.CASE1986 年出版238 页ISBN：