咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是201-210 订阅
排序:
Synchronous composition of quasi-complete and quasi-deterministic FSMs
Synchronous composition of quasi-complete and quasi-determin...
收藏 引用
International Conference on Actual Problems of Systems and Software Engineering
作者: Igor Burdonov Alexandr Kossachev Nina Yevtushenko Tiziano Villa Software Engineering department Ivannikov Institute for System Programming of RAS Software engineering deparment Ivannikov Institute for System Programming Computer Science Department University of Verona
In this paper, we consider the synchronous composition of Finite State Machines (FSMs) that corresponds to instantaneous communication of hardware components. Such FSMs can be deterministic or nondeterministic, partia... 详细信息
来源: 评论
Genetic programming as a darwinian invention machine  2nd
收藏 引用
2nd European Workshop on Genetic programming, EuroGP 1999
作者: Koza, John R. Bennett, Forrest H. Stiffelman, Oscar Section on Medical Informatics Department of Medicine StanfordCA94305 United States Genetic Programming Inc Los AltosCA94023 United States Computer Science Department Stanford University StanfordCA94305 United States
Genetic programming is known to be capable of creating designs that satisfy prespecified high-level design requirements for analog electrical circuits and other complex structures. However, in the real world, it is of... 详细信息
来源: 评论
Flexible Query Answering Systems  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Henrik Legind Larsen Gabriella Pasi Daniel Ortiz-Arroyo Troels Andreasen Henning Christiansen
来源: 评论
Text, Speech and Dialogue  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Václav Matousek Pavel Mautner Jana Ocelíková Petr Sojka
来源: 评论
Modelica — A cyber-physical modeling language and the OpenModelica environment
Modelica — A cyber-physical modeling language and the OpenM...
收藏 引用
International Wireless Communications and Mobile Computing Conference, IWCMC
作者: Peter Fritzson PELAB-Programming Environment Laboratory Department Computer Science Linköping University Linkoping Sweden
Modelica is a modern, strongly typed, declarative, equation-based, and object-oriented (EOO) language for modeling and simulation of complex cyber-physical systems. Major features are: ease of use, visual design of mo... 详细信息
来源: 评论
Efficient commerce protocols based on one-time pads
Efficient commerce protocols based on one-time pads
收藏 引用
Annual computer Security Applications Conference
作者: M.A. Schneider E.W. Felten Secure Internet Programming Laboratory Department of Computer Science Princeton University Princeton NJ USA
Presents a new commerce protocol that allows customers and merchants to conduct face-to-face credit-card authorizations with a credit card company securely, with the option of anonymity for the customer, the merchant,... 详细信息
来源: 评论
A Modeling Framework for the Development of Provably Secure E-Commerce Applications
A Modeling Framework for the Development of Provably Secure ...
收藏 引用
International Conference on Software Engineering Advances (ICSEA)
作者: Nina Moebius Dominik Haneberg Wolfgang Reif Gerhard Schellhorn Institute of Computer Science Department of Software Engineering and Programming Languages University of Augsburg Augsburg Germany
Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology fo... 详细信息
来源: 评论
PIPSEA: A practical IPsec gateway on embedded APUs  16
PIPSEA: A practical IPsec gateway on embedded APUs
收藏 引用
23rd ACM Conference on computer and Communications Security, CCS 2016
作者: Park, Jungho Jung, Wookeun Jo, Gangwon Lee, Ilkoo Lee, Jaejin Center for Manycore Programming Department of Computer Science and Engineering Seoul National University Seoul08826 Korea Republic of ManyCoreSoft Co. Ltd. Building 138 Seoul National University Seoul08826 Korea Republic of
Accelerated Processing Unit (APU) is a heterogeneous multicore processor that contains general-purpose CPU cores and a GPU in a single chip. It also supports Heterogeneous System Architecture (HSA) that provides coher... 详细信息
来源: 评论
Fuzzy Optimization, Decision-making and Operations Research  1
收藏 引用
1000年
作者: Chiranjibe Jana Madhumangal Pal Ghulam Muhiuddin Peide Liu
This book is aimed at experts and practitioners in the fields of fuzzy optimization, fuzzy decision-making, and fuzzy operation research.
来源: 评论
Generating formal specifications for security-critical applications - A model-driven approach
Generating formal specifications for security-critical appli...
收藏 引用
International Workshop on Software Engineering for Secure Systems (SESS)
作者: Nina Moebius Kurt Stenzel Wolfgang Reif Department of Software Engineering and Programming Languages Institute of Computer Science University of Augsburg Augsburg Germany
The SecureMDD approach aims to generate both, a formal specification for verification and executable code, from UML diagrams. The UML models define the static as well as dynamic components of the system under developm... 详细信息
来源: 评论