Home Advanced Search
Advanced Search - Page 1
Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
- English
- Year: 2017
- Author: Mohammad Reza Mousavi, Jiří Sgall (eds.)
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
- English
- Year: 2016
- Author: Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi (eds.)
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
- English
- Year: 2015
- Author: Mohammad Reza Mousavi, Christian Berger (eds.)
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, June 13–17, 2022 Proceedings
- English
- Year: 2022
- Author: Mohammad Reza Mousavi, Anna Philippou
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
- English
- Year: 2018
- Author: Tiago Massoni, Mohammad Reza Mousavi
Modeling and Analysis of Communicating Systems
- DJVU
- English
- Year: 2014
- Author: Jan Friso Groote, Mohammad Reza Mousavi
Selected Topics in Applications of Quantum Mechanics
- English
- Year: 2015
- Author: Pahlavani, Mohammad Reza