Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Shankaranarayanan, Krishna (EDT)/ Sankaranarayanan, Sriram (EDT)/ Trivedi, Ashutosh (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 123pt
  • 海外取次在庫
The Semantic Web: ESWC 2024 Satellite Events : Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

The Semantic Web: ESWC 2024 Satellite Events : Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Meroño Peñuela, Albert (EDT)/ Corcho, Oscar (EDT)/ Groth, Paul (EDT)

  • ウェブストア価格 ¥16,744(本体¥15,222)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 152pt
  • 海外からお取り寄せ(通常6~9週間)
The Semantic Web: ESWC 2024 Satellite Events : Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

The Semantic Web: ESWC 2024 Satellite Events : Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Meroño Peñuela, Albert (EDT)/ Corcho, Oscar (EDT)/ Groth, Paul (EDT)

  • ウェブストア価格 ¥13,952(本体¥12,684)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 126pt
  • 海外からお取り寄せ(通常6~9週間)
Testing Software and Systems : 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Testing Software and Systems : 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Menéndez, Héctor D. (EDT)/ Bello-Orgaz, Gema (EDT)/ Barnard, Pepita (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 142pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Active Inference : 5th International Workshop, IWAI 2024, Oxford, UK, September 9-11, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2025)
  • 洋書

Active Inference : 5th International Workshop, IWAI 2024, Oxford, UK, September 9-11, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2025)  Paperback

Buckley, Christopher L. (EDT)/ Cialfi, Daniela (EDT)/ Lanillos, Pablo (EDT)

  • ウェブストア価格 ¥16,744(本体¥15,222)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 152pt
  • 海外からお取り寄せ(通常6~9週間)
Optimization, Learning Algorithms and Applications : 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書

Optimization, Learning Algorithms and Applications : 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I (Communications in Computer and Information Science)  Paperback

Pereira, Ana I. (EDT)/ Fernandes, Florbela P. (EDT)/ Coelho, João P. (EDT)

  • ウェブストア価格 ¥18,140(本体¥16,491)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)
Optimization, Learning Algorithms and Applications : 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II (Communications in Computer and Information Science)
  • 洋書

Optimization, Learning Algorithms and Applications : 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II (Communications in Computer and Information Science)  Paperback

Pereira, Ana I. (EDT)/ Fernandes, Florbela P. (EDT)/ Coelho, João P. (EDT)

  • ウェブストア価格 ¥16,744(本体¥15,222)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 152pt
  • 海外からお取り寄せ(通常6~9週間)
Artificial Intelligence and Digital Twin Technology : 1st International Conference, IconAIDTT 2023, Sivakasi, India, April 26-28, 2023, Proceedings (Communications in Computer and Information Science)
  • 洋書

Artificial Intelligence and Digital Twin Technology : 1st International Conference, IconAIDTT 2023, Sivakasi, India, April 26-28, 2023, Proceedings (Communications in Computer and Information Science)  Paperback

K., Valarmathi (EDT)/ A., Ramathilagam (EDT)/ Seeni, Sankarganesh (EDT)

  • ウェブストア価格 ¥15,348(本体¥13,953)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 139pt
  • 海外からお取り寄せ(通常6~9週間)
Agricultural-Centric Computation : Second International Conference, ICA 2024, Delhi, India, May 21-24, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2025)
  • 洋書

Agricultural-Centric Computation : Second International Conference, ICA 2024, Delhi, India, May 21-24, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2025)  Paperback

Saini, Mukesh Kumar (EDT)/ Goel, Neeraj (EDT)/ Miguez, Matias (EDT)

  • ウェブストア価格 ¥30,699(本体¥27,909)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 279pt
  • 海外からお取り寄せ(通常6~9週間)
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Akshay, S. (EDT)/ Niemetz, Aina (EDT)/ Sankaranarayanan, Sriram (EDT)

  • ウェブストア価格 ¥30,699(本体¥27,909)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 279pt
  • 海外からお取り寄せ(通常6~9週間)
Computing, Communication and Learning : Third International Conference, CoCoLe 2024, Warangal, India, September 13-15, 2024, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Computing, Communication and Learning : Third International Conference, CoCoLe 2024, Warangal, India, September 13-15, 2024, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Panda, Sanjaya Kumar (EDT)/ Buyya, Rajkumar (EDT)/ Rout, Rashmi Ranjan (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 189pt
  • 海外取次在庫
Artificial Intelligence: Towards Sustainable Intelligence : Second International Conference, AI4S 2024, Alcala de Henares, Spain, October 3-4, 2024, Proceedings (Communications in Computer and Information Science)
  • 洋書

Artificial Intelligence: Towards Sustainable Intelligence : Second International Conference, AI4S 2024, Alcala de Henares, Spain, October 3-4, 2024, Proceedings (Communications in Computer and Information Science)  Paperback

Tiwari, Sanju (EDT)/ Ortiz-Rodriguez, Fernando (EDT)/ Sicilia, Miguel-Angel (EDT)

  • ウェブストア価格 ¥16,744(本体¥15,222)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 152pt
  • 海外からお取り寄せ(通常6~9週間)
Blockchains : A Handbook on Fundamentals, Platforms and Applications (Advances in Information Security)
  • 洋書

Blockchains : A Handbook on Fundamentals, Platforms and Applications (Advances in Information Security)  Paperback,  言語:ENG

Ruj, Sushmita (EDT)/ Kanhere, Salil S. (EDT)/ Conti, Mauro (EDT)

  • ウェブストア価格 ¥69,777(本体¥63,434)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 634pt
  • 海外からお取り寄せ(通常6~9週間)
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Akshay, S. (EDT)/ Niemetz, Aina (EDT)/ Sankaranarayanan, Sriram (EDT)

  • ウェブストア価格 ¥36,282(本体¥32,984)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 329pt
  • 海外からお取り寄せ(通常6~9週間)
Distributed Computer and Communication Networks : 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Distributed Computer and Communication Networks : 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Vishnevsky, Vladimir M. (EDT)/ Samouylov, Konstantin E. (EDT)/ Kozyrev, Dmitry V. (EDT)

  • ウェブストア価格 ¥18,140(本体¥16,491)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)
Knowledge Graphs and Semantic Web : 6th International Conference, KGSWC 2024, Paris, France, December 11-13, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Knowledge Graphs and Semantic Web : 6th International Conference, KGSWC 2024, Paris, France, December 11-13, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Tiwari, Sanju (EDT)/ Villazón-Terrazas, Boris (EDT)/ Ortiz-Rodríguez, Fernando (EDT)

  • ウェブストア価格 ¥16,744(本体¥15,222)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 152pt
  • 海外からお取り寄せ(通常6~9週間)
Big Data and Artificial Intelligence : 12th International Conference, BDA 2024, Hyderabad, India, December 17-20, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Big Data and Artificial Intelligence : 12th International Conference, BDA 2024, Hyderabad, India, December 17-20, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dasgupta, Anirban (EDT)/ Kiran, Rage Uday (EDT)/ El Shawi, Radwa (EDT)

  • ウェブストア価格 ¥18,140(本体¥16,491)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)
Computational Technologies and Electronics : First International Conference, ICCTE 2023, Siliguri, India, November 23-25, 2023, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書

Computational Technologies and Electronics : First International Conference, ICCTE 2023, Siliguri, India, November 23-25, 2023, Proceedings, Part I (Communications in Computer and Information Science)  Paperback,  言語:ENG

Majumder, Mukta (EDT)/ Zaman, J. K. M. Sadique Uz (EDT)/ Ghosh, Mili (EDT)

  • ウェブストア価格 ¥18,140(本体¥16,491)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)
Metadata and Semantic Research : 18th Research Conference, MTSR 2024, Athens, Greece, November 19-22, 2024, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Metadata and Semantic Research : 18th Research Conference, MTSR 2024, Athens, Greece, November 19-22, 2024, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Sfakakis, Michalis (EDT)/ Garoufallou, Emmanouel (EDT)/ Damigos, Matthew (EDT)

  • ウェブストア価格 ¥18,140(本体¥16,491)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)
Computational Technologies and Electronics : First International Conference, ICCTE 2023, Siliguri, India, November 23-25, 2023, Proceedings, Part II (Communications in Computer and Information Science)
  • 洋書

Computational Technologies and Electronics : First International Conference, ICCTE 2023, Siliguri, India, November 23-25, 2023, Proceedings, Part II (Communications in Computer and Information Science)  Paperback,  言語:ENG

Majumder, Mukta (EDT)/ Zaman, J.K.M Sadique Uz (EDT)/ Ghosh, Mili (EDT)

  • ウェブストア価格 ¥16,744(本体¥15,222)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 152pt
  • 海外からお取り寄せ(通常6~9週間)