Automated Technology for Verification and Analysis

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Lecture Notes in Computer Science 11781

Herausgegeben von Chen, Yu-Fang Cheng, Chih-Hong Esparza, Javier

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2019. 2019. xi

税込価格：

11,921円

海外在庫あり 通常２～５週間で出荷

Verification and Evaluation of Computer and Communication Systems

14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings

Lecture Notes in Computer Science 12519

Herausgegeben:Ben Hedia, Belgacem Chen, Yu-Fang Liu, Gaiyun

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2020. 2020. xii

税込価格：

11,921円

海外在庫あり 通常２～５週間で出荷

Web-Age Information Management : WAIM 2014 International Workshops

BigEM, HardBD, DaNoS, HRSUNE, BIDASYS, Macau, China, June 16-18, 2014, Revised Selected Papers

Lecture Notes in Computer Science Vol.8597

Herausgegeben von Chen, Yueguo Balke, Wolf-Tilo Xu, Jianliang

出版社：Springer, Berlin; Springer International Publishing 出版年月：2014年 10月
装丁：PAP 版次：2014. xxii

税込価格：

11,921円

海外在庫あり 通常２～５週間で出荷

Chinese Water Systems : Volume 3

Poyang Lake Basin

Terrestrial Environmental Sciences

Herausgegeben:Yue, Tian-Xiang Nixdorf, Erik Zhou, Chengzi

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：HRD 版次：1st ed. 2019. 2018. xiv

税込価格：

23,846円

海外在庫あり 通常２～５週間で出荷

Chinese Water Systems : Volume 3

Poyang Lake Basin

Terrestrial Environmental Sciences

Herausgegeben:Yue, Tian-Xiang Nixdorf, Erik Zhou, Chengzi

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 言語：ENG 版次：Softcover reprint of the original 1st ed. 2019. 2018. xiv

税込価格：

30,999円

海外在庫あり 通常２～５週間で出荷