Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop

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

2004 年出版307 页ISBN：3540213147

Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop

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

2007 年出版285 页ISBN：9783540733690

Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop

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

2006 年出版305 页ISBN：3540331026

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

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

1987 年出版292 页ISBN：0131630237

Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop

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

2005 年出版287 页ISBN：3540281959

MODELING AND DESIGNING ACCOUNTING SYSTEMS:USING ACCESS TO BUILD A DATABASE:FIRST EDITION

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

2007 年出版149 页ISBN：0471450871

Lecture Notes in Computer Science 3297 UML Modeling Languages and Applications <2004 Satellite Activ

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

Portugal2005 年出版0 页ISBN：

战役训练模型服务体系与技术方法=model service architecture and theconology method for campaign training

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

李宏全2012 年出版0 页ISBN：

Foreign-oriented Political Discourse in Contemporary China:Construction Model and Social Change

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

尤泽顺2010 年出版238 页ISBN：

A course in mathematical biology quantitative modeling with mathematical and computational methods

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

Gerda de Vries ; Johannes Muller ; Thomas Hillen ; Birgitt Schonfisch ; Mark Lewis2006 年出版309 页ISBN：0898716122