Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops : ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops : ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Proença, José (EDT)/ Fervari, Raul (EDT)/ Martins, Manuel A. (EDT)

  • Springer International Publishing AG(2025/09発売)
  • ご注文いただけません
Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Madeira, Alexandre (EDT)/ Martins, Manuel A. (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 113pt
  • 海外取次在庫
Dynamic Logic. New Trends and Applications : Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書

Dynamic Logic. New Trends and Applications : Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Martins, Manuel A. (EDT)/ Sedlár, Igor (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (2019)
  • 洋書
  • 電子版あり

Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

Chaves, Madalena (EDT)/ Martins, Manuel A. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。