检索条件： International Workshop on Software specification and Design ( 任意词 )

检索结果共有4条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 International Workshop on Software specification and Design(3rd : 1985 : London)
责任者 IEEE

出版信息 IEEE ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IEEE.International Workshop on Software specification and Design(3rd : 1985 : London).IEEE,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/29815
复制引文到剪贴板

International Workshop on Software specification and Design(3rd : 1985 : London)

IEEE.IEEE,1985.
2 图书 Workshop on Mathematical Methods of Specification and Synthesis of Software Systems(1985 : Wendisch-Rietz)：Mathematical methods of specification and synthesis fo software systems`85 : proceedings
责任者 Workshop on Mathematical Methods of Specification and Synthesis fo Software Systems

出版信息 Springer-Verlag ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Workshop on Mathematical Methods of Specification and Synthesis fo Software Systems.Workshop on Mathematical Methods of Specification and Synthesis of Software Systems(1985 : Wendisch-Rietz)：Mathematical methods of specification and synthesis fo software systems`85 : proceedings.Springer-Verlag,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30837
复制引文到剪贴板

Workshop on Mathematical Methods of Specification and Synthesis of Software Systems(1985 : Wendisch-Rietz)：Mathematical methods of specification and synthesis fo software systems`85 : proceedings

Workshop on Mathematical Methods of Specification and Synthesis fo Software Systems.Springer-Verlag,1986.
3 图书 Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report /
责任者

出版信息

ISBN 2004111959

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/218319
复制引文到剪贴板

Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report /

.,.
4 图书 Intelligent agents : specification, modeling, and application : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 2001 : proceedings /
责任者

出版信息

ISBN 2001049386

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Intelligent agents : specification, modeling, and application : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 2001 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/1436
复制引文到剪贴板

Intelligent agents : specification, modeling, and application : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 2001 : proceedings /

.,.

通借成功!

预约成功!