咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 277 篇 工学
    • 217 篇 计算机科学与技术...
    • 160 篇 软件工程
    • 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 篇 steffen bernhard

语言

  • 415 篇 英文
  • 7 篇 其他
  • 1 篇 德文
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
424 条 记 录,以下是231-240 订阅
排序:
Advanced IOT Traffic Light Control System  5
Advanced IOT Traffic Light Control System
收藏 引用
5th International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2023
作者: Hamad, Martin Abou El Hajj, Antonio Daou, Roy Abi Zeid Hayek, Ali Haidar, Gaby Abou Lebanese German University Faculty of Public Health Biomedical Technologies Department Lebanon MART Learning Education and Research Center Lebanon University of Kassel Department of Computer Architecture and System Programming Kassel Germany American University of Science and Technology Engineering Faculty Zahle Lebanon
For several years, traffic congestion has been a major problem in big cities where the number of cars and different means of transportation has been increasing significantly. The problem of congestion is becoming more... 详细信息
来源: 评论
Optimal Control in the Problem With Two Gas Fields
Optimal Control in the Problem With Two Gas Fields
收藏 引用
International Conference on Management of Large-Scale System Development (MLSD)
作者: Alexander Skiba Department of Mathematical Methods of Regional Programming Federal Research Center “Computer Science and Control” of RAS Moscow Russia
We explore a continuous aggregated dynamic model for developing two gas fields. The new borehole commissioning rates are the control parameters. Changes in the average flow rate of producing boreholes and current natu... 详细信息
来源: 评论
Cloud agency: A guide through the clouds
收藏 引用
Mondo Digitale 2014年 第49期13卷
作者: Aversa, Rocco Tasquier, Luca Venticinque, Salvatore University of Naples International Journal of Web Science Italy Computer and Electronic Engineering Department of Industrial and Information Engineering Italy Second University of Naples Computer Programming and Computer Architecture Italy
Cloud Computing is a new technology that has rapidly established itself in computer science since it allows the usage of huge computing resources that are dynamically allocated in order to satisfy user's needs and... 详细信息
来源: 评论
The ToolBus coordination architecture: A demonstration  5th
The ToolBus coordination architecture: A demonstration
收藏 引用
5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996
作者: Klint, P. Olivier, P. Department of Software Technology Centre for Mathematics and Computer Science P.O. Box 4079 Amsterdam1009 AB Netherlands Programming Research Group University of Amsterdam P.O. Box 41882 Amsterdam1009 DB Netherlands
The ToolBus is a generic software architecture for building heterogeneous, distributed, systems. We demonstrate several applications that have been implemented using the ToolBus technology. © Springer-Verlag Berl... 详细信息
来源: 评论
Recent Developments and the New Direction in Soft-Computing Foundations and Applications  1
收藏 引用
丛书名: Studies in Fuzziness and Soft Computing
1000年
作者: Lotfi A. Zadeh Ronald R. Yager Shahnaz N. Shahbazova Marek Z. Reformat Vladik Kreinovich
This book is an authoritative collection of contributions in the field of soft-computing. Based on selected works presented at the 6th World Conference on Soft Computing, held on May 22-25, 2016, in Berkeley, USA, it ... 详细信息
来源: 评论
Aspect-oriented programming workshop report
Aspect-oriented programming workshop report
收藏 引用
Workshops on Object-Oriented Technology, ECOOP 1997
作者: Mens, Kim Lopes, Cristina Tekinerdogan, Bedir Kiczales, Gregor Department of Computer Science Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium Systems and Practices Laboratory Xerox PARC 3333 Coyote Hill Rd Palo AltoCA94304 United States Department of Computer Science Software Engineering University of Twente P.O. Box 217 Enschede7500 AE Netherlands
Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or ch... 详细信息
来源: 评论
Teaching parallel algorithm with process topologies  00
Teaching parallel algorithm with process topologies
收藏 引用
Proceedings of the thirty-first SIGCSE technical symposium on computer science education
作者: Chris McDonald Kamran Kazemi Programming Languages and Systems Group Department of Computer Science The University of Western Australia Nedlands Western Australia 6907
Parallel algorithms are often introduced to students by describing the geometric topologies formed by communicating processes and often the geographic relationships between them. However, the two most common message p...
来源: 评论
Dynamic Calculation and Characterization of Threshold Value in Optical Character Recognition
Dynamic Calculation and Characterization of Threshold Value ...
收藏 引用
International Conference on challenges in IT, Engineering and Technology (ICCIET’2014, Phuket)
作者: Ay?e Eldem Fatih Ba??ift?i Department of Computer Technology and Computer Programming Technical Science Vocational High School Karamano?lu Mehmetbey University Department of Computer Engineering Faculty of Technology Selcuk University
Optical character recognition(OCR) can be used in some management mechanisms of state and business world to organize documents scanned or captured by camera. Therefore, OCR is one of the subjects rapidly evolving in t... 详细信息
来源: 评论
Consistent modeling of distributed mutual exclusion protocol using optimistic simulation
Consistent modeling of distributed mutual exclusion protocol...
收藏 引用
Workshop on Principles of Advanced and Distributed Simulation (PADS)
作者: M.Y.H. Low D.M. Nicol Programming Research Group Computing Laboratory University of Oxford UK Department of Computer Science Dartmouth College USA
This paper discusses the problem of risk in optimistic simulation protocols, using as an example, simulation of a distributed mutual exclusion protocol with strong consistency properties. The simulation model is augme... 详细信息
来源: 评论
Some independence results for equational unification  6th
Some independence results for equational unification
收藏 引用
6th International Conference on Rewriting Techniques and Applications, RTA 1995
作者: Otto, Friedrich Narendran, Paliath Dougherty, Daniel J. Fachbereich Mathematik/Iuformatik Universität-GH Kassel Kassel34109 Germany Institute of Programming and Logics Department of Computer Science State University of New York AlbanyNY12222 United States Mathematics Department Wesleyan University MiddletownCT06459 United States
For finite convergent term-rewriting systems the equational unification problem is shown to be recursively independent of the equational matching problem, the word matching problem, and the (simultaneous) 2nd-order eq... 详细信息
来源: 评论