咨询与建议

限定检索结果

文献类型

  • 2,450 篇 会议
  • 99 册 图书
  • 85 篇 期刊文献

馆藏范围

  • 2,634 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,646 篇 工学
    • 1,291 篇 计算机科学与技术...
    • 656 篇 软件工程
    • 366 篇 电气工程
    • 251 篇 控制科学与工程
    • 109 篇 信息与通信工程
    • 105 篇 机械工程
    • 61 篇 电子科学与技术(可...
    • 40 篇 动力工程及工程热...
    • 36 篇 交通运输工程
    • 34 篇 仪器科学与技术
    • 24 篇 建筑学
    • 24 篇 石油与天然气工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 生物工程
    • 22 篇 公安技术
    • 20 篇 土木工程
    • 20 篇 安全科学与工程
  • 402 篇 理学
    • 300 篇 数学
    • 60 篇 系统科学
    • 53 篇 物理学
    • 46 篇 统计学(可授理学、...
    • 28 篇 生物学
    • 25 篇 化学
  • 237 篇 管理学
    • 177 篇 管理科学与工程(可...
    • 75 篇 图书情报与档案管...
    • 60 篇 工商管理
  • 71 篇 教育学
    • 71 篇 教育学
  • 33 篇 经济学
    • 26 篇 应用经济学
  • 28 篇 医学
    • 19 篇 基础医学(可授医学...
  • 27 篇 法学
    • 19 篇 社会学
  • 9 篇 农学
  • 9 篇 艺术学
  • 4 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 184 篇 logic gates
  • 172 篇 fuzzy logic
  • 150 篇 programming
  • 107 篇 logic programmin...
  • 94 篇 linear programmi...
  • 76 篇 artificial intel...
  • 71 篇 dynamic programm...
  • 59 篇 probabilistic lo...
  • 58 篇 software enginee...
  • 58 篇 optimization
  • 57 篇 computer science
  • 57 篇 semantics
  • 47 篇 software
  • 45 篇 logic design
  • 44 篇 formal logic
  • 44 篇 computer archite...
  • 43 篇 mathematical mod...
  • 42 篇 mathematical log...
  • 41 篇 logic
  • 41 篇 hardware

机构

  • 7 篇 institute for lo...
  • 5 篇 institute of log...
  • 5 篇 university of am...
  • 5 篇 department of in...
  • 4 篇 natl tech univ a...
  • 4 篇 international bu...
  • 4 篇 tu wien austria
  • 4 篇 graduate school ...
  • 4 篇 university of al...
  • 4 篇 imdea software i...
  • 4 篇 carnegie mellon ...
  • 4 篇 university of te...
  • 4 篇 university of mi...
  • 3 篇 university of la...
  • 3 篇 department of co...
  • 3 篇 free univ bozen ...
  • 3 篇 department of co...
  • 3 篇 department of co...
  • 3 篇 ibm corp armonk ...
  • 3 篇 cesnet prague cz...

作者

  • 7 篇 woltran stefan
  • 6 篇 eiter thomas
  • 5 篇 leone nicola
  • 5 篇 faber wolfgang
  • 5 篇 tompits hans
  • 4 篇 tian cong
  • 4 篇 tokhi m. o.
  • 4 篇 sakama chiaki
  • 4 篇 jânio monteiro
  • 4 篇 frangopoulos chr...
  • 4 篇 barnes tiffany
  • 4 篇 pedro j. s. card...
  • 4 篇 michael h. lees
  • 4 篇 l.g. votta
  • 4 篇 jack j. dongarra
  • 4 篇 leonard barolli
  • 4 篇 dimopoulos georg...
  • 4 篇 roberto lam
  • 4 篇 valeria v. krzhi...
  • 4 篇 duan zhenhua

语言

  • 2,573 篇 英文
  • 37 篇 其他
  • 18 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2634 条 记 录,以下是2631-2640 订阅
排序:
Palm trees and islands - Current filaments in the edge of JET
收藏 引用
JOURNAL OF NUCLEAR MATERIALS 2011年 第1期415卷 S451-S454页
作者: Maszl, Ch. Naulin, V. Brix, M. Versloot, T. W. Schrittwieser, R. Univ Innsbruck Inst Ion Phys & Appl Phys Assoc EURATOM OAW A-6020 Innsbruck Austria JET EFDA Culham Sci Ctr Abingdon OX14 3DB Oxon England Danish Tech Univ Assoc EURATOM RISO DTU Roskilde Denmark Assoc EURATOM CCFE Culham Sci Ctr Abingdon OX14 3DB Oxon England EURATOM FOM Inst Rijnhuizen Nieuwegein Netherlands
It is now well known that edge localized modes (ELMS) lead to the ejection of a number of filamentary structures into the scrape-off layer (SOL). ELMS thus generate structures with excess energy and density. Recent re... 详细信息
来源: 评论
the role of FPGAs in a converged future with heterogeneous programmable processors: pre-conference workshop  11
The role of FPGAs in a converged future with heterogeneous p...
收藏 引用
Proceedings of the 19th ACM/SIGDA international symposium on Field programmable gate arrays
作者: Jonathan Rose Guy Lemieux University of Toronto Toronto ON Canada University of British Columbia Vancouver BC Canada
the battle of fixed function devices vs. programmable devices has been won by the programmables. the question facing us now is to determine what kinds of programmability to place on next generation systems/devices. Re... 详细信息
来源: 评论
“当代中国逻辑学史”学术研讨会综述
收藏 引用
逻辑学研究 2009年 第3期2卷 110-113页
作者: 曾昭式 陈小青 中山大学逻辑与认知研究所 中山大学哲学系 贵州大学哲学系
2009年9月19日至20日,由中山大学逻辑与认知研究所主办、贵州大学哲学系承办的“当代中国逻辑学史”学术研讨会在贵州大学召开,来自中山大学、中国社会科学院、中国人民大学、南开大学、南京大学、浙江大学、复旦大学、华南师范大学... 详细信息
来源: 评论
Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023年 13967 LNCS卷 v-vii页
作者: Vedova, Gianluca Della Dundua, Besik Lempp, Steffen Manea, Florin University of Milano-Bicocca Milan Italy Kutaisi International University Kutaisi Georgia University of Wisconsin MadisonWI United States University of Göttingen Göttingen Germany
来源: 评论