語系
Dutle, Aaron.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
NASA formal methods13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /
by:
(1998 :); Dutle, Aaron.; SpringerLink (Online service)
(書目-電子資源)
NASA formal methods10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings /
by:
(1998 :); Dutle, Aaron.; Munoz, Cesar.; Narkawicz, Anthony.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Theory of Computation.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Computer Science.
Simulation and Modeling.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.