1～3件／全3件 セーフサーチON
  •  
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Chen, Yu-Fang (EDT)/ Cheng, Chih-Hong (EDT)/ Esparza, Javier (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer Nature Switzerland AG（2019/10発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Service-Oriented Computing : 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7636) （2012. 2012. XIX, 793 S. 235 mm）
  • 洋書

Service-Oriented Computing : 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7636) （2012. 2012. XIX, 793 S. 235 mm）  Paperback

Herausgegeben von Liu, Chengfei/ Ludwig, Heiko/ Toumani, Farouk/ Yu, Qi

  • SPRINGER, BERLIN; SPRINGER（2012発売）
  • ご注文いただけません
Wireless Algorithms, Systems, and Applications : 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6843) （2011. XIV, 434 S. 235 mm）
  • 洋書

Wireless Algorithms, Systems, and Applications : 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6843) （2011. XIV, 434 S. 235 mm）  Paperback

Herausgegeben von Cheng, Yu/ Eun, Do Young/ Qin, Zhiguang/ Song, Min/ Xing, Kai

  • ウェブストア価格 ¥13,231（本体¥12,029）
  • SPRINGER, BERLIN（2011発売）
  • ポイント 120pt
  • 海外取次在庫
1～3件／全3件
  •