國立虎尾科技大學 |

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

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

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

Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: Kutrib, Martin.; Bordihn, Henning.; Truthe, Bianca.; SpringerLink (Online service) (書目-語言資料,印刷品)

Cellular Automata and Discrete Complex Systems = 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings / by: SpringerLink (Online service); Kutrib, Martin.; Baetens, Jan M. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Cellular automata and discrete complex systems = 19th International Workshop, AUTOMATA 2013, Giessen, Germany, September 17-19, 2013 : proceedings / by: Kutrib, Martin.; Malcher, Andreas.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Kari, Jarkko. (書目-語言資料,印刷品)

Descriptional complexity of formal systems = 13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings / by: Kutrib, Martin.; Holzer, Markus.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Pighizzini, Giovanni. (書目-語言資料,印刷品)

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