咨询与建议

限定检索结果

文献类型

  • 281 篇 会议
  • 126 篇 期刊文献
  • 16 册 图书

馆藏范围

  • 423 篇 电子文献
  • 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 篇 艺术学

主题

  • 24 篇 artificial intel...
  • 22 篇 computer science
  • 12 篇 software enginee...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 information stor...
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 5 篇 specifications
  • 5 篇 security

机构

  • 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 篇 department of co...
  • 3 篇 rwth aachen univ...
  • 3 篇 research group p...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...

作者

  • 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 篇 henning christia...
  • 5 篇 doaa sami khafag...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 troels andreasen
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 daou roy abi zei...

语言

  • 415 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
423 条 记 录,以下是111-120 订阅
排序:
Specification & verification of higher order processes  15th
Specification & verification of higher order processes
收藏 引用
15th Symposium on Mathematical Foundations of computer science, MFCS 1990
作者: Hansen, Michael R. Chao-Chen, Zhou Department of Computer Science Technical University of Denmark LyngbyDK-2800 Denmark Programming Research Group Oxford University United Kingdom
A system is a collection of processes connected by channels over which they communicate. We consider systems where processes can be communicated. We propose an extension to propositional temporal logic as specificatio... 详细信息
来源: 评论
Development the Numerical Method to Solve the Inverse Initial Value Problem for the Thermal Conductivity Equation of Composite Materials
Development the Numerical Method to Solve the Inverse Initia...
收藏 引用
2020 Ibn Al-Haitham International Conference for Pure and Applied sciences, IHICPS 2020
作者: Al-Mahdawi, H.K. Department of System Programming School of Electronic Engineering and Computer Science South Ural State University Lenina 76 Chelyabinsk454080 Russia
In this paper, the heat conduction equation for composite materials posed and solved. This problem is known as an inverse initial value problem for the heat conduction equation. In order to solve and formulate this in... 详细信息
来源: 评论
Construction and optimization of a parallel engine for answer set programming
收藏 引用
3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001
作者: Pontelli, Enrico El-Khatib, Omar Laboratory for Logic DBs and Advanced Programming Department of Computer Science New Mexico State University United States
In this paper we study the use of parallelism to speed up execution of Answer Set Programs (ASP). ASP is an emerging programming paradigm which combines features from constraint programming, logic programming, and non... 详细信息
来源: 评论
Colouring of COVID-19 Affected Region Based on Fuzzy Directed Graphs
收藏 引用
computers, Materials & Continua 2021年 第7期68卷 1219-1233页
作者: Rupkumar Mahapatra Sovan Samanta Madhumangal Pal Jeong-Gon Lee Shah Khalid Khan Usman Naseem Robin Singh Bhadoria Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar UniversityMidnapore721102India Department of Mathematics Tamralipta MahavidyalayaTamluk721636India Division of Applied Mathematics Wonkwang UniversityIksan-SiJeonbuk54538Korea School of Engineering RMIT UniversityMelbourne3001Australia School of Computer Science University of Sydney Sydney2006Australia Department of Computer Science&Engineering Birla Institute of Applied Sciences(BIAS)BhimtalUttarakhand263136India
Graph colouring is the system of assigning a colour to each vertex of a *** is done in such a way that adjacent vertices do not have equal *** is fundamental in graph *** is often used to solve real-world problems lik... 详细信息
来源: 评论
Adaptive web-based systems: From framework to implementation  10
Adaptive web-based systems: From framework to implementation
收藏 引用
11th International Conference on computer Systems and Technologies, CompSysTech'10
作者: Raufi, Bujar Georgieva, Juliana Faculty of Contemporary Sciences and Technologies Department of Computer Science South East European University Denmark Faculty of Computers and Control Systems Department of Programming and Computer Technologies Technical University of Sofia Bulgaria
The paper gives an insight of the work done so far in modelling and implementation of user adapted software systems or adaptive web sites. We introduce a five layer framework which gives to our adaptive web based syst... 详细信息
来源: 评论
Evaluating Keyphrase Extraction Methods for Clustering Influenza-Related Scientific Papers  8
Evaluating Keyphrase Extraction Methods for Clustering Influ...
收藏 引用
8th International Iranian Conference on Signal Processing and Intelligent Systems, ICSPIS 2022
作者: Forghani, Majid Firstkov, Artyom Alyannezhadi, Mohammad. M. Forghani, Kazem Krasovskii Institute of Mathematics & Mechanics Mathematical Programming Lab. Yekaterinburg Russia University of Science and Technology of Mazandaran Department of Science Behshahr Iran Iran University of Science and Technology Computer Science Department Tehran Iran
The number of annual scientific publications is growing year by year, which has led to the accumulation and formation of large databases. This increases the complexity of the search for relevant articles. Modern searc... 详细信息
来源: 评论
GIDTS - A Graphical programming Environment for Prolog
GIDTS - A Graphical Programming Environment for Prolog
收藏 引用
1999 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 1999
作者: Kókai, Gabriella Nilson, Jörg Niss, Christian Department of Computer Science Programming Languages Friedrich-Alexander-University of Erlangen-Nürnberg Martensstr. 3 ErlangenD-91058 Germany
This paper puts forward the Graphical Interactive Diagnosing, Testing and Slicing System (GIDTS) which is a graphical programming environment for PROLOG programs. The IDTS part of the system integrates Shapiro's I... 详细信息
来源: 评论
A compositional approach to time analysis of first order lazy functional programs  4
A compositional approach to time analysis of first order laz...
收藏 引用
4th International Conference on Functional programming Languages and computer Architecture, FPCA 1989
作者: Bjerner, Bror Holmström, Sören Programming Methodology Group Department of Computer Science Chalmers University of Technology and University of Göteborg GöteborgS-412 96 Sweden
We present a method for computing the number of steps needed to compute a lazy first order functional program e (to an approximation of its value). The method itself is described as a lazy functional program. Moreover... 详细信息
来源: 评论
Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling  10
Optimistic Versioning for Conflict-tolerant Collaborative Bl...
收藏 引用
STAF 2022 Workshop: 10th International Workshop on Bidirectional Transformations, BX 2022, 2nd International Workshop on Foundations and Practice of Visual Modeling, FPVM 2022 and 2nd International Workshop on MDE for Smart IoT Systems, MeSS 2022
作者: Exelmans, Joeri Pietron, Jakob Raschke, Alexander Vangheluwe, Hans Tichy, Matthias Department of Computer Science University of Antwerp - Flanders Make Antwerp Belgium Institute of Software Engineering and Programming Languages Ulm University Ulm Germany
Optimistic versioning is a key component in supporting collaborative workflows. Text-based versioning has been widely adopted for versioning code, but in model-driven engineering, dealing with visual concrete syntaxes... 详细信息
来源: 评论
Attracting and retaining women in computer science and engineering: Evaluating the results
Attracting and retaining women in computer science and engin...
收藏 引用
114th Annual ASEE Conference and Exposition, 2007
作者: Keathly, David Akl, Robert Garlick, Ryan University of North Texas United States IEEE Computer Society ACM and the UNT Programming Teams IEEE University of North Texas Department of Computer Science and Engineering United States
computer science and engineering communities have been exploring a variety of activities and techniques to attract and retain more students, especially women and minorities, to computer science and computer engineerin... 详细信息
来源: 评论