Modeling and Analysis of Communicating Systems
  • 洋書

Modeling and Analysis of Communicating Systems

Groote, Jan Friso/Mousavi, Mohammad Reza

  • MIT Press(2023/05発売)
  • ご注文いただけません
Modeling and Analysis of Communicating Systems (Modeling and Analysis of Communicating Systems) -- Hardback
  • 洋書

Modeling and Analysis of Communicating Systems (Modeling and Analysis of Communicating Systems) -- Hardback  Hardcover

Groote, Jan Friso/ Mousavi, Mohammad Reza

  • ウェブストア価格 ¥12,933(本体¥11,758)
  • Mit Press Ltd(2014/08発売)
  • ポイント 117pt
  • 海外からお取り寄せ(通常6~9週間)
Topics in Theoretical Computer Science : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書

Topics in Theoretical Computer Science : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback

Hajiaghayi, Mohammed Taghi (EDT)/ Mousavi, Mohammad Reza (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 102pt
  • 海外取次在庫
Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (Lecture Notes in Computer Science) (2018)
  • 洋書
  • 電子版あり

Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (Lecture Notes in Computer Science) (2018)  Paperback,  言語:ENG

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

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

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

Herausgegeben:Lee, Edward A./Mousavi, Mohammad Reza/Talcott, Carolyn

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ご注文いただけません
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,579(本体¥15,072)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 150pt
  • 海外からお取り寄せ(通常6~9週間)
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

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

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

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Berger, Christian (EDT)/ Mousavi, Mohammad Reza (EDT)/ Wisniewski, Rafael (EDT)

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