Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥9,754(本体¥8,868)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 440pt
  • 海外取次在庫
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥9,754(本体¥8,868)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 440pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥23,849(本体¥21,681)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 1,080pt
  • 海外取次在庫
Liutex and Third Generation of Vortex Definition and Identification : An Invited Workshop from Chaos 2020
  • 洋書
  • ポイントキャンペーン

Liutex and Third Generation of Vortex Definition and Identification : An Invited Workshop from Chaos 2020  Paperback

Liu, Chaoqun (EDT)/ Wang, Yiqian (EDT)

  • ウェブストア価格 ¥41,972(本体¥38,157)
  • Springer Nature Switzerland AG(2022/07発売)
  • ポイント 1,905pt
  • 海外からお取り寄せ(通常6~9週間)
Liutex and Third Generation of Vortex Definition and Identification : An Invited Workshop from Chaos 2020
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Liutex and Third Generation of Vortex Definition and Identification : An Invited Workshop from Chaos 2020  Hardcover

Liu, Chaoqun (EDT)/ Wang, Yiqian (EDT)

  • ウェブストア価格 ¥43,364(本体¥39,422)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 1,970pt
  • 海外取次在庫
Proceedings of 4th International Conference on Resources and Environmental Research—ICRER 2022 (Environmental Science and Engineering) (2023)
  • 洋書
  • ポイントキャンペーン

Proceedings of 4th International Conference on Resources and Environmental Research—ICRER 2022 (Environmental Science and Engineering) (2023)  Hardcover

Yuan, Chaolei (EDT)/ Huang, Suiliang (EDT)/ Wang, Xin (EDT)

  • ウェブストア価格 ¥55,964(本体¥50,877)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 2,540pt
  • 海外からお取り寄せ(通常6~9週間)
Proceedings of 4th International Conference on Resources and Environmental Research—ICRER 2022 (Environmental Science and Engineering)
  • 洋書
  • ポイントキャンペーン

Proceedings of 4th International Conference on Resources and Environmental Research—ICRER 2022 (Environmental Science and Engineering)  Paperback,  言語:ENG

Yuan, Chaolei (EDT)/ Huang, Suiliang (EDT)/ Wang, Xin (EDT)

  • ウェブストア価格 ¥55,964(本体¥50,877)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 2,540pt
  • 海外からお取り寄せ(通常6~9週間)
Advances in Visual Computing : 14th International Symposium on Visual Computing, ISVC 2019, Lake Tahoe, NV, USA, October 7-9, 2019, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Visual Computing : 14th International Symposium on Visual Computing, ISVC 2019, Lake Tahoe, NV, USA, October 7-9, 2019, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bebis, George (EDT)/ Boyle, Richard (EDT)/ Parvin, Bahram (EDT)

  • ウェブストア価格 ¥12,589(本体¥11,445)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 570pt
  • 海外からお取り寄せ(通常6~9週間)
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,997(本体¥12,725)
  • SPRINGER, BASEL; BIRKHÄUSER BASEL; BIRKHÄUSER(2012発売)
  • ポイント 635pt
  • 海外取次在庫
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,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 635pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥43,364(本体¥39,422)
  • Springer Nature Switzerland AG(2018/12発売)
  • ポイント 1,970pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥43,364(本体¥39,422)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 1,970pt
  • 海外取次在庫
Data-Driven Evolutionary Optimization : Integrating Evolutionary Computation, Machine Learning and Data Science (Studies in Computational Intelligence)
  • 洋書
  • ポイントキャンペーン

Data-Driven Evolutionary Optimization : Integrating Evolutionary Computation, Machine Learning and Data Science (Studies in Computational Intelligence)  Paperback

Jin, Yaochu/ Wang, Handing/ Sun, Chaoli

  • ウェブストア価格 ¥43,364(本体¥39,422)
  • Springer Nature Switzerland AG(2022/06発売)
  • ポイント 1,970pt
  • 海外取次在庫