Tests and proofs : 11th International Conference TAP 2017 Held as part of STAF 2017 Marburg Germ

出版社:Cham, Switzerland : Springer, 2017.
ISBN:9783319614663
出版年:2017
作者:TAP 2017
资源类型:图书
细分类型:西文文献
相关推荐

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

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

Tests and proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norwa

  • 作者:TAP 2020
  • ISBN:9783030509941
  • 出版社:Cham : Springer, 2020.
  • 出版年:2020

Tests and proofs : 9th International Conference, TAP 2015, held as part of STAF 2015, L''Aquila, Ital

  • 作者:TAP 2015
  • ISBN:9783319212142
  • 出版社:Cham : Springer, [2015]
  • 出版年:2015

Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Aus

  • 作者:TAP 2016
  • ISBN:9783319411347
  • 出版社:Switzerland : Springer, 2016.
  • 出版年:2016

Tests and proofs : 15th International Conference, TAP 2021, held as part of STAF 2021, Virtual event

  • 作者:TAP 2021
  • ISBN:9783030793784
  • 出版社:Cham : Springer, 2021.
  • 出版年:2021

Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, Fra

  • 作者:TAP 2018
  • ISBN:9783319929934
  • 出版社:Cham, Switzerland : Springer, 2018.
  • 出版年:2018