咨询与建议

限定检索结果

文献类型

  • 281 篇 会议
  • 126 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 276 篇 工学
    • 216 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 144 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 13 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 法学
    • 8 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 22 篇 computer science
  • 15 篇 artificial intel...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 software enginee...
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 5 篇 specifications
  • 5 篇 security
  • 5 篇 programming envi...
  • 5 篇 unified modeling...

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 rwth aachen univ...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...
  • 3 篇 programming envi...
  • 3 篇 friedrich-alexan...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 doaa sami khafag...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 daou roy abi zei...
  • 4 篇 van cutsem tom
  • 4 篇 pal madhumangal

语言

  • 399 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
407 条 记 录,以下是331-340 订阅
排序:
An automated tool for analyzing completeness of equational specifications  94
An automated tool for analyzing completeness of equational s...
收藏 引用
1994 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1994
作者: Kapur, Deepak Institute for Programming and Logics Department of Computer Science University at Albany AlbanyNY12222 United States
Books on software engineering methodologies talk about the significance and need for designing consistent and complete specifications during the requirement analysis and design stages of a software development cycle. ... 详细信息
来源: 评论
A generalized carrier-null method for conservative parallel simulation  94
A generalized carrier-null method for conservative parallel ...
收藏 引用
8th Workshop on Parallel and Distributed Simulation, PADS 1994
作者: Wood, Kenneth R. Turner, Stephen J. Programming Research Group Oxford University Computing Laboratory United Kingdom Department of Computer Science University of Exeter United Kingdom
The carrier-null message approach to conservative distributed discrete-event simulation can significantly reduce the number of synchronization messages required to avoid deadlock. In thts paper we show that the origin... 详细信息
来源: 评论
Algebraic and geometric reasoning using Dixon resultants  94
Algebraic and geometric reasoning using Dixon resultants
收藏 引用
Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation
作者: Kapur, Deepak Saxena, Tushar Yang, Lu Institute for Programming and Logics Department of Computer Science State University of New York at Albany Albany NY Centre for Mathematical Sciences Chengdu Institute of Computer Applications Academia Sinica 610041 Chengdu China
Dixon's method for computing multivariate resultants by simultaneously eliminating many variables is reviewed. The method is found to be quite restrictive because often the Dixon matrix is singular, and the Dixon ... 详细信息
来源: 评论
On sequential composition, action prefixes and process prefix
收藏 引用
Formal Aspects of Computing 1994年 第3期6卷 250-268页
作者: Baeten, J.C.M. Bergstra, J.A. Department of Mathematics and Computer Science Eindhoven University of Technology MB Eindhoven 5600 PO Box 513 Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands Department of Philosophy Utrecht University Utrecht Netherlands
We illustrate the difference between sequential composition in process algebra axiomatisations like ACP and action prefixing in process calculi like CCS. We define both early and late input in a general framework exte... 详细信息
来源: 评论
On anti-links  5th
收藏 引用
5th International Conferenceon Logic programming and Automated Reasoning, LPAR 1994
作者: Beckert, Bernhard Hähnle, Reiner Ramesh, Anavai Murray, Neil V. Institute for Logic Complexity and Deduction Systems Universität Karlsruhe Karlsruhe Germany Institute for Programming & Logics Department of Computer Science University at Albany AlbanyNY12222 United States
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths i... 详细信息
来源: 评论
Seven more myths of formal methods: Dispelling industrial prejudices  2nd
收藏 引用
2nd International Symposium of Formal Methods Europe, FME 1994
作者: Bowen, Jonathan P. Hinchey, Michael G. Oxford University Computing Laboratory Programming Research Group Wolfson Building Parks Road OxfordOX1 3QD United Kingdom University of Cambridge Computer Laboratory New Museums Site Pembroke Street CambridgeCB2 3QG United Kingdom Department of Computer and Information Science New Jersey Institute of Technology United States
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majori... 详细信息
来源: 评论
STATIC FILTERING ON STRATIFIED PROGRAMS
收藏 引用
INFORMATION PROCESSING LETTERS 1993年 第5期47卷 237-244页
作者: CHANG, BM CHOE, KM HAN, TS Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-dong Yusung-ku Taejon 305-701 South Korea
We extend static filtering in [8], a query optimization strategy based on seminaive evaluation on system graphs, so that it can efficiently handle stratified programs without extra overhead. The computation of static ... 详细信息
来源: 评论
SYNTACTIC ERROR REPAIR USING REPAIR PATTERNS
收藏 引用
INFORMATION PROCESSING LETTERS 1993年 第4期47卷 189-196页
作者: YUN, IS CHOE, KM HAN, T Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusung-Cu Taejon 305-701 South Korea
A syntactic error repair model is proposed, and is defined as a partial function from strings to sentences. The replacement of a substring of a string with a substring of a sentence is described by a repair pattern, w... 详细信息
来源: 评论
Nested mixin-methods in Agora  7th
收藏 引用
7th European Conference on Object-Oriented programming, ECOOP 1993
作者: Steyaert, Patrick Codenie, Wim D’Hondt, Theo De Hondt, Koen Lucas, Carine Van Limberghen, Marc Programming Technology Lab Computer Science Department Vrije Universiteit Brussel Pieinlaan 2 BrusselsB-1050 Belgium
Mixin-based inheritance is an inheritance technique that has been shown to subsume a variety of different inheritance mechanisms. It is based directly upon an incremental modification model of inheritance. This paper ... 详细信息
来源: 评论
Variant handling, inheritance and composition in the objectmath computer algebra environment  3rd
Variant handling, inheritance and composition in the objectm...
收藏 引用
3rd International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO 1993
作者: Fritzson, Peter Engelson, Vadim Viklund, Lars Programming Environments Laboratory Department of Computer and Information Science Linköping University LinköpingS-581 83 Sweden
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates object-oriented constructs such as cla... 详细信息
来源: 评论