語系
Dongol, Brijesh.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Integrated formal methods = 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings /
by:
Dongol, Brijesh.; SpringerLink (Online service); International Conference on Integrated Formal Methods (2020 :); Troubitsyna, Elena.
(書目-電子資源)
Software engineering for robotics
by:
Dongol, Brijesh.; SpringerLink (Online service); Cavalcanti, Ana.; Woodcock, Jim.; Hierons, Rob.; Timmis, Jon.
(書目-電子資源)
Formal methods teaching = third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings /
by:
FMTea (Workshop) (2019 :); Dongol, Brijesh.; Petre, Luigia.; SpringerLink (Online service); International Symposium of Formal Methods Europe (2019 :); Smith, Graeme.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Natural Language Processing (NLP)
Logic in AI.
Algorithm Analysis and Problem Complexity.
Robotics.
Control Structures and Microprogramming.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software engineering.
Special Purpose and Application-Based Systems.
Computer System Implementation.
Robotics and Automation.