語系
Taha, Walid.
概要
| 作品: | 4 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Cyber Physical Systems. Model-Based Design = 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers /
by:
Törngren, Martin.; Taha, Walid.; Chamberlain, Roger.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
by:
Taha, Walid.; SpringerLink (Online service); Lierler, Yuliya.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Cyber physical systems = model-based design : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Taha, Walid.; SpringerLink (Online service); Chamberlain, Roger.; Torngren, Martin.
(書目-語言資料,印刷品)
Cyber Physical Systems. Model-Based Design = 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /
by:
Chamberlain, Roger.; SpringerLink (Online service); Taha, Walid.; Edin Grimheden, Martin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Cyber physical systems = design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017 : revised selected papers /
by:
Torngren, Martin.; SpringerLink (Online service); Chamberlain, Roger.; Taha, Walid.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Cyber Physical Systems. Design, Modeling, and Evaluation = 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
by:
Taha, Walid.; SpringerLink (Online service); Chamberlain, Roger.; Törngren, Martin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Computer System Implementation.
Software engineering.
Computer Appl. in Administrative Data Processing.
Programming Techniques.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Application software.
Cooperating objects (Computer systems)
Computers.
Programming Languages, Compilers, Interpreters.
Automatic control
Sensor networks
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Declarative programming
Information Systems Applications (incl. Internet).
Architecture, Computer.
Computer Science.
Microprogramming .
Special purpose computers.
Computer simulation.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Simulation and Modeling.
Computing Milieux.
Computer systems
Cybernetics
Computer Hardware.
Declarative programming languages
Computer hardware.
Programming languages (Electronic computers).