國立虎尾科技大學 |

作品:	1 作品在 2 項出版品 1 種語言

Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings / by: Reis, Rogerio.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kutrib, Martin.; Moreira, Nelma.; SpringerLink (Online service) (書目-語言資料,印刷品)

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]

Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / by: SpringerLink (Online service); Moreira, Nelma.; Reis, Rogério. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings / by: SpringerLink (Online service); Moreira, Nelma.; Workshop on the Preservation of Stability under Discretization ((2001 :); Reis, Rogerio. (書目-語言資料,印刷品)

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]