咨询与建议

限定检索结果

文献类型

  • 6,086 篇 会议
  • 2,197 篇 期刊文献
  • 106 册 图书
  • 17 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,403 篇 电子文献
  • 6 种 纸本馆藏

日期分布

学科分类号

  • 5,728 篇 工学
    • 5,321 篇 计算机科学与技术...
    • 3,513 篇 软件工程
    • 567 篇 电气工程
    • 303 篇 控制科学与工程
    • 169 篇 信息与通信工程
    • 83 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,420 篇 理学
    • 1,255 篇 数学
    • 118 篇 统计学(可授理学、...
    • 76 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 592 篇 管理学
    • 333 篇 图书情报与档案管...
    • 291 篇 管理科学与工程(可...
    • 119 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 52 篇 哲学
    • 36 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 49 篇 医学
    • 36 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 35 篇 文学
    • 25 篇 外国语言文学
  • 35 篇 农学
    • 25 篇 作物学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,407 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 306 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 173 篇 programmable log...
  • 173 篇 hardware
  • 168 篇 control systems
  • 154 篇 logic design
  • 153 篇 computational mo...
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 135 篇 functional progr...
  • 130 篇 costs
  • 129 篇 semantics

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 26 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 18 篇 univ kentucky de...
  • 17 篇 univ potsdam pot...
  • 17 篇 katholieke univ ...
  • 15 篇 univ evora escol...
  • 14 篇 suny stony brook...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 univ maryland de...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...

作者

  • 82 篇 schaub torsten
  • 57 篇 ricca francesco
  • 54 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 48 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 son tran cao
  • 37 篇 cabalar pedro
  • 31 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 28 篇 sakama chiaki
  • 28 篇 maratea marco
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi

语言

  • 8,028 篇 英文
  • 321 篇 其他
  • 39 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8407 条 记 录,以下是4851-4860 订阅
排序:
A Flash technology programmable non-volatile switch
A Flash technology programmable non-volatile switch
收藏 引用
European Conference on Solid-State Device Research (ESSDERC)
作者: C. Auricchio M. Borgatti A. Martino A. Maurelli R. Pelliconi P.L. Rolandi STMicroelectronics Inc. Agrate Italy
A modified Flash-EEPROM device is presented. This device operates as a non-volatile programmable pass transistor. Program and erase, operations are performed on a Flash-EEPROM cell coupled to a pass-transistor. Writte... 详细信息
来源: 评论
Objectives and features of e-learning oriented programming courseware for freshmen
Objectives and features of e-learning oriented programming c...
收藏 引用
International Conference on Distributed Computing Systems Workshop
作者: H. Kawai F. Takayama T. Anzai T. Manome H. Yoshida Department of Electronics and Computer Science College of Science and Engineering Iwaki Meisei University Japan Information Science Education and Research Center Iwaki Meisei University Japan
Iwaki Meisei University, a popular university in Japan, has developed e-Learning oriented programming Courseware for freshmen using the authoring tool Hiplus, Hitachi Ltd., Japan, at the Department of Electronics and ... 详细信息
来源: 评论
A reasoning framework for heterogeneous XML
A reasoning framework for heterogeneous XML
收藏 引用
International Conference on Information Technology: Research and Education (ITRE)
作者: Yuh-Pyng Shieh Chung-Chen Chen Jieh Hsiang Department of Computer Science and Information Engineering National Taiwan University Taipei Taiwan
XML is designed to structure data for exchange. It is also a new trend to use XML to encode knowledge on the Web. An important project for this purpose is the semantic Web of W3C. They proposed several specifications,... 详细信息
来源: 评论
Design and verification of industrial logic controllers with UML and statecharts
Design and verification of industrial logic controllers with...
收藏 引用
IEEE Conference on Control Technology and Applications (CCTA)
作者: M. Bonfe C. Fantuzzi Dipartimento di Ingegneria Università di Ferrara Ferrara Italy Università di Modena e Reggio Emila Reggio Emilia Italy
The paper describes a methodological framework that aims to apply formal design and verification techniques to the domain of logic control and supervision for manufacturing systems. The methodology is based on an obje... 详细信息
来源: 评论
Performance-directed retiming for FPGAs using post-placement delay information
Performance-directed retiming for FPGAs using post-placement...
收藏 引用
Design, Automation and Test in Europe Conference and Exhibition
作者: U. Seidl K. Eckl F. Johannes Technical University Munich Munich Germany Synopsys GmbH Aschheim Germany
In todays deep-submicron designs, the interconnect delays contribute an increasing part to the overall performance of an implementation. Particularly when targeting field programmable gate arrays (FPGAs), interconnect... 详细信息
来源: 评论
Resolution principle based on six lattice-valued proposition logic LP/sub 6/(X)
Resolution principle based on six lattice-valued proposition...
收藏 引用
International Conference on Machine Learning and Cybernetics (ICMLC)
作者: Dan Meng Yang Xu Xiaoping Qiu Keyun Qin Intelligent control development center Department of Applied Mathematics Southwest Jiaotong University Chengdu Sichuan China
Resolution-based automated reasoning theory is an important and active research field in artificial intelligence. It is used to judge the satisfiability of any logic formula. With the development of classical and non-... 详细信息
来源: 评论
A "single authoring" programming model: the interaction logic
A "single authoring" programming model: the interaction logi...
收藏 引用
Symposium on Applications and the Internet (SAINT 2002)
作者: Maes, SH IBM Corp Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA
For the mobile Internet, new content and applications are developed with the intent of delivering it through many different channels with different characteristics. Therefore, such content and applications must be ada... 详细信息
来源: 评论
From requirements to design: formalizing the key steps
From requirements to design: formalizing the key steps
收藏 引用
International Conference on Software Engineering and Formal Methods (SEFM)
作者: R.G. Dromey Software Quality Institute Griffith University Brisbane QLD Australia
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive as we would like. Progress with this ... 详细信息
来源: 评论
The impact of pair programming on student performance, perception and persistence
The impact of pair programming on student performance, perce...
收藏 引用
International Conference on Software Engineering (ICSE)
作者: C. Mcdowell L. Werner H.E. Bullock J. Fernald Computer Science Department University of California Santa Cruz USA Psychology Department University of California Santa Cruz USA
This study examined the effectiveness of pair programming in four lecture sections of a large introductory programming course. We were particularly interested in assessing how the use of pair programming affects stude... 详细信息
来源: 评论
Precise specification matching for automated component retrieval and adaptation
Precise specification matching for automated component retri...
收藏 引用
IEEE International Conference on Information Reuse and Integration (IRI)
作者: Hai-Feng Guo Miao Liu Jiaxiong Pi Department of Computer Science University of Nebraska Omaha NE USA
This paper presents a precise specification matching, both structural and functional matching, to explore component retrieval and adaptation. Structural matching is used to check adaptability, while functional matchin... 详细信息
来源: 评论