Mousavi, Mohammad Reza.

概要

作品:	4 作品在 6 項出版品 1 種語言

書目資訊

Formal methodsfoundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings / by: (1998 :); Massoni, Tiago.; Mousavi, Mohammad Reza.; SpringerLink (Online service) (書目-電子資源)

Cyber physical systemsdesign, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016 : revised selected papers / by: (1998 :); Berger, Christian.; Mousavi, Mohammad Reza.; SpringerLink (Online service); Wisniewski, Rafael. (書目-電子資源)

Topics in theoretical computer sciencethe first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015 : revised selected papers / by: (1998 :); Hajiaghayi, Mohammad Taghi.; Mousavi, Mohammad Reza.; SpringerLink (Online service) (書目-電子資源)

Topics in theoretical computer sciencesecond IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings / by: (1998 :); Mousavi, Mohammad Reza.; Sgall, Jiri.; SpringerLink (Online service) (書目-電子資源)

Cyber physical systemsdesign, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings / by: (1998 :); Berger, Christian.; Mousavi, Mohammad Reza.; SpringerLink (Online service) (書目-電子資源)

主題