Platzer, André.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Automated Deduction – CADE 28 = 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings /
by:
SpringerLink (Online service); Sutcliffe, Geoff.; Platzer, André.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logical Foundations of Cyber-Physical Systems
by:
SpringerLink (Online service); Platzer, André.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Correct System Design = Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
by:
Meyer, Roland.; SpringerLink (Online service); Wehrheim, Heike.; Platzer, André.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer logic.
Artificial intelligence.
Control, Robotics, Mechatronics.
Software engineering.
Control engineering.
Quality control.
Robotics.
Industrial safety.
Quality Control, Reliability, Safety and Risk.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Mechatronics.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Artificial Intelligence.
Reliability.