登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Formal grammar : 19th International Conference FG 2014 Tubingen Germany August 16-17 2014 : pro
出版社：Heidelberg : Springer, 2014.
ISBN：9783662441206
出版年：2014
作者：FG 2014
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

FM 2014 : Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings
  • 作者：International Symposium of Formal Methods Europe
  • ISBN：9783319064093
  • 出版社：Cham : Springer, 2014.
  • 出版年：2014
...

Formal grammar : 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010,
  • 作者：FG 2010
  • ISBN：9783642320231
  • 出版社：Berlin : Springer, c2012.
  • 出版年：2012
...

Formal grammar : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019 : proceedings
  • 作者：FG 2019
  • ISBN：9783662596470
  • 出版社：Berlin : Springer, 2019.
  • 出版年：2019
...

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014 Florence,
  • 作者：FMICS 2014
  • ISBN：9783319107011
  • 出版社：Cham : Springer, 2014.
  • 出版年：2014
...

Formal grammar : 17th and 18th International Conferences, FG 2012/2013, Opole, Poland, August 2012 :
  • 作者：FG 2012
  • ISBN：9783642399978
  • 出版社：Berlin : Springer, c2013.
  • 出版年：2013
...

Trusted systems : 6th International Conference, INTRUST 2014, Beijing, China, December 16-17 2014, r
  • 作者：INTRUST 2014
  • ISBN：9783319279978
  • 出版社：Cham : Springer, 2015.
  • 出版年：2015