Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Lecture Notes in Comp
  • 洋書

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Lecture Notes in Comp  Paperback,  言語:ENG

Wies, Thomas (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 92pt
  • 海外取次在庫
Networked Systems : 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Networked Systems : 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Mohaisen, David (EDT)/ Wies, Thomas (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 119pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Finkbeiner, Bernd (EDT)/ Wies, Thomas (EDT)

  • ウェブストア価格 ¥20,273(本体¥18,430)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 184pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Euro-Par 2020: Parallel Processing Workshops : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書

Euro-Par 2020: Parallel Processing Workshops : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback

Balis, Bartosz (EDT)/ B. Heras, Dora (EDT)/ Antonelli, Laura (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 101pt
  • 海外取次在庫
Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Paskevich, Andrei (EDT)/ Wies, Thomas (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2017/12発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。