咨询与建议

限定检索结果

文献类型

  • 396 篇 期刊文献
  • 202 篇 会议
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 378 篇 理学
    • 256 篇 物理学
    • 106 篇 地球物理学
    • 61 篇 数学
    • 41 篇 化学
    • 28 篇 统计学(可授理学、...
    • 25 篇 生物学
    • 14 篇 系统科学
    • 12 篇 海洋科学
  • 374 篇 工学
    • 144 篇 计算机科学与技术...
    • 106 篇 软件工程
    • 91 篇 仪器科学与技术
    • 80 篇 核科学与技术
    • 41 篇 电子科学与技术(可...
    • 39 篇 航空宇航科学与技...
    • 38 篇 信息与通信工程
    • 32 篇 电气工程
    • 25 篇 光学工程
    • 22 篇 土木工程
    • 20 篇 控制科学与工程
    • 19 篇 生物工程
    • 17 篇 化学工程与技术
    • 16 篇 冶金工程
    • 13 篇 建筑学
    • 12 篇 机械工程
    • 12 篇 动力工程及工程热...
    • 10 篇 材料科学与工程(可...
  • 48 篇 管理学
    • 34 篇 管理科学与工程(可...
    • 20 篇 工商管理
    • 15 篇 图书情报与档案管...
  • 11 篇 经济学
    • 11 篇 应用经济学
  • 11 篇 医学
  • 9 篇 法学
  • 5 篇 农学
  • 1 篇 教育学
  • 1 篇 军事学
  • 1 篇 艺术学

主题

  • 106 篇 hadron colliders
  • 31 篇 neutrons
  • 28 篇 w & z bosons
  • 24 篇 higgs bosons
  • 22 篇 computer archite...
  • 17 篇 cms
  • 15 篇 computer science
  • 15 篇 top quark
  • 14 篇 cosmic rays
  • 12 篇 hypothetical par...
  • 12 篇 relativistic hea...
  • 12 篇 telescopes
  • 12 篇 hardware
  • 11 篇 cosmology
  • 10 篇 bottom quark
  • 10 篇 hadron-hadron sc...
  • 9 篇 tau leptons
  • 9 篇 photomultipliers
  • 9 篇 quark & gluon je...
  • 8 篇 computational mo...

机构

  • 152 篇 centro brasileir...
  • 151 篇 national and kap...
  • 151 篇 istanbul technic...
  • 151 篇 yerevan physics ...
  • 150 篇 university of sp...
  • 149 篇 universidad iber...
  • 148 篇 indian institute...
  • 147 篇 brunel universit...
  • 147 篇 charles universi...
  • 145 篇 academy of scien...
  • 143 篇 university of de...
  • 142 篇 rwth aachen univ...
  • 141 篇 department of ph...
  • 140 篇 università di to...
  • 140 篇 imperial college...
  • 138 篇 indian institute...
  • 137 篇 infn sezione di ...
  • 135 篇 zhejiang univers...
  • 135 篇 institute for nu...
  • 132 篇 department of ph...

作者

  • 147 篇 ardid m.
  • 133 篇 ferrara g.
  • 116 篇 coleiro a.
  • 115 篇 kalekin o.
  • 115 篇 díaz a.f.
  • 112 篇 enzenhöfer a.
  • 110 篇 celli s.
  • 110 篇 brunner j.
  • 110 篇 coniglione r.
  • 109 篇 g. tonelli
  • 109 篇 d. barney
  • 109 篇 l. valencia palo...
  • 109 篇 t. liu
  • 109 篇 c. hensel
  • 109 篇 a. garcia-bellid...
  • 109 篇 a. steen
  • 109 篇 n. cartiglia
  • 109 篇 n. colino
  • 109 篇 f. moortgat
  • 109 篇 b. clerbaux

语言

  • 580 篇 英文
  • 20 篇 其他
  • 1 篇 中文
检索条件"机构=Chair of Computer Science 3 Computer Architecture"
601 条 记 录,以下是601-610 订阅
排序:
LLM-assisted Bug Identification and Correction for Verilog HDL
收藏 引用
ACM Transactions on Design Automation of Electronic Systems 1000年
作者: Khushboo Qayyum Chandan Kumar Jha Sallar Ahmadi-Pour Muhammad Hassan Rolf Drechsler Cyber Physical Systems DFKI Bremen Germany FB3 University of Bremen Bremen Germany Group of Computer Architecture University of Bremen Faculty 3 Mathematics and Computer Science Bremen Germany Faculty 03 Mathematics and Computer Science Computer Science University of Bremen Bremen Germany Computer Science University of Bremen Faculty 03 Mathematics and Computer Science Bremen Germany
As technology continues to advance, it becomes increasingly integrated into daily life facilitating complex tasks across a range of environments. While some applications such as smartphones and smartwatches are less c... 详细信息
来源: 评论