咨询与建议

限定检索结果

文献类型

  • 903 篇 会议
  • 448 篇 期刊文献
  • 23 册 图书

馆藏范围

  • 1,374 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 811 篇 工学
    • 603 篇 计算机科学与技术...
    • 436 篇 软件工程
    • 127 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 59 篇 电气工程
    • 49 篇 电子科学与技术(可...
    • 48 篇 机械工程
    • 47 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 29 篇 仪器科学与技术
    • 26 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 18 篇 交通运输工程
  • 488 篇 理学
    • 334 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 系统科学
    • 63 篇 物理学
    • 45 篇 生物学
    • 26 篇 化学
  • 207 篇 管理学
    • 148 篇 管理科学与工程(可...
    • 85 篇 工商管理
    • 61 篇 图书情报与档案管...
  • 40 篇 经济学
    • 38 篇 应用经济学
  • 33 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 27 篇 法学
    • 25 篇 社会学
  • 26 篇 教育学
    • 21 篇 教育学
  • 15 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 35 篇 artificial intel...
  • 33 篇 safety
  • 31 篇 computer science
  • 28 篇 computer archite...
  • 27 篇 software
  • 23 篇 monitoring
  • 23 篇 hardware
  • 21 篇 computational mo...
  • 20 篇 application soft...
  • 18 篇 software enginee...
  • 18 篇 semantics
  • 17 篇 data models
  • 16 篇 optimization
  • 15 篇 reliability
  • 14 篇 programming prof...
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 13 篇 functional progr...
  • 13 篇 standards
  • 13 篇 training

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 17 篇 computer archite...
  • 15 篇 department of co...
  • 15 篇 department of co...
  • 13 篇 department of pr...
  • 13 篇 department of co...
  • 11 篇 department of ap...
  • 10 篇 technical univer...
  • 9 篇 department of co...
  • 9 篇 icas institute f...
  • 9 篇 department of ap...
  • 8 篇 institute for co...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 7 篇 chair for comput...

作者

  • 43 篇 josef börcsök
  • 34 篇 pal madhumangal
  • 30 篇 ali hayek
  • 22 篇 börcsök josef
  • 20 篇 madhumangal pal
  • 19 篇 gancheva veska
  • 17 篇 veska gancheva
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 15 篇 fritzson peter
  • 14 篇 hayek ali
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 gurkan tuna
  • 12 篇 mostafa abotaleb
  • 11 篇 mariana arghir
  • 10 篇 tuna gurkan
  • 10 篇 xue jingling
  • 10 篇 roy abi zeid dao...
  • 9 篇 roy sankar kumar

语言

  • 1,339 篇 英文
  • 24 篇 其他
  • 8 篇 中文
  • 1 篇 德文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1374 条 记 录,以下是51-60 订阅
排序:
Fail-safety techniques and their extensions to concurrent systems
收藏 引用
computer LANGUAGES 1996年 第4期22卷 193-203页
作者: Drew, SJ Programming Languages and Systems Group Computer Science Department Queensland University of Technology Sydney Queensland Australia 4000
Fail-safety is a system attribute which ensures that a program either completes its execution satisfying its post-conditions in the normal manner or signals its failure to do so to its operating environment. Such an a... 详细信息
来源: 评论
Shortest path problem on a network with imprecise edge weight
收藏 引用
Fuzzy Optimization and Decision Making 2005年 第4期4卷 293-312页
作者: Nayeem, Sk.Md. Abu Pal, Madhumangal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore-721 102 India
A network with its arc lengths as imprecise number, instead of a real number, namely, interval number and triangular fuzzy number is considered here. Existing ideas on addition and comparison between two imprecise num... 详细信息
来源: 评论
Generalization of an active electronic notebook for teaching multiple programming languages
Generalization of an active electronic notebook for teaching...
收藏 引用
2010 IEEE Education Engineering Conference, EDUCON 2010
作者: Torabzadeh-Tari, Mohsen Fritzson, Peter Pop, Adrian Sjölund, Martin PELAB - Programming Environment Lab Dept. Computer Science Linköping University SE-581 83 Linköping Sweden
In this paper we present a generalization of the active electronic notebook, OMNotebook, for handling multiple programming languages for educational purposes. OMNotebook can be an alternative or complementary tool to ... 详细信息
来源: 评论
Analytics of an Imperfect Four-Layer Production Inventory Model Under Two-Level Credit Period Using Branch-and-Bound Technique
收藏 引用
Journal of the Operations Research Society of China 2022年 第4期10卷 725-748页
作者: Subrata Panja Shyamal Kumar Mondal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar UniversityMidnaporeW.B.721102India
This paper explains an integrated production inventory supply chain model,which consists of a supplier,a manufacturer and a retailer under two-level credit *** is manufacturer’s credit period offered by the supplier,... 详细信息
来源: 评论
Solving the shortest path problem with interval arcs
收藏 引用
Fuzzy Optimization and Decision Making 2006年 第1期5卷 71-89页
作者: Sengupta, Atanu Pal, Tapan Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Medinipur - 721 102 India
This paper presents an algorithm for the shortest path problem when the connected arcs in a transportation network are represented as interval numbers. The methodology proposed in this paper considers fuzzy preference... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Soft Matrix Game: A Hesitant Fuzzy MCDM Approach
收藏 引用
American Journal of Mathematical and Management Sciences 2021年 第2期40卷 107-119页
作者: Jana, Jishu Kumar Roy, Sankar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University MidnaporeWest Bengal India
Soft set theory has emerged recently as a new mathematical tool to handle uncertainty. Sometimes decision makers are not sure about the decision-making criteria, where soft set theory provides an idea to deal with suc... 详细信息
来源: 评论
Paraconsistent logic programming  7th
收藏 引用
7th Conference on Foundations of Software Technology and Theoretical computer Science, FST and TCS 1987
作者: Blair, Howard A. Subrahmanian, V.S. Logic Programming Theory Group School of Computer & Information Science Syracuse University 313 Link Hall SyracuseNY13244 United States
This paper makes two contributions. Firstly, we give a semantics for sets of clauses of the form L0 ⇐ L1&.. &Ln where each Li is a literal. We call such clauses generally-Horn clauses. Any such endeavour has t... 详细信息
来源: 评论
Numerical approach of multi-objective optimal control problem in imprecise environment
收藏 引用
Fuzzy Optimization and Decision Making 2005年 第4期4卷 313-330页
作者: Maity, K. Maiti, M. Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 India
In this paper, realistic production-inventory models without shortages for deteriorating items with imprecise holding and production costs for optimal production have been formulated. Here, the rate of production is a... 详细信息
来源: 评论
Transportation Problem with Multi-choice Cost and Demand and Stochastic Supply
收藏 引用
Journal of the Operations Research Society of China 2016年 第2期4卷 193-204页
作者: Sankar Kumar Roy Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar UniversityMidnaporeWest Bengal 721102India
This paper analyzes the multi-choice stochastic transportation problem where the cost coefficients of the objective function and the demand parameters of the constraints follow multi-choice *** that the supply paramet... 详细信息
来源: 评论