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

Certified programs and proofs : first international conference CPP 2011 Kenting Taiwan December
出版社：Berlin ; New York : Springer, c2011.
ISBN：9783642253782
出版年：2011
作者：CPP 2011
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Certified programs and proofs : Second international conference, CPP 2012, Kyoto, Japan, December 13
  • 作者：CPP 2012
  • ISBN：9783642353079
  • 出版社：Berlin ; New York : Springer, c2012.
  • 出版年：2012
...

Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia,
  • 作者：CPP 2013
  • ISBN：9783319035444
  • 出版社：Berlin : Springer, c2013.
  • 出版年：2013
...

Astroparticle physics : proceedings of the first NCTS workshop ,6-8 december, 2001,Kenting,Taiwan
  • 作者：First NCTS workshop Astroparticle physics
  • ISBN：9812381031
  • 出版社：Singapore : World Scientific, 2001.
  • 出版年：2001
...

Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7,
  • 作者：APLAS 2011
  • ISBN：9783642253171
  • 出版社：Berlin : Springer, 2011.
  • 出版年：2011
...

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December
  • 作者：TYPES 2004
  • ISBN：3540314288
  • 出版社：Berlin ; New York : Springer, c2006.
  • 出版年：2006
...

Advances in web-based learning-- ICWL 2013 : 12th International Conference, Kenting, Taiwan, October
  • 作者：ICWL 2013
  • ISBN：9783642411748
  • 出版社：Berlin : Springer, c2013.
  • 出版年：2013