Dongol, Brijesh.

概要

作品:	0 作品在 0 項出版品 0 種語言

書目資訊

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / by: Delmas, David.; Oliveira, José N.; Farrell, Marie.; Cerone, Antonio.; Campos, José.; Kutrib, Martin.; Moreira, Nelma.; Dongol, Brijesh.; Luckcuck, Matt.; SpringerLink (Online service); Guidotti, Riccardo.; Marmsoler, Diego.; Couto, Luis.; Monteiro, Pedro.; Ratiu, Daniel.; Gonnord, Laure.; Astarte, Troy.; Sekerinski, Emil. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Software Engineering for Robotics by: Timmis, Jon.; Cavalcanti, Ana.; SpringerLink (Online service); Dongol, Brijesh.; Hierons, Rob.; Woodcock, Jim. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

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: Smith, Graeme.; Petre, Luigia.; Dongol, Brijesh.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Integrated Formal Methods = 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / by: Dongol, Brijesh.; SpringerLink (Online service); Troubitsyna, Elena. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / by: Oliveira, José N.; Delmas, David.; Cerone, Antonio.; Campos, José.; Farrell, Marie.; Dongol, Brijesh.; Kutrib, Martin.; Moreira, Nelma.; SpringerLink (Online service); Luckcuck, Matt.; Marmsoler, Diego.; Guidotti, Riccardo.; Couto, Luis.; Astarte, Troy.; Gonnord, Laure.; Monteiro, Pedro.; Ratiu, Daniel.; Sekerinski, Emil. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

主題

Mathematical logic. Software Engineering. Computer System Implementation. Software Engineering/Programming and Operating Systems. Computer logic. Algorithm Analysis and Problem Complexity. Artificial intelligence. Software engineering. Robotics and Automation. Automation. Logic in AI. Theory of Computation. Natural language processing (Computer science). Architecture, Computer. Microprogramming . Algorithms. Mathematical Logic and Formal Languages. Special purpose computers. Application software. Artificial Intelligence. Special Purpose and Application-Based Systems. Computer Applications. Control Structures and Microprogramming. Natural Language Processing (NLP). Robotics. Computers. Programming languages (Electronic computers). Programming Languages, Compilers, Interpreters.