咨询与建议

限定检索结果

文献类型

  • 283 篇 会议
  • 128 篇 期刊文献
  • 16 册 图书

馆藏范围

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

日期分布

学科分类号

  • 276 篇 工学
    • 216 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 145 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 14 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 24 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 11 篇 经济学
    • 11 篇 应用经济学
  • 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 篇 doaa sami khafag...
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 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 篇 英文
  • 11 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
427 条 记 录,以下是421-430 订阅
排序:
Foundations of Intelligent Systems  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Troels Andreasen Henning Christiansen Juan-Carlos Cubero Zbigniew W. Raś
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were careful... 详细信息
来源: 评论
Practical Aspects of Declarative Languages  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Veronica Dahl Philip Wadler
来源: 评论
computers in behavioral science on a computer program that generates and queries kinship structures
收藏 引用
Behavioral science 1969年 第4期14卷
作者: Nicholas V. Findler Wiley R. McKinzie Department of Computer Science State University of New York at Buffalo The programming part was done exclusively by W. R. McK. while the writing up of this paper represents a joint effort between the two authors. In its original form the work was a term project of W. R. McK. for a course on List Processing Techniques given by N. V. F.
The present work is an exercise to generate complex, inter-related data structures from the simplest possible information source. The organization of the memory is such that updating and retrieval processes are easy t...
来源: 评论
Constraint Solving and Language Processing  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Henning Christiansen Peter Rossen Skadhauge Jørgen Villadsen
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denma... 详细信息
来源: 评论
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.
来源: 评论
Leveraging Applications of Formal Methods, Verification, and Validation  1
收藏 引用
丛书名: Communications in computer and Information science
1000年
作者: Reiner Hähnle Jens Knoop Tiziana Margaria Dietmar Schreiner Bernhard Steffen
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during O... 详细信息
来源: 评论
Text, Speech and Dialogue  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Václav Matousek Pavel Mautner Jana Ocelíková Petr Sojka
来源: 评论