Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding  Paperback,  言語:ENG

Sankaranarayanan, Sriram (EDT)/ Sharygina, Natasha (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 94pt
  • 海外取次在庫
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
  • 海外取次在庫
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,491(本体¥30,447)
  • Springer Nature Switzerland AG(2023/01発売)
  • ポイント 304pt
  • 海外からお取り寄せ(通常6~9週間)
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
  • 海外取次在庫
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
  • 海外からお取り寄せ(通常6~9週間)
Trends in Functional Programming : 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Trends in Functional Programming : 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Swierstra, Wouter (EDT)/ Wu, Nicolas (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 94pt
  • 海外取次在庫
Computing and Combinatorics : 28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Computing and Combinatorics : 28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Zhang, Yong (EDT)/ Miao, Dongjing (EDT)/ Möhring, Rolf (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 170pt
  • 海外取次在庫
Algorithms and Architectures for Parallel Processing : 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Algorithms and Architectures for Parallel Processing : 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Meng, Weizhi (EDT)/ Lu, Rongxing (EDT)/ Min, Geyong (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 227pt
  • 海外取次在庫
High Performance Computing. ISC High Performance 2022 International Workshops : Hamburg, Germany, May 29 - June 2, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

High Performance Computing. ISC High Performance 2022 International Workshops : Hamburg, Germany, May 29 - June 2, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Anzt, Hartwig (EDT)/ Bienz, Amanda (EDT)/ Luszczek, Piotr (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 142pt
  • 海外取次在庫
Machine Learning and Principles and Practice of Knowledge Discovery in Databases : International Workshops of ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part II (Communications in Computer and Information Science)
  • 洋書

Machine Learning and Principles and Practice of Knowledge Discovery in Databases : International Workshops of ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part II (Communications in Computer and Information Science)  Paperback,  言語:ENG

Koprinska, Irena (EDT)/ Mignone, Paolo (EDT)/ Guidotti, Riccardo (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 170pt
  • 海外取次在庫
Silicon Valley Cybersecurity Conference : Third Conference, SVCC 2022, Virtual Event, August 17-19, 2022, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Silicon Valley Cybersecurity Conference : Third Conference, SVCC 2022, Virtual Event, August 17-19, 2022, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Bathen, Luis (EDT)/ Saldamli, Gokay (EDT)/ Sun, Xiaoyan (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 94pt
  • 海外取次在庫
Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Lal, Akash (EDT)/ Tonetta, Stefano (EDT)

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