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

2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016) : New York New York U
出版社：Piscataway, N.J. : IEEE, 2016.
ISBN：9781450343916
出版年：2016
作者：IEEE Symposium on Logic in Computer Science
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013) : New Orleans, Louisian
  • 作者：IEEE Symposium on Logic in Computer Science
  • ISBN：9781479904136
  • 出版社：Piscataway, N.J. : IEEE Computer Society, c2013.
  • 出版年：2013
...

2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS 2016) : New Brunswick, New
  • 作者：Symposium on Foundations of Computer Science
  • ISBN：9781509039340
  • 出版社：Piscataway, N.J. : IEEE, 2016.
  • 出版年：2016
...

Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July
  • 作者：CAV 2019
  • ISBN：9783030255398
  • 出版社：Cham, Switzerland : Springer, 2019.
  • 出版年：2019
...

Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July
  • 作者：CAV 2019
  • ISBN：9783030255428
  • 出版社：Cham, Switzerland : SpringerOpen, 2019.
  • 出版年：2019
...

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019) : Vancouver, British Co
  • 作者：IEEE Symposium on Logic in Computer Science
  • ISBN：9781728136097
  • 出版社：Piscataway, N.J. : IEEE, 2019.
  • 出版年：2019
...

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017) : Reykjavik, Iceland, 2
  • 作者：IEEE Symposium on Logic in Computer Science
  • ISBN：9781509030194
  • 出版社：Piscataway, N.J. : IEEE Computer Society, c2017.
  • 出版年：2017