名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: Special Interest Group for Automata and Computability Theory (SIGACT) , 检索到: 7 条结果, 检索时间: 0.064 秒 , 排序选项: 排序方式: 隐藏分类导航
分类导航

T 工业技术 (7)



    文献类型

  1. 图书 (7)

    主题

  1. congresses (7)
  2. database management (5)
  3. computer programming (1)
  4. computer programs (1)
  5. correctness (1)
  6. data structures (computer science) (1)
  7. distributed processing (1)
  8. electronic data processing (1)
  9. logic, symbolic and mathematical (1)

    著者

  1. acm special interest group for automata and computability theory (7)
  2. association for computing machinery (6)
  3. acm sigact-sigmod-sigart symposium on principles of database systems (3)
  4. sigart (3)
  5. acm sigact-sigmod symposium on principles of database systems (2)
  6. acm sigact-sigops symposium on principles of distributed computing (1)
  7. acm special interest group in operating systems (1)
  8. association for symbolic logic (1)
  9. barwise, jon (1)
  10. chandra, ashok k (1)
  11. european association for theoretical computer science (1)
  12. ieee computer society (1)
  13. special interest group for automata and computability theory (sigact), special interest group for the management of data (sigmod), special interest group for artificial intelligence (sigart) (1)
  14. special interest group for autumata and computability theory (sigact), special interest group for the management of data (sigmod), special interest group for artificial intelligence (sigart) (1)
  15. sponsored by the acm special interest group for automata and computing theory [and] the acm special interest group for operating systems (1)
  16. sponsored by the ieee computer society technical committee on mathematical foundations of computing in cooperation with acm sigact, association for symbolic logic, [and] european association for theoretical computer science (1)
  17. symposium on logic in computer science (1)

    出版日期

    馆藏地点

    图书馆

    语言种类

    可借

  1. 不可借 (7)

    新到时间

  1. 过去7天 (0)
  2. 过去30天 (0)
  3. 过去60天 (0)
  4. 过去90天 (0)
  5. 过去180天 (0)
  6. 超过180天 (0)
保存至书单:
共 1 页 首页 <上一页 1 下一页>  尾页>>
1.
出版社: Association for Computing Machinery ;   出版日期: c1987.
文献类型: 图书 , 索书号:
2.
著者:
出版社: Association for Computing Machinery,   出版日期: c1989.
文献类型: 图书 , 索书号:
3.
出版社: Association for Computing Machinery ;   出版日期: c1982.
文献类型: 图书 , 索书号:
4.
出版社: Association for Computing Machinery,   出版日期: c1992.
文献类型: 图书 , 索书号:
5.
著者:
出版社: Association for Computing Machinery,   出版日期: c1983-c1986.
文献类型: 图书 , 索书号:
6.
著者:
出版社: Association for Computing Machinery,   出版日期: c1983.
文献类型: 图书 , 索书号:
7.
出版社: IEEE Computer Society Press,   出版日期: c1986.
文献类型: 图书 , 索书号:
共 1 页 首页 <上一页 1 下一页>  尾页>>
© 2005－ www.interlib.com.cn, all rights reserved 关于 联系我们 帮助