Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Dubois, Catherine (EDT)/ San Pietro, Pierluigi (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 119pt
  • 海外取次在庫
Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings (Lecture Notes in Computer Science)
  • 洋書

Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dubois, Catherine (EDT)/ Kerber, Manfred (EDT)

  • ウェブストア価格 ¥18,667(本体¥16,970)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 169pt
  • 海外取次在庫