Tests and proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013 : pro

Tests and proofs : 7th International Conference TAP 2013 Budapest Hungary June 16-20 2013 : pro

出版社：Berlin ; New York : Springer, c2013.

ISBN：9783642389153

出版年：2013

作者：TAP 2013

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013 : pr

作者：SC 2013
ISBN：9783642396137
出版社：Berlin ; New York : Springer, c2013.
出版年：2013

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

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

Tests and proofs : 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, Franc

作者：TAP 2022
ISBN：9783031098260
出版社：Cham : Springer, 2022.
出版年：2022

Combinatorics on words : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20,

作者：WORDS 2013
ISBN：9783642405785
出版社：Berlin : Springer, c2013.
出版年：2013

16th International Lead Conference : Pb2007, June 20-21, 2007, Budapest, Hungary.

作者：International Lead Conference
ISBN：1604232005
出版社：London : Lead Development Association International, 2007.
出版年：2007

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

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