Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Lahiri, Shuvendu K. (EDT)/ Wang, Chao (EDT)

  • Springer Nature Switzerland AG(2018/09発売)
  • ご注文いただけません
Engineering Design under Uncertainty and Health Prognostics (Springer Series in Reliability Engineering)
  • 洋書

Engineering Design under Uncertainty and Health Prognostics (Springer Series in Reliability Engineering)  Paperback,  言語:ENG

Hu, Chao/ Youn, Byeng D./ Wang, Pingfeng

  • ウェブストア価格 ¥44,207(本体¥40,189)
  • Springer Nature Switzerland AG(2018/12発売)
  • ポイント 401pt
  • 海外取次在庫
Engineering Design under Uncertainty and Health Prognostics (Springer Series in Reliability Engineering)
  • 洋書
  • 電子版あり

Engineering Design under Uncertainty and Health Prognostics (Springer Series in Reliability Engineering)  Hardcover,  言語:ENG

Hu, Chao/ Youn, Byeng D./ Wang, Pingfeng

  • ウェブストア価格 ¥44,207(本体¥40,189)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 401pt
  • 海外取次在庫
Time-of-flight Electron Energy Spectrometer (2018. 148 S. 220 mm)
  • 洋書

Time-of-flight Electron Energy Spectrometer (2018. 148 S. 220 mm)  Paperback

Wang, Chao/ Kang, Yifan

  • ウェブストア価格 ¥14,547(本体¥13,225)
  • LAP LAMBERT ACADEMIC PUBLISHING(2018発売)
  • ポイント 132pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Network and Parallel Computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Network and Parallel Computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Shi, Xuanhua (EDT)/ An, Hong (EDT)/ Wang, Chao (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Wireless Algorithms, Systems, and Applications : 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Wireless Algorithms, Systems, and Applications : 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Cai, Zhipeng (EDT)/ Wang, Chaokun (EDT)/ Cheng, Siyao (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 221pt
  • 海外取次在庫
A Study on the Communicative Validity of the New CET-4 Listening Test (2014. 92 S. 220 mm)
  • 洋書

A Study on the Communicative Validity of the New CET-4 Listening Test (2014. 92 S. 220 mm)  Paperback

Wang, Chao

  • ウェブストア価格 ¥10,384(本体¥9,440)
  • LAP LAMBERT ACADEMIC PUBLISHING(2014発売)
  • ポイント 94pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Web Technologies and Applications : APWeb 2012 International Workshops: SenDe, IDP, IEKB, MBC, Kunming, China, April 11, 2012, Proceedings (Lecture Notes in Computer Science Vol.7234) (2012. XXIII, 270 p. 235 mm)
  • 洋書

Web Technologies and Applications : APWeb 2012 International Workshops: SenDe, IDP, IEKB, MBC, Kunming, China, April 11, 2012, Proceedings (Lecture Notes in Computer Science Vol.7234) (2012. XXIII, 270 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Wang, Hua/ Zou, Lei/ Huang, Guangyan/ He, Jing/ Pang, Chaoyi et al.

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 126pt
  • 海外取次在庫
Cryptography and Computational Number Theory (Progress in Computer Science and Applied Logic 20) (Softcover reprint of the original 1st ed. 2001. 2012. viii, 378 S. VII)
  • 洋書

Cryptography and Computational Number Theory (Progress in Computer Science and Applied Logic 20) (Softcover reprint of the original 1st ed. 2001. 2012. viii, 378 S. VII)  Paperback,  言語:ENG

Herausgegeben von Lam, Kwok Y./ Shparlinski, Igor/ Wang, Huaxiong/ Xing, Chaoping

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BASEL; BIRKHÄUSER BASEL; BIRKHÄUSER(2012発売)
  • ポイント 126pt
  • 海外取次在庫
Variants of Self-Organizing Maps : Applications in Image Quantization and Compression (2009. 80 S.)
  • 洋書

Variants of Self-Organizing Maps : Applications in Image Quantization and Compression (2009. 80 S.)  Paperback

Wang, Chao-Huang

  • ウェブストア価格 ¥12,752(本体¥11,593)
  • LAP LAMBERT ACADEMIC PUBLISHING(2009発売)
  • ポイント 115pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
  • 洋書

Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)  Hardcover,  言語:ENG

Wang, Chao/ Hachtel, Gary D./ Somenzi, Fabio

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer(2006/08発売)
  • ポイント 221pt
  • 海外取次在庫