Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of

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

2004 年出版389 页ISBN：354021366X

Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio

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

Communication and Systems2004 年出版295 页ISBN：

Lecture Notes in Computer Science 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I

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

2006 年出版440 页ISBN：3540346996

Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I

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

ICATPN 20072007 年出版515 页ISBN：9783540730934

Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re

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

1993 年出版372 页ISBN：3540574999

DIGITAL COMPUTER PRINCIPLES

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

WAYNE C. IRWIN1960 年出版321 页ISBN：

Lecture Notes in Computer Science 4846 Advances in Computer Science-ASIAN 2007 Computer and Network

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

2007 年出版313 页ISBN：9783540769279

energy science principles

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

technologies2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop

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

CSL 20052005 年出版567 页ISBN：3540282319

Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop

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

CSL 20062006 年出版627 页ISBN：3540454586