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

Trends in functional programming : 14th International Symposium TFP 2013 Provo UT USA May 14-16
出版社：Heidelberg : Springer, c2014.
ISBN：9783642453397
出版年：2014
作者：TFP 2013
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Trends in functional programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18
  • 作者：TFP 2011
  • ISBN：9783642320361
  • 出版社：Heidelberg : Springer, c2012.
  • 出版年：2012
...

Trends in functional programming : 11th international symposium, TFP 2010, Norman, OK, USA, May 17-1
  • 作者：TFP 2010
  • ISBN：9783642229404
  • 出版社：Heidelberg ; New York : Springer, c2011.
  • 出版年：2011
...

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013
  • 作者：NFM 2013
  • ISBN：9783642380877
  • 出版社：Berlin ; New York : Springer, c2013.
  • 出版年：2013
...

Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16,
  • 作者：FLOPS 2008
  • ISBN：9783540789680
  • 出版社：Berlin ; New York : Springer, c2008.
  • 出版年：2008
...

Trends in functional programming : 24th International Symposium, TFP 2023, Boston, MA, USA, January
  • 作者：TFP 2023
  • ISBN：9783031389375
  • 出版社：Cham, Switzerland : Springer, 2023.
  • 出版年：2023
...

Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11
  • 作者：FLOPS 2018
  • ISBN：9783319906850
  • 出版社：Cham, Switzerland : Springer, 2018.
  • 出版年：2018