咨询与建议

限定检索结果

文献类型

  • 982 篇 会议
  • 37 篇 期刊文献
  • 24 册 图书

馆藏范围

  • 1,041 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 702 篇 工学
    • 583 篇 计算机科学与技术...
    • 365 篇 软件工程
    • 146 篇 电气工程
    • 57 篇 控制科学与工程
    • 30 篇 信息与通信工程
    • 27 篇 材料科学与工程(可...
    • 19 篇 电子科学与技术(可...
    • 16 篇 机械工程
    • 11 篇 动力工程及工程热...
    • 11 篇 生物医学工程(可授...
    • 10 篇 生物工程
    • 7 篇 仪器科学与技术
    • 7 篇 石油与天然气工程
    • 6 篇 城乡规划学
    • 4 篇 核科学与技术
    • 4 篇 农业工程
  • 191 篇 理学
    • 158 篇 数学
    • 19 篇 系统科学
    • 17 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 10 篇 生物学
  • 69 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 22 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 16 篇 教育学
    • 16 篇 教育学
  • 11 篇 文学
    • 11 篇 新闻传播学
  • 9 篇 法学
    • 8 篇 社会学
  • 6 篇 医学
    • 4 篇 基础医学(可授医学...
  • 4 篇 农学
    • 4 篇 作物学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 1 篇 军事学

主题

  • 96 篇 logic gates
  • 77 篇 programming
  • 63 篇 logic programmin...
  • 40 篇 fuzzy logic
  • 35 篇 application soft...
  • 30 篇 linear programmi...
  • 30 篇 probabilistic lo...
  • 27 篇 programming prof...
  • 27 篇 computer archite...
  • 26 篇 computer science
  • 26 篇 dynamic programm...
  • 23 篇 software enginee...
  • 23 篇 protocols
  • 21 篇 uncertainty
  • 20 篇 object oriented ...
  • 20 篇 java
  • 20 篇 semantics
  • 19 篇 computer circuit...
  • 18 篇 costs
  • 17 篇 software systems

机构

  • 4 篇 univ potsdam pot...
  • 4 篇 vienna univ tech...
  • 4 篇 imdea software i...
  • 4 篇 institute for lo...
  • 3 篇 tu wien austria
  • 3 篇 graduate school ...
  • 3 篇 univ calabria de...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ freiburg fr...
  • 3 篇 univ british col...
  • 3 篇 imperial coll lo...
  • 3 篇 department of in...
  • 2 篇 univ tecn federi...
  • 2 篇 ist austria klos...
  • 2 篇 univ savoie savo...
  • 2 篇 tel aviv univers...
  • 2 篇 zhongguancun lab...
  • 2 篇 univ ferrara dip...
  • 2 篇 south china univ...
  • 2 篇 univ neuchatel i...

作者

  • 8 篇 alviano mario
  • 6 篇 lamma evelina
  • 5 篇 schaub torsten
  • 4 篇 riguzzi fabrizio
  • 3 篇 lin yu
  • 3 篇 vardi moshe y.
  • 3 篇 gebser martin
  • 3 篇 bellodi elena
  • 3 篇 costa vitor sant...
  • 3 篇 shinji sakamoto
  • 3 篇 lakemeyer gerhar...
  • 3 篇 ikeda markus
  • 3 篇 zhou neng-fa
  • 3 篇 xu hongxiang
  • 3 篇 sabuncu orkunt
  • 3 篇 leonard barolli
  • 3 篇 schockaert steve...
  • 3 篇 pichler andreas
  • 3 篇 wang bin
  • 3 篇 de givry simon

语言

  • 1,015 篇 英文
  • 21 篇 其他
  • 8 篇 中文
  • 1 篇 法文
检索条件"任意字段=30th International Conference on Logic Programming"
1043 条 记 录,以下是1041-1050 订阅
排序:
Approximating the 2-catalog segmentation problem using semidefinite programming relaxations
收藏 引用
OPTIMIZATION MEthODS & SOFTWARE 2003年 第6期18卷 705-719页
作者: Xu, DC Ye, YY Zhang, JW Stanford Univ Dept Management Sci & Engn Stanford CA 94305 USA Chinese Acad Sci Acad Math & Syst Sci Inst Appl Math Beijing 100080 Peoples R China
We consider the 2-Catalog Segmentation problem (2-CatSP) introduced by Kleinberg et al. [J. Kleinberg, C. Papadimitriou and P. Raghavan (1998). Segmentation problems. In Proceedings of the 30th Symposium on theory of ... 详细信息
来源: 评论
Institute notes
Transactions of the South African Institute of Electrical En...
收藏 引用
Transactions of the South African Institute of Electrical Engineers 2021年 第12期46卷 367-367页
the Council wishes to draw the attention of members to the international conference on Large Electric Systems (C.I.G.R.E.) which will hold its sixteenth session in Paris from the 30th May to the 9th June 1956.
来源: 评论
Niels Bohr. the causality problem in atomic physics. New theories in physics, conference organized in collaboration with the international Union of Physics and the Polish Intellectual Co-operation Committee, Warsaw, May 30th-June 3rd 1938, international Institute of Intellectual Co-operation, Paris1939, pp. 11–38. Discussion, pp. 38–45, by C. Białobrzeski, L. Brillouin, Jean-Louis Destouches, J. von Neumann, and the author. - Werner Heisenberg. Language and reality in modern physics. Physics and philosophy, the revolution in modern science, by Werner Heisenberg, Harper &Brothers, New York1958, pp. 167–186. - Evert Willem Beth. Die Stellung der Logik im Gebäude der heutigen Wissenschaft. Studium generate, vol. 8 (1955), pp. 425–431.
收藏 引用
the Journal of Symbolic logic 2014年 第1期23卷 66-66页
作者: Alfons Borgers
来源: 评论