Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop

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

TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：

Computer Interface Engineering for Real-Time Systems:A Model-Based Approach

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

1987 年出版292 页ISBN：0131630237

MATHEMATICAL STERUCTURES FOR COMPUTER SCIENCE A Modern Approach to Discrete Mathematics SIXTH EDITIO

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

2007 年出版807 页ISBN：071676864X

THE PRINCIPLES OF COMPUTER ORGANIZATION

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

G.MICHAEL SCHNEIDER2222 年出版251 页ISBN：

The Computer Animation Dictionary Including Related Terms Used in Computer Graphics

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

1989 年出版0 页ISBN：

Lecture Notes in Computer Science 3289 Conceptual Modeling for Advanced Application Domains ER 2004

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

CoMWIM ECDM2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3882 Database Systems for Advanced Applications 11th International

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

DASFAA 20062006 年出版923 页ISBN：3540333371

Lecture Notes in Computer Science 4542 Requirements Engineering:Foundation for Software Quality 13th

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

REFSQ 20072007 年出版383 页ISBN：9783540730309

Lecture Notes in Computer Science 3453 Database Systems for Advanced Applications 10th International

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

DASFAA 20052005 年出版929 页ISBN：3540253343

CONFERENCE RECORD OF THE TENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES

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

2222 年出版312 页ISBN：0897910907