咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是91-100 订阅
排序:
Integrated UML and Modelica System Modeling with ModelicaML in Eclipse  11
Integrated UML and Modelica System Modeling with ModelicaML ...
收藏 引用
11th IASTED International Conference on Software Engineering and Applications, SEA 2007
作者: Pop, Adrian Akhvlediani, David Fritzson, Peter Programming Environments Laboratory Department of Computer and Information Science Linköping University LinköpingSE-581 83 Sweden
Complex products are increasingly consisting of both software and hardware components which are closely interacting. Thus, modeling tools and processes need to support co-design of software and hardware in an integrat... 详细信息
来源: 评论
Economic Analysis of the Situation Criminalization Production and Protection  15
Economic Analysis of the Situation Criminalization Productio...
收藏 引用
15th International Conference Management of Large-Scale System Development, MLSD 2022
作者: Troyanovskiy, V.M. Federal Research Center 'Computer Science and Control' of the Russian Academy of Sciences Department of Mathematical Methods of Regional Programming Moscow Russia
The article analyzes criminal activity of an economic nature in case of penetration of crime into production and the system of protection against it. It is advisable to find out under what conditions it is unprofitabl... 详细信息
来源: 评论
Towards unified system modeling with the ModelicaML UML profile
Towards unified system modeling with the ModelicaML UML prof...
收藏 引用
1st International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2007 - In Conjunction with the ECOOP 2007 Conference
作者: Pop, Adrian Akhvlediani, David Fritzson, Peter Programming Environments Lab Department of Computer and Information Science Linköping University SE-581 83 Linköping Sweden
In order to support the development of complex products, modeling tools and processes need to support co-design of software and hardware in an integrated way. Modelica is the major object-oriented mathematical modelin... 详细信息
来源: 评论
An object-oriented language for symbolic computationapplied to machine element analysis  92
An object-oriented language for symbolic computationapplied ...
收藏 引用
1992 International Symposium on Symbolic and Algebraic Computation, ISSAC 1992
作者: Viklund, Lars Fritzson, Peter Programming Environments Laboratory Department of Computer and Information Science Linköping University LinköpingS-581 83 Sweden
In this paper we present the ObjectMath language, a hybrid language integrating object-oriented constructs with features for symbolic and numeric computation. Complex mathematical models may be implemented in a natura... 详细信息
来源: 评论
Strict bidirectional type checking
Strict bidirectional type checking
收藏 引用
TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation
作者: Chlipala, Adam Petersen, Leaf Harper, Robert Computer Science Division University of California Berkeley United States Programming Systems Laboratory Intel Corporation United States Computer Science Department Carnegie Mellon University United States
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, the completely annotated forms are alm... 详细信息
来源: 评论
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... 详细信息
来源: 评论
AmbientTalk: Language support for mobile computing
AmbientTalk: Language support for mobile computing
收藏 引用
International Workshop on System Support for Future Mobile Computing Applications, FUMCA 2006
作者: Dedecker, Jessie Van Cutsem, Tom Mostinckx, Stijn De Meuter, Wolfgang D'Hondt, Theo Fund for Scientific Research Flanders Belgium Belgium Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
An important aspect of system support for mobile computing involves alleviating the issues related to programming the underlying distributed system. Our approach to dealing with these issues is by means of programming... 详细信息
来源: 评论
Economic analysis of one type of criminal activity  14
Economic analysis of one type of criminal activity
收藏 引用
14th International Conference Management of Large-Scale System Development, MLSD 2021
作者: Troyanovskiy, V.M. Federal Research Center 'Computer Science and Control' Russian Academy of Sciences Department of Mathematical Methods of Regional Programming Moscow Russia
This paper provides a formal analysis of the regularities of functioning and development of economic crimes. It was expedient to find out the conditions in which theft would not be worthwhile, i.e., supplement legal r... 详细信息
来源: 评论
Economic and Mathematical Model of a Group of Gas Fields  14
Economic and Mathematical Model of a Group of Gas Fields
收藏 引用
14th International Conference Management of Large-Scale System Development, MLSD 2021
作者: Solomatin, A.N. Federal Research Center 'Computer Science and Control Russian Academy of Sciences Department of Mathematical Methods of Regional Programming Moscow Russia
Economic and mathematical model of a group of gas fields is considered allowing forming the group development strategies for the long-term perspective. An algorithm for calculating the dynamics of gas production by fi... 详细信息
来源: 评论
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... 详细信息
来源: 评论