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

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

Certified programs and proofs : first international conference, CPP 2011, Kenting, Taiwan, December
  • 作者：CPP 2011
  • ISBN：9783642253782
  • 出版社：Berlin ; New York : Springer, c2011.
  • 出版年：2011
...

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

Semantic technology : second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2
  • 作者：JIST 2012
  • ISBN：9783642379956
  • 出版社：Berlin ; New York : Springer, c2013.
  • 出版年：2013
...

Programming languages and systems : 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13,
  • 作者：APLAS 2012
  • ISBN：9783642351815
  • 出版社：Berlin : Springer, c2012.
  • 出版年：2012
...

19th International Display Workshops 2012 (IDW/AD''12) : Kyoto, Japan, 4-5 December 2012.
  • 作者：International Display Workshops
  • ISBN：9781627486521
  • 出版社：Campbell, CA : Society for Information Display, 2012.
  • 出版年：2012
...

Discovery science : third international conference, DS 2000, Kyoto, Japan, December 4-6, 2000 : proc
  • 作者：DS 2000
  • ISBN：3540413529
  • 出版社：Berlin ; New York : Springer, c2000.
  • 出版年：2000