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
  • 海外取次在庫
Theory of Translation Closedness for Time Scales : With Applications in Translation Functions and Dynamic Equations (2020)
  • 洋書

Theory of Translation Closedness for Time Scales : With Applications in Translation Functions and Dynamic Equations (2020)  Paperback,  言語:ENG

Wang, Chao/ Agarwal, Ravi P./ O' Regan, Donal

  • ウェブストア価格 ¥30,945(本体¥28,132)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 281pt
  • 海外取次在庫
Theory of Translation Closedness for Time Scales : With Applications in Translation Functions and Dynamic Equations (Developments in Mathematics) (2020)
  • 洋書
  • 電子版あり

Theory of Translation Closedness for Time Scales : With Applications in Translation Functions and Dynamic Equations (Developments in Mathematics) (2020)  Hardcover,  言語:ENG

Wang, Chao/ Agarwal, Ravi P./ O' Regan, Donal

  • ウェブストア価格 ¥30,945(本体¥28,132)
  • Springer Nature Switzerland AG(2020/05発売)
  • ポイント 281pt
  • 海外取次在庫
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)版です。キャンセルは承れません。
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発売)
  • ご注文いただけません
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)

  • ウェブストア価格 ¥44,207(本体¥40,189)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 401pt
  • 海外取次在庫
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,576(本体¥37,797)
  • Springer Nature Switzerland AG(2022/07発売)
  • ポイント 377pt
  • 海外からお取り寄せ(通常6~9週間)
Integrating Edge Intelligence and Blockchain : What, Why, and How (Wireless Networks) (2022)
  • 洋書

Integrating Edge Intelligence and Blockchain : What, Why, and How (Wireless Networks) (2022)  Hardcover,  言語:ENG

Wang, Xiaofei/ Qiu, Chao/ Ren, Xiaoxu

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 110pt
  • 海外取次在庫
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
  • 海外取次在庫
Integrating Edge Intelligence and Blockchain : What, Why, and How (Wireless Networks)
  • 洋書

Integrating Edge Intelligence and Blockchain : What, Why, and How (Wireless Networks)  Paperback

Wang, Xiaofei/ Qiu, Chao/ Ren, Xiaoxu

  • ウェブストア価格 ¥12,470(本体¥11,337)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 113pt
  • 海外からお取り寄せ(通常6~9週間)
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales (Synthesis Lectures on Mathematics & Statistics)
  • 洋書

Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales (Synthesis Lectures on Mathematics & Statistics)  Hardcover,  言語:ENG

Wang, Chao/ Agarwal, Ravi P.

  • ウェブストア価格 ¥13,260(本体¥12,055)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 120pt
  • 海外取次在庫
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales (Synthesis Lectures on Mathematics & Statistics)
  • 洋書

Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales (Synthesis Lectures on Mathematics & Statistics)  Paperback

Wang, Chao/ Agarwal, Ravi P.

  • ウェブストア価格 ¥13,260(本体¥12,055)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 120pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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
  • 海外取次在庫
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
  • 海外取次在庫
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)  Hardcover,  言語:ENG

Jin, Yaochu/ Wang, Handing/ Sun, Chaoli

  • ウェブストア価格 ¥44,207(本体¥40,189)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 401pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥44,207(本体¥40,189)
  • Springer Nature Switzerland AG(2022/06発売)
  • ポイント 401pt
  • 海外取次在庫
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,436(本体¥50,397)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 503pt
  • 海外からお取り寄せ(通常6~9週間)
持続可能な都市開発における局地気候帯の応用:東・東南アジアの高密都市の経験から<br>Local Climate Zone Application in Sustainable Urban Development : Experience from East and Southeast Asian High-Density Cities (2024)
  • 洋書

持続可能な都市開発における局地気候帯の応用:東・東南アジアの高密都市の経験から
Local Climate Zone Application in Sustainable Urban Development : Experience from East and Southeast Asian High-Density Cities (2024)
 Hardcover

Wang, Ran (EDT)/ Cai, Meng (EDT)/ Ren, Chao (EDT)

  • ウェブストア価格 ¥30,945(本体¥28,132)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 281pt
  • 海外取次在庫
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,470(本体¥11,337)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 113pt
  • 海外からお取り寄せ(通常6~9週間)