語系
Platzer, Andre.
概要
| 作品: | 0 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
Meyer, Roland.; Platzer, Andre.; Wehrheim, Heike.; SpringerLink (Online service)
(書目-電子資源)
Logical analysis of hybrid systems = proving theorems for complex dynamics /
by:
Platzer, Andre.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Automated deduction - CADE 28 = 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings /
by:
Platzer, Andre.; SpringerLink (Online service); International Conference on Automated Deduction (2021 :); Sutcliffe, Geoff.
(書目-電子資源)
Formal methods = 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.. Part II /
by:
Platzer, Andre.; SpringerLink (Online service); International Symposium of Formal Methods Europe (2024 :)
(書目-電子資源)
Logical foundations of cyber-physical systems
by:
Platzer, Andre.; SpringerLink (Online service)
(書目-電子資源)
主題
System analysis.
Control, Robotics, Mechatronics.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Software Engineering.
Natural Language Processing (NLP)
Hybrid systems.
Logics and Meanings of Programs.
Mathematics of Computing.
Programming Language.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Control Structures and Microprogramming.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer Science.
Logic, Symbolic and mathematical
Cooperating objects (Computer systems)
Quality Control, Reliability, Safety and Risk.