Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dimitrova, Rayna (EDT)/ Lahav, Ori (EDT)/ Wolff, Sebastian (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 161pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dimitrova, Rayna (EDT)/ Lahav, Ori (EDT)/ Wolff, Sebastian (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 161pt
  • 海外取次在庫
Advanced Hybrid Information Processing : 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineer
  • 洋書

Advanced Hybrid Information Processing : 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineer  Paperback,  言語:ENG

Yun, Lin (EDT)/ Han, Jiang (EDT)/ Han, Yu (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2024/03発売)
  • ポイント 208pt
  • 海外取次在庫
Advanced Hybrid Information Processing (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee) (2024. xiv, 477 S. XIV, 477 p. 192 illus., 59 illus. in color. 235 mm)
  • 洋書

Advanced Hybrid Information Processing (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee) (2024. xiv, 477 S. XIV, 477 p. 192 illus., 59 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Yun, Lin/ Han, Jiang/ Han, Yu

  • ウェブストア価格 ¥23,958(本体¥21,780)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 217pt
  • 海外取次在庫
Advanced Hybrid Information Processing (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee) (2024. xiv, 472 S. XIV, 472 p. 182 illus., 49 illus. in color. 235 mm)
  • 洋書

Advanced Hybrid Information Processing (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee) (2024. xiv, 472 S. XIV, 472 p. 182 illus., 49 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Yun, Lin/ Han, Jiang/ Han, Yu

  • ウェブストア価格 ¥23,958(本体¥21,780)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 217pt
  • 海外取次在庫
Selected Reflections in Language, Logic, and Information : ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Selected Reflections in Language, Logic, and Information : ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Pavlova, Alexandra (EDT)/ Pedersen, Mina Young (EDT)/ Bernardi, Raffaella (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 227pt
  • 海外取次在庫
Decision and Game Theory for Security : 14th International Conference, GameSec 2023, Avignon, France, October 18-20, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Decision and Game Theory for Security : 14th International Conference, GameSec 2023, Avignon, France, October 18-20, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Fu, Jie (EDT)/ Kroupa, Tomas (EDT)/ Hayel, Yezekael (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 161pt
  • 海外取次在庫
Euro-Par 2023: Parallel Processing Workshops : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書

Euro-Par 2023: Parallel Processing Workshops : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Zeinalipour, Demetris (EDT)/ Blanco Heras, Dora (EDT)/ Pallis, George (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 161pt
  • 海外取次在庫
AGC 2023 : First Analytics Global Conference, AGC 2023, Kolkata, India, April 28-29, 2023, Proceedings (Communications in Computer and Information Science)
  • 洋書

AGC 2023 : First Analytics Global Conference, AGC 2023, Kolkata, India, April 28-29, 2023, Proceedings (Communications in Computer and Information Science)  Paperback

Dhar, Suparna (EDT)/ Goswami, Sanjay (EDT)/ Dinesh Kumar, U. (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 132pt
  • 海外取次在庫
Advanced Engineering, Technology and Applications : Second International Conference, ICAETA 2023, Istanbul, Turkey, March 10-11, 2023, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Advanced Engineering, Technology and Applications : Second International Conference, ICAETA 2023, Istanbul, Turkey, March 10-11, 2023, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Ortis, Alessandro (EDT)/ Hameed, Alaa Ali (EDT)/ Jamil, Akhtar (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 189pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Sciences and Sustainable Technologies : First International Conference, ICCSST 2023, Bangalore, India, May 8-9, 2023, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Computational Sciences and Sustainable Technologies : First International Conference, ICCSST 2023, Bangalore, India, May 8-9, 2023, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Aurelia, Sagaya (EDT)/ J., Chandra (EDT)/ Immanuel, Ashok (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 189pt
  • 海外取次在庫
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production : 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers (Communications in Computer and In
  • 洋書

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production : 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers (Communications in Computer and In  Paperback

Jordan, Vladimir (EDT)/ Tarasov, Ilya (EDT)/ Shurina, Ella (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 161pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software, System, and Service Engineering : S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 20
  • 洋書

Software, System, and Service Engineering : S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 20  Paperback

Jarzębowicz, Aleksander (EDT)/ Luković, Ivan (EDT)/ Przybyłek, Adam (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 113pt
  • 海外取次在庫
Asia Pacific Advanced Network : 56th International Conference, APANConf 2023, Colombo, Sri Lanka, August 24-25, 2023, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Asia Pacific Advanced Network : 56th International Conference, APANConf 2023, Colombo, Sri Lanka, August 24-25, 2023, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Herath, Damayanthi (EDT)/ Date, Susumu (EDT)/ Jayasinghe, Upul (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 132pt
  • 海外取次在庫
Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Tsudik, Gene (EDT)/ Conti, Mauro (EDT)/ Liang, Kaitai (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 170pt
  • 海外取次在庫
Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback

Tsudik, Gene (EDT)/ Conti, Mauro (EDT)/ Liang, Kaitai (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 170pt
  • 海外取次在庫
Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Computer Security - ESORICS 2023 : 28th European Symposium on Research in Computer Security, the Hague, the Netherlands, September 25-29, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Tsudik, Gene (EDT)/ Conti, Mauro (EDT)/ Liang, Kaitai (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 170pt
  • 海外取次在庫
Security, Privacy, and Applied Cryptography Engineering : 13th International Conference, SPACE 2023, Roorkee, India, December 14-17, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Security, Privacy, and Applied Cryptography Engineering : 13th International Conference, SPACE 2023, Roorkee, India, December 14-17, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Regazzoni, Francesco (EDT)/ Mazumdar, Bodhisatwa (EDT)/ Parameswaran, Sri (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 132pt
  • 海外取次在庫
Management of Digital EcoSystems : 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Management of Digital EcoSystems : 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Chbeir, Richard (EDT)/ Benslimane, Djamal (EDT)/ Zervakis, Michalis (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 246pt
  • 海外取次在庫
Cognitive Computing - ICCC 2023 : 7th International Conference Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023 Proceedings (Lecture Notes in Computer Science)
  • 洋書

Cognitive Computing - ICCC 2023 : 7th International Conference Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023 Proceedings (Lecture Notes in Computer Science)  Paperback

Pan, Xiuqin (EDT)/ Jin, Ting (EDT)/ Zhang, Liang-Jie (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 113pt
  • 海外取次在庫