Home Advanced Search
Advanced Search - Page 1
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
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.)
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
Moral Key Words in the Holy Quran: A Quranic Interpretation of Moral Key Words
- English
- Year: 2013
- Author: Sayyed Mohammad Reza Hejazi; Sayyed Mohammad Reza Hejazi, Dr