咨询与建议

限定检索结果

文献类型

  • 416 篇 会议
  • 38 篇 期刊文献
  • 18 册 图书

馆藏范围

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

日期分布

学科分类号

  • 328 篇 工学
    • 313 篇 计算机科学与技术...
    • 198 篇 软件工程
    • 30 篇 电气工程
    • 24 篇 控制科学与工程
    • 17 篇 信息与通信工程
    • 9 篇 机械工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 安全科学与工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 2 篇 测绘科学与技术
  • 77 篇 理学
    • 57 篇 数学
    • 13 篇 系统科学
    • 10 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 4 篇 物理学
    • 1 篇 地质学
  • 29 篇 管理学
    • 21 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 5 篇 医学
    • 4 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 文学
    • 1 篇 外国语言文学
    • 1 篇 新闻传播学
  • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学

主题

  • 104 篇 logic programmin...
  • 22 篇 fuzzy logic
  • 16 篇 artificial intel...
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 software enginee...
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 programming tech...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 8 篇 programming lang...
  • 8 篇 logics and meani...
  • 8 篇 logic design
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control

机构

  • 4 篇 vienna univ tech...
  • 3 篇 suny stony brook...
  • 2 篇 school of automo...
  • 2 篇 univ nova lisboa...
  • 2 篇 univ calif river...
  • 2 篇 univ bologna dei...
  • 2 篇 school of comput...
  • 2 篇 department of co...
  • 2 篇 information and ...
  • 2 篇 univ cagliari di...
  • 2 篇 ibm tokyo resear...
  • 2 篇 labmag lisbon
  • 2 篇 wroclaw univ tec...
  • 2 篇 calif state poly...
  • 2 篇 univ kentucky de...
  • 2 篇 shenzhen tourism...
  • 2 篇 univ texas dept ...
  • 1 篇 new mexico state...
  • 1 篇 dept. computersc...
  • 1 篇 k.u. leuven depa...

作者

  • 4 篇 pereira lm
  • 3 篇 truszczynski m
  • 3 篇 swift t
  • 3 篇 lifschitz v
  • 3 篇 alferes jj
  • 3 篇 vojtás p
  • 3 篇 marriott kim
  • 2 篇 deschreye d
  • 2 篇 schuerman kees
  • 2 篇 pinna g. michele
  • 2 篇 medina j
  • 2 篇 montali marco
  • 2 篇 bruynooghe mauri...
  • 2 篇 przymusinski tc
  • 2 篇 li liang-liang
  • 2 篇 véron andré
  • 2 篇 bartoletti massi...
  • 2 篇 cui bq
  • 2 篇 sideri m
  • 2 篇 cimoli tiziana

语言

  • 466 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
472 条 记 录,以下是471-480 订阅
排序:
Learning Requirements Analysis to Software Design Transformation Rules by Examples:Limitations of Current ILP Systems
Learning Requirements Analysis to Software Design Transforma...
收藏 引用
2014 IEEE 5th International conference on Software Engineering and Service Science
作者: Hamdi A.Al-Jamimi Moataz A.Ahmed Information and Computer Science Department King Fahd University of Petroleum and Minerals Dhahran Saudi Arabia
Model transformation is defined as a central concept in model driven *** the transformation rules is nontrivial task,where it might be much easier for the experts to provide examples of the transformations rather than... 详细信息
来源: 评论
Design and Implementation of Integrated Microgrid Based Predictive Control Scheme
Design and Implementation of Integrated Microgrid Based Pred...
收藏 引用
Global conference for Advancement in Technology (GCAT)
作者: D. Lenine P. Sai Sampath Kumar J. Surya Kumari D. Raja Department of Electrical and Electronics Engineering RGM College of Engineering and Technology (Autonomous) Nandyal India Department of Electrical and Electronics Engineering Sri Manakula Vinayagar Engineering College (Autonomous) Puducherry India
this paper introduces a novel approach called Fuzzy-MPPDC designed specifically for Renewable Energy Systems (RES). It mainly aims to address voltage fluctuations arising from variable power demands and the unpredicta... 详细信息
来源: 评论