咨询与建议

限定检索结果

文献类型

  • 2,454 篇 会议
  • 99 册 图书
  • 86 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,652 篇 工学
    • 1,295 篇 计算机科学与技术...
    • 658 篇 软件工程
    • 368 篇 电气工程
    • 252 篇 控制科学与工程
    • 110 篇 信息与通信工程
    • 106 篇 机械工程
    • 61 篇 电子科学与技术(可...
    • 40 篇 动力工程及工程热...
    • 36 篇 交通运输工程
    • 34 篇 仪器科学与技术
    • 24 篇 建筑学
    • 24 篇 石油与天然气工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 生物工程
    • 22 篇 公安技术
    • 21 篇 安全科学与工程
    • 20 篇 土木工程
  • 405 篇 理学
    • 302 篇 数学
    • 60 篇 系统科学
    • 54 篇 物理学
    • 47 篇 统计学(可授理学、...
    • 28 篇 生物学
    • 25 篇 化学
  • 238 篇 管理学
    • 178 篇 管理科学与工程(可...
    • 75 篇 图书情报与档案管...
    • 60 篇 工商管理
  • 71 篇 教育学
    • 71 篇 教育学
  • 33 篇 经济学
    • 26 篇 应用经济学
  • 28 篇 医学
    • 19 篇 基础医学(可授医学...
  • 26 篇 法学
    • 18 篇 社会学
  • 9 篇 农学
  • 9 篇 艺术学
  • 4 篇 文学
  • 1 篇 哲学

主题

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

机构

  • 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
  • 5 篇 raidl günther r.
  • 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...

语言

  • 2,575 篇 英文
  • 39 篇 其他
  • 19 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2639 条 记 录,以下是2531-2540 订阅
Operational aspects of design automation for the IBM 3081  19
Operational aspects of design automation for the IBM 3081
收藏 引用
19th Design Automation conference, DAC 1982
作者: Woodward, Robert F. International Business Machines Corporation P.O. Box 390 PoughkeepsieNY12602 United States
the processes for design and release of LSI chips, thermal conduction modules (TCMs), and boards on the IBM 3081 Processor are highly automated, using the Engineering Design System. this paper describes the automated ... 详细信息
来源: 评论
Interactive design language: A unified approach to hardware simulation, synthesis and documentation  19
Interactive design language: A unified approach to hardware ...
收藏 引用
19th Design Automation conference, DAC 1982
作者: Maissel, L.I. Ostapko, D.L. International Business Machines Corporation P.O. Box 390 PoughkeepsieNY12602 United States IBM Thomas J. Watson Research Center Yorktown HeightsNY10598 United States
IDL is a hardware design language in use in the VLSI environment. It incorporates a significant number of high-level features such as groups, subroutines, and labels and is particularly well adapted to dealing with pa... 详细信息
来源: 评论
the Planar Package Planner for System Designers
The Planar Package Planner for System Designers
收藏 引用
Design Automation conference
作者: W.R. Heller K. Maling G. Sorkin International Business Machines Corporation Poughkeepsie NY USA Harvard University Cambridge MA USA
the Planar Package Planner is a design aid aimed at helping to form a package layout plan, given only the information available during project initiation to digital system logic and package designers. A hierarchical a... 详细信息
来源: 评论
Interactive Design Language: A Unified Approach to Hardware Simulation, Synthesis and Documentation
Interactive Design Language: A Unified Approach to Hardware ...
收藏 引用
Design Automation conference
作者: L.I. Maissel D.L. Ostapko International Business Machines Corporation Poughkeepsie NY USA IBM Thomas J. Watson Research Center Yorktown Heights NY USA
IDL is a hardware design language in use in the VLSI environment. It incorporates a significant number of high-level features such as groups, subroutines, and labels and is particularly well adapted to dealing with pa... 详细信息
来源: 评论
IBM 3081 System Overview and Technology
IBM 3081 System Overview and Technology
收藏 引用
Design Automation conference
作者: C.A. Collins International Business Machines Corporation Poughkeepsie NY USA
the development of the IBM 3081 established the methodology for designinc and manufacturing a high-performance computer from an LSI chip technology. the high density packaging of the LSI chip is used to minimize inter... 详细信息
来源: 评论
A Design System Approach to Data Integrity
A Design System Approach to Data Integrity
收藏 引用
Design Automation conference
作者: W.A. Noon K.N. Robbins M.T. Roberts System Products Division International Business Machines Corporation Kingston NY USA
Due to the nature of chip design, the Very Large-Scale Integrated (VLSI) design data base is constantly changing. the changes may be caused by logical or physical design activities. In either case, there is a need to ... 详细信息
来源: 评论
Operational Aspects of Design Automation for the IBM 3081
Operational Aspects of Design Automation for the IBM 3081
收藏 引用
Design Automation conference
作者: R.F. Woodward International Business Machines Corporation Poughkeepsie NY USA
the processes for design and release of LSI chips, thermal conduction modules (TCMs), and boards on the IBM 3081 Processor are highly automated, using the Engineering Design System. this paper describes the automated ... 详细信息
来源: 评论
Automated Conversion of Design Data for Building the IBM 3081
Automated Conversion of Design Data for Building the IBM 308...
收藏 引用
Design Automation conference
作者: V.J. Freund J.A. Guerin International Business Machines Corporation Hopewell Junction NY USA
the Manufacturing Release Processing System for handling the dual design methodology employed by IBM in the design of the 3081 is described in this paper. this methodology consists of (Part 1) the design of basic buil... 详细信息
来源: 评论
INTERMAG conference (international conference ON MAGNETICS,19th), 1981.
收藏 引用
IEEE TRANS MAGN 1981年 第N 6期V MAG-17卷 2497-3439页
PROCEEDINGS INCLUDES 285 PAPERS thAT ARE GROUPED INTO 35 SECTIONS DEALING WIth MAGNETIC PRINTING, RECORDING PROCESSES, BUBBLE MEMORIES, COMPUTER MEthODS IN MAGNETICS, AMORPHOUS ALLOYS, PERMANENT MAGNETS, BUBBLE DEVICE... 详细信息
来源: 评论
INTERMAG conference (international conference ON MAGNETICS,19th), 1981.
INTERMAG CONFERENCE (INTERNATIONAL CONFERENCE ON MAGNETICS,1...
收藏 引用
INTERMAG CONF
PROCEEDINGS INCLUDES 285 PAPERS thAT ARE GROUPED INTO 35 SECTIONS DEALING WIth MAGNETIC PRINTING, RECORDING PROCESSES, BUBBLE MEMORIES, COMPUTER MEthODS IN MAGNETICS, AMORPHOUS ALLOYS, PERMANENT MAGNETS, BUBBLE DEVICE... 详细信息
来源: 评论