咨询与建议

限定检索结果

文献类型

  • 197 篇 会议
  • 108 篇 期刊文献
  • 8 册 图书

馆藏范围

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

日期分布

学科分类号

  • 214 篇 工学
    • 156 篇 计算机科学与技术...
    • 112 篇 软件工程
    • 37 篇 信息与通信工程
    • 29 篇 控制科学与工程
    • 19 篇 生物医学工程(可授...
    • 18 篇 电气工程
    • 15 篇 生物工程
    • 14 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 10 篇 土木工程
    • 8 篇 化学工程与技术
    • 7 篇 建筑学
    • 6 篇 材料科学与工程(可...
    • 5 篇 仪器科学与技术
    • 5 篇 动力工程及工程热...
  • 126 篇 理学
    • 80 篇 数学
    • 20 篇 生物学
    • 20 篇 统计学(可授理学、...
    • 19 篇 系统科学
    • 16 篇 物理学
    • 6 篇 化学
  • 52 篇 管理学
    • 36 篇 管理科学与工程(可...
    • 20 篇 工商管理
    • 18 篇 图书情报与档案管...
  • 13 篇 医学
    • 11 篇 临床医学
    • 10 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 8 篇 法学
    • 7 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 教育学
    • 5 篇 教育学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 农学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 11 篇 artificial intel...
  • 6 篇 computer science
  • 5 篇 support vector m...
  • 4 篇 programming prof...
  • 4 篇 compilers
  • 4 篇 reliability
  • 4 篇 concurrent compu...
  • 4 篇 computer archite...
  • 4 篇 neural networks
  • 4 篇 computational in...
  • 4 篇 optimization
  • 4 篇 monitoring
  • 4 篇 decision making
  • 4 篇 dipper throated ...
  • 4 篇 software design
  • 4 篇 artificial neura...
  • 4 篇 functional progr...
  • 3 篇 safety
  • 3 篇 grey wolf optimi...
  • 3 篇 automation

机构

  • 16 篇 department of sy...
  • 10 篇 department of ap...
  • 7 篇 department of ma...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 4 篇 university of lü...
  • 4 篇 department of ap...
  • 4 篇 national institu...
  • 3 篇 university spbpu...
  • 3 篇 department of ap...
  • 3 篇 zuse institute b...

作者

  • 9 篇 maiti manoranjan
  • 8 篇 mostafa abotaleb
  • 8 篇 pal madhumangal
  • 8 篇 abdelhameed ibra...
  • 7 篇 scholz sven-bodo
  • 7 篇 grelck clemens
  • 7 篇 abotaleb mostafa
  • 5 篇 pal anita
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 börcsök j.
  • 5 篇 de meuter wolfga...
  • 5 篇 van cutsem tom
  • 5 篇 doaa sami khafag...
  • 4 篇 choe km
  • 4 篇 bergstra j.a.
  • 4 篇 schwarz m.h.
  • 4 篇 hayek ali
  • 4 篇 dybjer peter
  • 4 篇 mostinckx stijn

语言

  • 305 篇 英文
  • 5 篇 其他
  • 2 篇 中文
  • 1 篇 日文
检索条件"机构=Computer Programming Technology"
313 条 记 录,以下是11-20 订阅
排序:
Bi-level programming for Stackelberg Game with Intuitionistic Fuzzy Number: a Ranking Approach
收藏 引用
Journal of the Operations Research Society of China 2021年 第1期9卷 131-149页
作者: Sumit Kumar Maiti Sankar Kumar Roy School of Applied Sciences and Humanities Haldia Institute of TechnologyPurba MidnaporeWB 721657India Department of Applied Mathematics with Oceanology and Computer ProgrammingVidyasagar UniversityMidnaporeWB 721102India
This paper introduces a ranking function procedure on a bi-level programming for Stackelberg game involving intuitionistic fuzzy *** fuzzy num-ber is considered in many real-life situations,so it makes perfect sense t... 详细信息
来源: 评论
Comprehensive curriculum of programming for engineers, its teaching models and in-lab monitoring technique
Comprehensive curriculum of programming for engineers, its t...
收藏 引用
International MultiConference of Engineers and computer Scientists 2015, IMECS 2015
作者: Satoskar, Mohit Mali, Sagar Department of Computer Science and Information Technology Ramrao Adik Institute of Technology Mumbai India Computer Programming and System Software Design Area of Computer Science at Kolhapur Maharashtra India
Issues related to the curriculum design of C programming language is analysed. Aspects and necessity of programming for engineers is discussed. The enhanced outlay of programming for engineers and generating the curri... 详细信息
来源: 评论
AMBIGUITY IN PROCESSING BOOLEAN QUERIES ON TDMS TREE-STRUCTURES - A STUDY OF 4 DIFFERENT PHILOSOPHIES
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1980年 第4期6卷 357-372页
作者: HARDGRAVE, WT Center for Programming Sciences and Technology Institute for Computer Sciences and Technology National Bureau of Standards
This paper defines and demonstrates four philosophies for processing queries on tree structures; shows that the data semantics of queries shuld be described by designating sets of nodes from which v values for attnbut... 详细信息
来源: 评论
A Tool for reliable model-based design for programming logic controllers
A Tool for reliable model-based design for programming logic...
收藏 引用
1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, ACATTA 2013
作者: Schwarz, M.H. Sheng, H. Chaaban, W. Börcsök, J. Dept. Safety Computer Technology University of Kassel Kassel Germany Dept. Computer Architecture and System Programming University of Kassel Kassel Germany
This paper presents an automated code generation and validation, verification approach to convert model based developments into IEC 61131-3 conform function blocks. IEC 61131-3 programming languages are supported by P... 详细信息
来源: 评论
A functional programming approach to the specification and verification of concurrent systems
收藏 引用
Formal Aspects of Computing 1989年 第1期1卷 303-319页
作者: Dybjer, Peter Sander, Herbert P. Programming Methodology Group Department of Computer Sciences Chalmers University of Technology and University of Göteborg Göteborg S-412 96 Sweden
Networks of communicating processes can be viewed as networks of stream transformers and programmed in a lazy functional language. Thus the correctness of concurrent systems can be reduced to the correctness of functi... 详细信息
来源: 评论
EXCEPTION HANDLING - EXPECTING THE UNEXPECTED
收藏 引用
computer LANGUAGES 1994年 第2期20卷 69-87页
作者: DREW, SJ GOUGH, KJ Programming Languages and Systems Group Computer Science Department Queensland University of Technology Queensland Australia 4000
Since the mid-1970s, and with the development of each new programming paradigm there has been an increasing interest in exceptions and the benefits of exception handling. With the move towards programming for ever mor... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Category theory and programming language semantics: An overview
Category theory and programming language semantics: An overv...
收藏 引用
Workshop on Category Theory and computer programming, 1985
作者: Dybjer, Peter Programming Methodology Group Department of Computer Sciences Chalmers University of Technology and University of Göteborg GöteborgS-412 96 Sweden
I have not tried to be comprehensive here. Instead I have tried to pursue the idea of category theory as a kind of type theory and thereby I have only included those uses of category theory which I have found particul... 详细信息
来源: 评论
Designing modularity architecture for multithread programming
Designing modularity architecture for multithread programmin...
收藏 引用
4th International Conference on Communications and Information technology, CIT'10
作者: Netinant, Paniti Computer Science Department Bangkok University Bangkok Thailand Concurrent Programming Research Group Illinois Institute of Technology Chicago IL United States
Multithreaded Object-Oriented programming in concurrency environment using object-oriented technology is a complex activity. Programmers need to be aware of issues unrelated to their domain of problem, and are often u... 详细信息
来源: 评论
Resource-aware programming and simulation of MPSoC architectures through extension of X10  11
Resource-aware programming and simulation of MPSoC architect...
收藏 引用
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems
作者: Hannig, Frank Roloff, Sascha Snelting, Gregor Teich, Jürgen Zwinkau, Andreas Hardware/Software Co-Design Department of Computer Science University of Erlangen Nuremberg Germany Programming Paradigms Group Karlsruhe Institute of Technology - KIT Germany
The efficient use of future MPSoCs with f 000 or more processor cores requires new means of resource-aware programming to deal with increasing imperfections such as process variation, fault rates, aging effects, and p... 详细信息
来源: 评论