咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 22 篇 会议
  • 20 篇 期刊文献

馆藏范围

  • 42 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 31 篇 工学
    • 29 篇 计算机科学与技术...
    • 21 篇 软件工程
    • 8 篇 电气工程
    • 7 篇 控制科学与工程
    • 6 篇 信息与通信工程
    • 1 篇 电子科学与技术（可...
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 生物工程
  • 19 篇 理学
    • 15 篇 数学
    • 2 篇 物理学
    • 2 篇 生物学
    • 2 篇 统计学（可授理学、...
  • 2 篇 哲学
    • 2 篇 哲学
  • 2 篇 法学
    • 2 篇 社会学
  • 2 篇 文学
    • 2 篇 中国语言文学
    • 2 篇 外国语言文学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 2 篇 艺术学
    • 2 篇 艺术学理论
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...

主题

  • 3 篇 functional progr...
  • 2 篇 specification la...
  • 2 篇 codes (symbols)
  • 1 篇 computer science
  • 1 篇 ethnomethodology
  • 1 篇 software systems
  • 1 篇 sleep research
  • 1 篇 cscw
  • 1 篇 runtime
  • 1 篇 maintenance engi...
  • 1 篇 community that c...
  • 1 篇 alternating bit ...
  • 1 篇 organisations
  • 1 篇 concurrent compu...
  • 1 篇 type theory
  • 1 篇 goal
  • 1 篇 μ-calculus
  • 1 篇 motivational int...
  • 1 篇 type
  • 1 篇 bring your own d...

机构

  • 6 篇 programming meth...
  • 3 篇 programming meth...
  • 2 篇 group in logic a...
  • 2 篇 programming meth...
  • 2 篇 programming meth...
  • 2 篇 department of el...
  • 2 篇 group in logic a...
  • 1 篇 the cathie marsh...
  • 1 篇 psychiatry unive...
  • 1 篇 biosemantics gro...
  • 1 篇 department of me...
  • 1 篇 programming meth...
  • 1 篇 programming meth...
  • 1 篇 department of ne...
  • 1 篇 lifmet epfl laus...
  • 1 篇 department of be...
  • 1 篇 health dispariti...
  • 1 篇 université paris...
  • 1 篇 center for clini...
  • 1 篇 medicine yale sc...

作者

  • 4 篇 dybjer peter
  • 3 篇 adleman leonard
  • 3 篇 johnsson thomas
  • 3 篇 manders kenneth
  • 2 篇 hallnäs lars
  • 2 篇 hendrikse sophie...
  • 2 篇 schroeder-heiste...
  • 2 篇 holmström sören
  • 2 篇 treur jan
  • 2 篇 necula george c.
  • 2 篇 hughes john
  • 2 篇 schneck robert r...
  • 2 篇 rittri mikael
  • 1 篇 flocke susan
  • 1 篇 barend mons
  • 1 篇 rollins angie
  • 1 篇 whiteside-mansel...
  • 1 篇 fremont daniel j...
  • 1 篇 chambers rachell...
  • 1 篇 melvin abigail

语言

  • 39 篇 英文
  • 3 篇 其他
检索条件"机构=Programming Methodology Group Department of Computer Sciences"
共 42 条 记 录，以下是41-50 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Diophantine complexity  17
Diophantine complexity
收藏
分享
引用
17th Annual Symposium on Foundations of computer Science, SFCS 1976
作者： Adleman, Leonard Manders, Kenneth Computer Science Division Department of Electrical Engineering and Computer Sciences Electronics Research Laboratory University of California at Berkeley BerkeleyCA94720 United States Group in Logic and Methodology University of California at Berkeley BerkeleyCA94720 United States
来源： 评论
Computational complexity of decision procedures for polynomials  16
Computational complexity of decision procedures for polynomi...
收藏
分享
引用
16th Annual Symposium on Foundations of computer Science, SFCS 1975
作者： Adleman, Leonard Manders, Kenneth Computer Science Division Department of Electrical Engineering and Computer Sciences Electronics Research Laboratory United States Group in Logic and Methodology University of California at Berkeley BerkeleyCA94720 United States
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共5页 <<  < 1 2 3 4 5 >  >>
回到顶部
执行限定条件