語系
Dutle, Aaron.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings /
by:
SpringerLink (Online service); Munoz, Cesar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dutle, Aaron.; Narkawicz, Anthony.
(書目-語言資料,印刷品)
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings /
by:
Muñoz, César A.; Perez, Ivan.; Dutle, Aaron.; Moscato, Mariano M.; Titolo, Laura.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings /
by:
Perez, Ivan.; Dutle, Aaron.; Moscato, Mariano M.; Muñoz, César A.; SpringerLink (Online service); Titolo, Laura.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
by:
Muñoz, César.; SpringerLink (Online service); Dutle, Aaron.; Narkawicz, Anthony.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Formal methods (Computer science)
Computer organization.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Computer networks .
Artificial intelligence.
System Performance and Evaluation.
Software engineering.
Theory of Computation.
Computer Science.
Computer Systems Organization and Communication Networks.
Computer simulation.
Computer Engineering and Networks.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Simulation and Modeling.
Computer science.
Computer system failures.
Computers.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).