Mousavi, Mohammad Reza.
概要
| 作品: | 0 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [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 :)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
主題
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.