咨询与建议

限定检索结果

文献类型

  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 3 篇 congresses.
  • 2 篇 formal methods (...
  • 1 篇 computer network...
  • 1 篇 electronic data ...
  • 1 篇 software enginee...
  • 1 篇 intelligent tuto...
  • 1 篇 distributed proc...
  • 1 篇 computer-assiste...

机构

  • 1 篇 university of du...
  • 1 篇 university colle...
  • 1 篇 the university o...
  • 1 篇 japan advanced i...
  • 1 篇 national central...

作者

  • 1 篇 kung-kiu lau
  • 1 篇 farn wang
  • 1 篇 heisel maritta
  • 1 篇 myra b. cohen an...
  • 1 篇 edited by mitsur...

语言

  • 5 篇 中文
检索条件"丛书名=Lecture Notes in Computer Science 3731 : Programming and Software Engineering"
5 条 记 录,以下是1-10 订阅
排序:
software Service and Application engineering  1
收藏 引用
丛书名: lecture notes in computer science 7365 programming and software engineering
2012年
作者: Heisel, Maritta 编
This festschrift volume, published in honor of Bernd Kramer on the occasion of his 65th birthday, contains 11 contributions by close scientific companions. Covering topics like Petri nets and theoretical computer scie...
来源: 评论
Search Based software engineering  1
收藏 引用
丛书名: lecture notes in computer science 6956 programming and software engineering
2011年
作者: Myra B. Cohen and Mel Ó Cinnéide
This book constitutes the refereed proceedings of the Third International Symposium on Search Based software engineering, SSBSE 2011 held in Szeged, Hungary in collocation with ESEC/FSE 2011. The 18 revised full paper...
来源: 评论
Intelligent Tutoring Systems: 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings (lecture notes in computer science / programming and software engineering)  1
收藏 引用
丛书名: lecture notes in computer science 4053 : programming and software engineering
2006年
作者: Edited by Mitsuru Ikeda, Kevin Ashlay, Tak-Wai Chan
来源: 评论
Formal Techniques for Networked and Distributed Systems - FORTE 2005网络和分布系统的形式技术-FORTE 2005  1
收藏 引用
丛书名: lecture notes in computer science 3731 : programming and software engineering
2005年
作者: Farn Wang
来源: 评论
Formal Methods and software engineering形式方法与软件工程  1
收藏 引用
丛书名: lecture notes in computer science 3785 programming and software engineering
2005年
作者: Kung-Kiu Lau
来源: 评论