Mousavi, Mohammad Reza.
Overview
Works: | 0 works in 4 publications in 1 languages |
---|
Titles
Topics in theoretical computer science = the first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Mousavi, Mohammad Reza.; Hajiaghayi, Mohammad Taghi.; SpringerLink (Online service)
(Language materials, printed)
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 /
by:
Mousavi, Mohammad Reza.; Philippou, Anna.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Topics in theoretical computer science = second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Sgall, Jiri.; Mousavi, Mohammad Reza.
(Language materials, printed)
Topics in Theoretical Computer Science = The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers /
by:
Hajiaghayi, Mohammed Taghi.; SpringerLink (Online service); Mousavi, Mohammad Reza.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Cyber physical systems = design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings /
by:
Berger, Christian.; SpringerLink (Online service); Mousavi, Mohammad Reza.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /
by:
Massoni, Tiago.; SpringerLink (Online service); Mousavi, Mohammad Reza.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Cyber Physical Systems. Design, Modeling, and Evaluation = 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings /
by:
Mousavi, Mohammad Reza.; SpringerLink (Online service); Berger, Christian.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Cyber physical systems = design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016 : revised selected papers /
by:
SpringerLink (Online service); Berger, Christian.; Workshop on the Preservation of Stability under Discretization ((2001 :); Mousavi, Mohammad Reza.; Wisniewski, Rafael.
(Language materials, printed)
Subjects
Mathematical logic.
Computer science—Mathematics.
Computer engineering.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Programming Techniques.
Computer programming.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Computer science
Mathematical Logic and Formal Languages.
Algorithms.
Artificial Intelligence (incl. Robotics)
Application software.
Cooperating objects (Computer systems)
Artificial Intelligence.
Computer graphics.
Computers.
Programming Languages, Compilers, Interpreters.
Sensor networks
Automatic control
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
Data Structures.
Information Systems Applications (incl. Internet).
Data structures (Computer science).
Computer Science.
Computer Engineering and Networks.
Computer communication systems.
Computer systems
Computer science.
Computer Graphics.
Discrete Mathematics in Computer Science.
Cybernetics
Programming languages (Electronic computers).
Computation by Abstract Devices.