Critical Information Infrastructures Security : 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Critical Information Infrastructures Security : 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Hämmerli, Bernhard (EDT)/ Helmbrecht, Udo (EDT)/ Hommel, Wolfgang (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 113pt
  • 海外取次在庫
Computational Science - ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Computational Science - ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Mikyška, Jiří (EDT)/ de Mulatier, Clélia (EDT)/ Paszynski, Maciej (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 189pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 94pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 94pt
  • 海外取次在庫
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Prevosto, Virgile (EDT)/ Seceleanu, Cristina (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 104pt
  • 海外取次在庫
Deep Learning Theory and Applications : 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings (Communications in Computer and Information Science)
  • 洋書

Deep Learning Theory and Applications : 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Conte, Donatello (EDT)/ Fred, Ana (EDT)/ Gusikhin, Oleg (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 170pt
  • 海外取次在庫
3D Research Challenges in Cultural Heritage III : Complexity and Quality in Digitisation (Lecture Notes in Computer Science)
  • 洋書

3D Research Challenges in Cultural Heritage III : Complexity and Quality in Digitisation (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ioannides, Marinos (EDT)/ Patias, Petros (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 94pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 94pt
  • 海外取次在庫
Composing Model-Based Analysis Tools (2021)
  • 洋書

Composing Model-Based Analysis Tools (2021)  Paperback,  言語:ENG

Heinrich, Robert (EDT)/ Durán, Francisco (EDT)/ Talcott, Carolyn (EDT)

  • ウェブストア価格 ¥22,712(本体¥20,648)
  • Springer Nature Switzerland AG(2022/12発売)
  • ポイント 206pt
  • 海外取次在庫
Optimization and Decision Science : ODS, Virtual Conference, November 19, 2020 (Airo Springer Series) (2021)
  • 洋書

Optimization and Decision Science : ODS, Virtual Conference, November 19, 2020 (Airo Springer Series) (2021)  Paperback,  言語:ENG

Cerulli, Raffaele (EDT)/ Dell'Amico, Mauro (EDT)/ Guerriero, Francesca (EDT)

  • ウェブストア価格 ¥33,326(本体¥30,297)
  • Springer Nature Switzerland AG(2023/01発売)
  • ポイント 302pt
  • 海外からお取り寄せ(通常6~9週間)
Computational Intelligence in Data Science : 4th IFIP TC 12 International Conference, ICCIDS 2021, Chennai, India, March 18-20, 2021, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2021)
  • 洋書

Computational Intelligence in Data Science : 4th IFIP TC 12 International Conference, ICCIDS 2021, Chennai, India, March 18-20, 2021, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2021)  Paperback,  言語:ENG

Krishnamurthy, Vallidevi (EDT)/ Jaganathan, Suresh (EDT)/ Rajaram, Kanchana (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer Nature Switzerland AG(2022/12発売)
  • ポイント 189pt
  • 海外取次在庫
Critical Infrastructure Protection XV : 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2022)
  • 洋書

Critical Infrastructure Protection XV : 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2022)  Paperback,  言語:ENG

Staggs, Jason (EDT)/ Shenoi, Sujeet (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer Nature Switzerland AG(2023/01発売)
  • ポイント 189pt
  • 海外取次在庫
Computational Science - ICCS 2022 : 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Computational Science - ICCS 2022 : 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Groen, Derek (EDT)/ de Mulatier, Clélia (EDT)/ Paszynski, Maciej (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 227pt
  • 海外取次在庫
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Shoham, Sharon (EDT)/ Vizel, Yakir (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 94pt
  • 海外取次在庫
Handbook of Computational Social Science for Policy (2023)
  • 洋書

Handbook of Computational Social Science for Policy (2023)  Hardcover,  言語:ENG

Bertoni, Eleonora (EDT)/ Fontana, Matteo (EDT)/ Gabrielli, Lorenzo (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 113pt
  • 海外取次在庫
Handbook of Computational Social Science for Policy (2023)
  • 洋書

Handbook of Computational Social Science for Policy (2023)  Paperback,  言語:ENG

Bertoni, Eleonora (EDT)/ Fontana, Matteo (EDT)/ Gabrielli, Lorenzo (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 94pt
  • 海外取次在庫
Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Schlingloff, Bernd-Holger (EDT)/ Chai, Ming (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 132pt
  • 海外取次在庫
Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dang, Thao (EDT)/ Stolz, Volker (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 142pt
  • 海外取次在庫
European Language Grid : A Language Technology Platform for Multilingual Europe (Cognitive Technologies)
  • 洋書

European Language Grid : A Language Technology Platform for Multilingual Europe (Cognitive Technologies)  Hardcover,  言語:ENG

Rehm, Georg (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 113pt
  • 海外取次在庫
European Language Grid : A Language Technology Platform for Multilingual Europe (Cognitive Technologies)
  • 洋書

European Language Grid : A Language Technology Platform for Multilingual Europe (Cognitive Technologies)  Paperback,  言語:ENG

Rehm, Georg (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 94pt
  • 海外取次在庫