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
  • PDF
  • 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
  • PDF
  • 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
  • PDF
  • English
  • Year: 2015
  • Author: Mohammad Reza Mousavi, Christian Berger (eds.)
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Tiago Massoni, Mohammad Reza Mousavi
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
  • PDF
  • English
  • Year: 2022
  • Author: Mohammad Reza Mousavi, Anna Philippou
Modeling and Analysis of Communicating Systems
  • DJVU
  • English
  • Year: 2014
  • Author: Jan Friso Groote, Mohammad Reza Mousavi
Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27–31, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Dana S. Scott (auth.), Jiří Sgall, Aleš Pultr, Petr Kolman (eds.)
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
  • PDF
  • English
  • Year: 2011
  • Author: Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
  • PDF
  • English
  • Year: 2011
  • Author: Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
  • PDF
  • English
  • Year: 2011
  • Author: Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)
search