Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30 -July1, 2011

Tests and proofs : 5th international conference TAP 2011 Zurich Switzerland June 30 -July1 2011

出版社：Berlin : Springer, c2011.

ISBN：9783642217678

出版年：2011

作者：TAP 2011

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Software composition : 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1

作者：SC 2011
ISBN：9783642220449
出版社：Berlin ; Heidelberg ; New York : Springer, c2011.
出版年：2011

Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : p

作者：TAP 2009
ISBN：9783642029486
出版社：Berlin ; New York : Springer, c2009.
出版年：2009

Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 20

作者：TAP 2007
ISBN：9783540737698
出版社：Berlin ; New York : Springer, c2007.
出版年：2007

Semantics in data and knowledge bases : 5th International Workshop, SDKB 2011, Zurich, Switzerland,

作者：SDKB 2011
ISBN：9783642360077
出版社：Berlin ; New York : Springer, c2013.
出版年：2013

Tests and proofs : 4th international conference, TAP 2010, Málaga, Spain, July 1-2, 2010 : proceedi

作者：TAP 2010
ISBN：9783642139765
出版社：Berlin : Springer, c2010.
出版年：2010

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 20

作者：TAP 2012
ISBN：9783642304729
出版社：Berlin : Springer, c2012.
出版年：2012