咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是411-420 订阅
排序:
Advances in Theory and Practice of Computational Mechanics  1
收藏 引用
丛书名: Smart Innovation, Systems and Technologies
1000年
作者: Lakhmi C. Jain Margarita N. Favorskaya Ilia S. Nikitin Dmitry L. Reviznikov
This book discusses physical and mathematical models, numerical methods, computational algorithms and software complexes, which allow high-precision mathematical modeling in fluid, gas, and plasma mechanics; general m... 详细信息
来源: 评论
Flexible Query Answering Systems  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Troels Andreasen Henrik Bulskov Ronald R. Yager Henning Christiansen Henrik Legind Larsen
This book constitutes the refereed proceedings of the 8th International Conference on Flexible Query Answering Systems, FQAS 2009, held in Roskilde, Denmark, in October 2009. The 57 papers included in this volume were... 详细信息
来源: 评论
Trends in Functional programming  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Rex Page Zoltán Horváth Viktória Zsók
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full pa... 详细信息
来源: 评论
Automated Reasoning with Analytic Tableaux and Related Methods  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Neil V. Murray
来源: 评论
Recent Developments and the New Direction in Soft-Computing Foundations and Applications  1
收藏 引用
丛书名: Studies in Fuzziness and Soft Computing
1000年
作者: Lotfi A. Zadeh Ronald R. Yager Shahnaz N. Shahbazova Marek Z. Reformat Vladik Kreinovich
This book is an authoritative collection of contributions in the field of soft-computing. Based on selected works presented at the 6th World Conference on Soft Computing, held on May 22-25, 2016, in Berkeley, USA, it ... 详细信息
来源: 评论
Multicore Software Engineering, Performance, and Tools  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Victor Pankratius Michael Philippsen
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which ... 详细信息
来源: 评论
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... 详细信息
来源: 评论