咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是851-860 订阅
排序:
Architecting a Testing Framework for Publish/Subscribe Applications
Architecting a Testing Framework for Publish/Subscribe Appli...
收藏 引用
IEEE Annual international Computer Software and Applications conference (COMPSAC)
作者: Anton Michlmayr Pascal Fenkam Schahram Dustdar Distributed Systems Group University of Technology Vienna Vienna Austria
the publish/subscribe style is an emerging paradigm for the construction of loosely coupled systems. Yet, the verification of such systems remains difficult. We have constructed a framework called RAY for testing publ... 详细信息
来源: 评论
Trustworthy Software:Why we need it, Why we don't have it, How we can get it
Trustworthy Software:Why we need it, Why we don't have it, H...
收藏 引用
IEEE Annual international Computer Software and Applications conference (COMPSAC)
作者: John McLean Information Technology Division Naval Research Laboratory Inc. Washington D.C. DC USA
We have become increasingly dependent on a national technological fabric that contains software, computers, and communication networks as essential components. Unfortunately, our ability to build affordable software s... 详细信息
来源: 评论
Mobile access into information systems
Mobile access into information systems
收藏 引用
international conference on Information Technology Interfaces
作者: Tomas Kozel Antonin Slaby Department of Informatics and Quantitative methods University of Hradec Kralove Hradec Kralove Czech Republic
At present a big concern is devoted to the problems of effective use of mobile technologies in the area of m-business, m-commerce and other areas. It is important to study carefully the relation and synergy between ma... 详细信息
来源: 评论
Imparting Global Software Development Experience via an IT Project Management Course: Critical Success Factors
Imparting Global Software Development Experience via an IT P...
收藏 引用
IEEE Annual international Computer Software and Applications conference (COMPSAC)
作者: Monica P. Adya Marquette University Milwaukee WI USA
the rapid trend towards global sourcing of software development has put increased pressure upon U.S. educational institutions in order to provide such experience and relevant skill sets to their students. this present... 详细信息
来源: 评论
Proceedings of SPIE - the international Society for Optical Engineering
Proceedings of SPIE - The International Society for Optical ...
收藏 引用
30th conference on Metrology, Inspection, and Process Control for Microlithography
the proceedings contain 123 papers. the topics discussed include: multiple beam ptychography;GPU accelerated Monte-Carlo simulation of SEM images for metrology;electric fields in scanning electron microscopy simulatio...
来源: 评论
Development of a fuzzy logic controller for boost rectifier with active power factor correction
Development of a fuzzy logic controller for boost rectifier ...
收藏 引用
Annual IEEE conference on Power Electronics Specialists (PESC)
作者: H.S.H. Chung E.P.W. Tam S.Y.R. Hui Department of Electronic Engineering City University of Hong Kong Hong Kong China
this paper presents the use of fuzzy logic to derive a practical control scheme for a boost rectifier with active power factor correction. the methodology integrates a fuzzy logic control technique in the feedback pat... 详细信息
来源: 评论
Axiological logic in the means of e-teaching product interactivity
Axiological logic in the means of e-teaching product interac...
收藏 引用
international conference on Information Technology Interfaces
作者: Audrone Dumciene Sigitas Daukilas Saule Sipaviciene Department of Sports Pedagogic and Psychology Lithuanian Academy of Physical Education Kaunas Lithuania Department of Professional Pedagogic and Psychology Centre of Distance Education Lithuanian University of Agriculture Lithuania Department of Applied Physiology and Sports Medicine Lithuanian Academy of Physical Education Kaunas Lithuania
the aim of the present research was to analyze the methodological possibilities of axiological logic for the sustainability of e-teaching interactivity and manifestation of studentspsila value dispositions. In profess... 详细信息
来源: 评论
Cost-effective generation of minimal test sets for stuck-at faults in combinational logic circuits  93
Cost-effective generation of minimal test sets for stuck-at ...
收藏 引用
Proceedings of the 30th international Design Automation conference
作者: Seiji Kajihara Irith Pomeranz Kozo Kinoshita Sudhakar M. Reddy
来源: 评论
Automatic assertion extraction in gate-level simulation using GPGPUs
Automatic assertion extraction in gate-level simulation usin...
收藏 引用
IEEE international conference on Computer Design: VLSI in Computers and Processors, (ICCD)
作者: Shohei Ono Takeshi Matsumoto Masahiro Fujita Department of Electrical Engineering and Information System University of Tokyo Tokyo Japan VLSI Design and Education Center University of Tokyo Tokyo Japan VLSI Design and Education Center JST CREST University of Tokyo Tokyo Japan
In modern VLSI designs, assertions play an important role to understand design intention and ensure correctness of designs. In this paper, we consider to generate assertions from simulation results. this assertion ext... 详细信息
来源: 评论
MIM: logic module independent technology mapping for design and evaluation of antifuse-based FPGAs  93
MIM: logic module independent technology mapping for design ...
收藏 引用
Proceedings of the 30th international Design Automation conference
作者: Mahesh Mehendale
来源: 评论