Marmsoler, Diego.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
Delmas, David.; Guidotti, Riccardo.; Marmsoler, Diego.; Oliveira, José N.; Farrell, Marie.; Campos, José.; Cerone, Antonio.; Couto, Luis.; Monteiro, Pedro.; Ratiu, Daniel.; Moreira, Nelma.; Kutrib, Martin.; Gonnord, Laure.; Astarte, Troy.; Dongol, Brijesh.; Luckcuck, Matt.; SpringerLink (Online service); Sekerinski, Emil.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal aspects of component software = 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
SpringerLink (Online service); Sun, Meng.; Marmsoler, Diego.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
by:
Marmsoler, Diego.; Oliveira, José N.; Guidotti, Riccardo.; Delmas, David.; Couto, Luis.; Campos, José.; Cerone, Antonio.; Farrell, Marie.; Astarte, Troy.; Dongol, Brijesh.; Gonnord, Laure.; Moreira, Nelma.; Kutrib, Martin.; Monteiro, Pedro.; Ratiu, Daniel.; Sekerinski, Emil.; SpringerLink (Online service); Luckcuck, Matt.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Formal methods (Computer science)
Computer System Implementation.
Software Engineering/Programming and Operating Systems.
Data Structures and Information Theory.
Artificial intelligence.
Special Purpose and Application-Based Systems.
Computer Applications.
Formal Languages and Automata Theory.
Software engineering.
Theory of Computation.
Computers.
Natural Language Processing (NLP)
Architecture, Computer.
Software engineering
Component software
Special purpose computers.
Application software.
Artificial Intelligence.