語系
Dongol, Brijesh.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Integrated formal methods16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings /
by:
(1998 :); Dongol, Brijesh.; SpringerLink (Online service); Troubitsyna, Elena.
(書目-電子資源)
Formal methods teachingthird 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:
(1998 :); Dongol, Brijesh.; Petre, Luigia.; Smith, Graeme.; SpringerLink (Online service)
(書目-電子資源)
Software engineering for robotics
by:
Cavalcanti, Ana.; Dongol, Brijesh.; Hierons, Rob.; SpringerLink (Online service); Timmis, Jon.; Woodcock, Jim.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Natural Language Processing (NLP)
Logic in AI.
Algorithm Analysis and Problem Complexity.
Control Structures and Microprogramming.
Robotics.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Software engineering.
Computer System Implementation.
Robotics and Automation.