Dongol, Brijesh.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.