Verification of Autonomous Systems (2025. x, 290 S. X, 290 p. 86 illus., 72 illus. in color. 235 mm)
  • 洋書

Verification of Autonomous Systems (2025. x, 290 S. X, 290 p. 86 illus., 72 illus. in color. 235 mm)  Hardcover

Herausgegeben:Redfield, Signe/ Sofge, Donald/ Seto, Mae/ Sustersic, John

  • ウェブストア価格 ¥39,473(本体¥35,885)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 358pt
  • 海外からお取り寄せ(通常6~9週間)
Lectures on Intelligent Systems (Natural Computing Series)
  • 洋書

Lectures on Intelligent Systems (Natural Computing Series)  Paperback

Vanneschi, Leonardo/ Silva, Sara

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 104pt
  • 海外取次在庫
Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書

Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I (Communications in Computer and Information Science)  Paperback,  言語:ENG

Nowaczyk, Sławomir (EDT)/ Biecek, Przemysław (EDT)/ Chung, Neo Christopher (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 227pt
  • 海外取次在庫
Energy Informatics : Third Energy Informatics Academy Conference, EI.A 2023, Campinas, Brazil, December 6-8, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Energy Informatics : Third Energy Informatics Academy Conference, EI.A 2023, Campinas, Brazil, December 6-8, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Jørgensen, Bo Nørregaard (EDT)/ da Silva, Luiz Carlos Pereira (EDT)/ Ma, Zheng (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 123pt
  • 海外取次在庫
Privacy and Identity Management. Sharing in a Digital World : 18th IFIP WG 9.2, 9.6/11.7, 11.6 International Summer School, Privacy and Identity 2023, Oslo, Norway, August 8-11, 2023, Revised Selected Papers (Ifip Advances in Information and Communic
  • 洋書

Privacy and Identity Management. Sharing in a Digital World : 18th IFIP WG 9.2, 9.6/11.7, 11.6 International Summer School, Privacy and Identity 2023, Oslo, Norway, August 8-11, 2023, Revised Selected Papers (Ifip Advances in Information and Communic  Hardcover

Bieker, Felix (EDT)/ de Conca, Silvia (EDT)/ Gruschka, Nils (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 246pt
  • 海外取次在庫
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium : Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)
  • 洋書

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium : Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)  Paperback

Tekinerdoğan, Bedir (EDT)/ Spalazzese, Romina (EDT)/ Sözer, Hasan (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 151pt
  • 海外取次在庫
Smart Business Technologies : 20th International Conference, ICSBT 2023, Rome, Italy, July 11-13, 2023, Revised Selected Papers (Communications in Computer and Information Science) (2024)
  • 洋書

Smart Business Technologies : 20th International Conference, ICSBT 2023, Rome, Italy, July 11-13, 2023, Revised Selected Papers (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Van Sinderen, Marten (EDT)/ Hammoudi, Slimane (EDT)/ Wijnhoven, Fons (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 123pt
  • 海外取次在庫
Computational Intelligence in Data Science : 7th IFIP TC 12 International Conference, ICCIDS 2024, Chennai, India, February 21-23, 2024, Revised Selected Papers, Part I (Ifip Advances in Information and Communication Technology) (2024)
  • 洋書

Computational Intelligence in Data Science : 7th IFIP TC 12 International Conference, ICCIDS 2024, Chennai, India, February 21-23, 2024, Revised Selected Papers, Part I (Ifip Advances in Information and Communication Technology) (2024)  Hardcover,  言語:ENG

Owoc, Mieczyslaw Lech (EDT)/ Varghese Sicily, Felix Enigo (EDT)/ Rajaram, Kanchana (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 227pt
  • 海外取次在庫
Computational Intelligence in Data Science : 7th IFIP TC 12 International Conference, ICCIDS 2024, Chennai, India, February 21-23, 2024, Revised Selected Papers, Part II (Ifip Advances in Information and Communication Technology) (2024)
  • 洋書

Computational Intelligence in Data Science : 7th IFIP TC 12 International Conference, ICCIDS 2024, Chennai, India, February 21-23, 2024, Revised Selected Papers, Part II (Ifip Advances in Information and Communication Technology) (2024)  Hardcover,  言語:ENG

Owoc, Mieczyslaw Lech (EDT)/ Varghese Sicily, Felix Enigo (EDT)/ Rajaram, Kanchana (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 246pt
  • 海外取次在庫
The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement (Lecture Notes in Computer Science)
  • 洋書

The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement (Lecture Notes in Computer Science)  Paperback

Foster, Simon (EDT)/ Sampaio, Augusto (EDT)

  • ウェブストア価格 ¥16,496(本体¥14,997)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 149pt
  • 海外からお取り寄せ(通常6~9週間)
Business Process Management: Blockchain, Robotic Process Automation, Central and Eastern European, Educators and Industry Forum : BPM 2024 Blockchain, RPA, CEE, Educators and Industry Forum, Krakow, Poland, September 1-6, 2024, Proceedings (Lecture N (2024)
  • 洋書

Business Process Management: Blockchain, Robotic Process Automation, Central and Eastern European, Educators and Industry Forum : BPM 2024 Blockchain, RPA, CEE, Educators and Industry Forum, Krakow, Poland, September 1-6, 2024, Proceedings (Lecture N (2024)  Paperback,  言語:ENG

Di Ciccio, Claudio (EDT)/ Fdhila, Walid (EDT)/ Agostinelli, Simone (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 151pt
  • 海外取次在庫
Sustainable Development through Machine Learning, AI and IoT : Second International Conference, ICSD 2024, Virtual Event, April 27-28, 2024, Proceedings (Communications in Computer and Information Science) (2024)
  • 洋書

Sustainable Development through Machine Learning, AI and IoT : Second International Conference, ICSD 2024, Virtual Event, April 27-28, 2024, Proceedings (Communications in Computer and Information Science) (2024)  Paperback

Whig, Pawan (EDT)/ Silva, Nuno (EDT)/ Elngar, Ahmad A. (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 189pt
  • 海外取次在庫
Rules and Reasoning : 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Rules and Reasoning : 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Kirrane, Sabrina (EDT)/ Šimkus, Mantas (EDT)/ Soylu, Ahmet (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 123pt
  • 海外取次在庫
Simulation for a Sustainable Future : 11th Congress, EUROSIM 2023, Amsterdam, the Netherlands, July 3-5, 2023, Proceedings, Part I (Communications in Computer and Information Science) (2024)
  • 洋書

Simulation for a Sustainable Future : 11th Congress, EUROSIM 2023, Amsterdam, the Netherlands, July 3-5, 2023, Proceedings, Part I (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Mujica Mota, Miguel (EDT)/ Scala, Paolo (EDT)

  • ウェブストア価格 ¥29,170(本体¥26,519)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 265pt
  • 海外取次在庫
Next Generation Arithmetic : 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Next Generation Arithmetic : 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Michalewicz, Marek (EDT)/ Gustafson, John (EDT)/ De Silva, Himeshi (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 104pt
  • 海外からお取り寄せ(通常6~9週間)
Computational Color Imaging : 8th International Workshop, CCIW 2024, Milan, Italy, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Computational Color Imaging : 8th International Workshop, CCIW 2024, Milan, Italy, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Schettini, Raimondo (EDT)/ Trémeau, Alain (EDT)/ Tominaga, Shoji (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 123pt
  • 海外取次在庫
Artificial Intelligence in Pancreatic Disease Detection and Diagnosis, and Personalized Incremental Learning in Medicine : First International Workshop, AIPAD 2024 and First International Workshop, PILM 2024, Held in Conjunction with MICCAI 2024, Mar (2025)
  • 洋書

Artificial Intelligence in Pancreatic Disease Detection and Diagnosis, and Personalized Incremental Learning in Medicine : First International Workshop, AIPAD 2024 and First International Workshop, PILM 2024, Held in Conjunction with MICCAI 2024, Mar (2025)  Paperback

Proietto Salanitri, Federica (EDT)/ Viriri, Serestina (EDT)/ Bağcı, Ulaş (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 104pt
  • 海外取次在庫
Topology- and Graph-Informed Imaging Informatics : First International Workshop, TGI3 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書

Topology- and Graph-Informed Imaging Informatics : First International Workshop, TGI3 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Chen, Chao (EDT)/ Singh, Yash (EDT)/ Hu, Xiaoling (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 104pt
  • 海外取次在庫
Advances in Computing and Data Sciences : 8th International Conference, ICACDS 2024, Vélizy, France, May 9-10, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2024)
  • 洋書

Advances in Computing and Data Sciences : 8th International Conference, ICACDS 2024, Vélizy, France, May 9-10, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Singh, Mayank (EDT)/ Tyagi, Vipin (EDT)/ Gupta, P. K. (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 161pt
  • 海外取次在庫
Decision and Game Theory for Security : 15th International Conference, GameSec 2024, New York City, NY, USA, October 16-18, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Decision and Game Theory for Security : 15th International Conference, GameSec 2024, New York City, NY, USA, October 16-18, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Sinha, Arunesh (EDT)/ Fu, Jie (EDT)/ Zhu, Quanyan (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 142pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。