咨询与建议

限定检索结果

文献类型

  • 490 篇 会议
  • 247 篇 期刊文献
  • 6 册 图书
  • 1 件 标准

馆藏范围

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

日期分布

学科分类号

  • 610 篇 工学
    • 488 篇 计算机科学与技术...
    • 370 篇 软件工程
    • 85 篇 电气工程
    • 53 篇 信息与通信工程
    • 40 篇 控制科学与工程
    • 16 篇 生物医学工程(可授...
    • 15 篇 安全科学与工程
    • 14 篇 电子科学与技术(可...
    • 12 篇 仪器科学与技术
    • 10 篇 土木工程
    • 9 篇 机械工程
    • 9 篇 船舶与海洋工程
    • 9 篇 生物工程
    • 8 篇 材料科学与工程(可...
    • 8 篇 网络空间安全
    • 7 篇 交通运输工程
    • 6 篇 建筑学
  • 130 篇 理学
    • 84 篇 数学
    • 18 篇 生物学
    • 18 篇 统计学(可授理学、...
    • 14 篇 系统科学
    • 9 篇 物理学
    • 9 篇 化学
    • 8 篇 海洋科学
  • 70 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 26 篇 图书情报与档案管...
    • 10 篇 工商管理
  • 20 篇 医学
    • 11 篇 基础医学(可授医学...
    • 10 篇 临床医学
  • 13 篇 教育学
    • 13 篇 教育学
  • 7 篇 法学
  • 5 篇 农学
  • 2 篇 经济学
  • 1 篇 文学

主题

  • 43 篇 software enginee...
  • 19 篇 computer languag...
  • 19 篇 semantics
  • 18 篇 testing
  • 17 篇 software
  • 16 篇 java
  • 15 篇 application soft...
  • 15 篇 artificial intel...
  • 13 篇 model checking
  • 13 篇 monitoring
  • 13 篇 software design
  • 13 篇 unified modeling...
  • 12 篇 specifications
  • 12 篇 machine learning
  • 12 篇 formal methods
  • 11 篇 runtime
  • 11 篇 optimization
  • 11 篇 security
  • 11 篇 hardware
  • 10 篇 internet of thin...

机构

  • 36 篇 ulm univ inst so...
  • 27 篇 univ lubeck inst...
  • 18 篇 med univ lubeck ...
  • 15 篇 institute for so...
  • 14 篇 institute of sof...
  • 13 篇 institute for so...
  • 12 篇 univ potsdam cha...
  • 9 篇 univ potsdam cha...
  • 8 篇 univ lubeck inst...
  • 8 篇 trakya univ dept...
  • 8 篇 univ oslo progra...
  • 8 篇 institute of sof...
  • 7 篇 univ dortmund ch...
  • 7 篇 institute of sof...
  • 7 篇 univ hertfordshi...
  • 6 篇 institute of sof...
  • 6 篇 univ ulm inst so...
  • 6 篇 tech univ dortmu...
  • 6 篇 institute of sof...
  • 6 篇 tu dortmund univ...

作者

  • 67 篇 margaria tiziana
  • 64 篇 tichy matthias
  • 62 篇 leucker martin
  • 61 篇 steffen bernhard
  • 24 篇 dosch walter
  • 18 篇 thoma daniel
  • 18 篇 schmitz malte
  • 18 篇 grelck clemens
  • 18 篇 raschke alexande...
  • 17 篇 groner raffaela
  • 16 篇 lamprecht anna-l...
  • 16 篇 schaefer ina
  • 16 篇 pietron jakob
  • 15 篇 scholz sven-bodo
  • 14 篇 tiziana margaria
  • 13 篇 dosch w
  • 13 篇 naujokat stefan
  • 12 篇 das resul
  • 12 篇 yevtushenko nina
  • 12 篇 juhnke katharina

语言

  • 715 篇 英文
  • 16 篇 其他
  • 10 篇 德文
  • 2 篇 中文
  • 1 篇 土耳其文
检索条件"机构=Software Programming"
744 条 记 录,以下是741-750 订阅
排序:
Autonomic and Trusted Computing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Juan González Nieto Wolfgang Reif Guojun Wang Jadwiga Indulska
来源: 评论
software Engineering Research and Applications  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Walter Dosch Roger Y. Lee Chisu Wu
It was our great pleasure to extend a welcome to all who participated in SERA 2004, the second International Conference on software Engineering Research, Management and Applications, held at the Omni Hotel, Los Angele... 详细信息
来源: 评论
Rigorous State-Based Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Alexander Raschke Dominique Méry Frank Houdek
来源: 评论
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... 详细信息
来源: 评论