Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (Programming and Software Engineering) (2018)
  • 洋書
  • 電子版あり

Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (Programming and Software Engineering) (2018)  Paperback,  言語:ENG

Massoni, Tiago (EDT)/ Mousavi, Mohammad Reza (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 123pt
  • 海外取次在庫
Rebeca for Actor Analysis in Action : Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science)
  • 洋書

Rebeca for Actor Analysis in Action : Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Lee, Edward A. (EDT)/ Mousavi, Mohammad Reza (EDT)/ Talcott, Carolyn (EDT)

  • ウェブストア価格 ¥16,744(本体¥15,222)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 152pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy,
  • 洋書

Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy,  Paperback

Mousavi, Mohammad Reza (EDT)/ Philippou, Anna (EDT)

  • ウェブストア価格 ¥16,744(本体¥15,222)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 152pt
  • 海外からお取り寄せ(通常6~9週間)
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Mousavi, Mohammad (EDT)/ Sgall, Jiří (EDT)

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