登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Second International Conference on Formal Engineering Methods proceedings : December 9-11 1998 Bri
出版社：Los Alamitos, Calif. : IEEE Computer Society Press, 1998.
ISBN：0818691980
出版年：1998
作者：IEEE International Conference on Formal Engineering Methods
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Frontiers in computing : proceedings of the international conference, 9-11 December 1987, Amsterdam,
  • 作者：Riet,R. P. van de.
  • ISBN：0444880402
  • 出版社：Amsterdam ; New York : North-Holland ; New York, NY, USA : Distributors for the U.S. and Canada, Els
  • 出版年：1989
...

Formal methods pacific ''97 : proceedings of FMP ''97, 9-11 July 1997, Wellington, New Zealand
  • 作者：Groves,Lindsay,
  • ISBN：981308331X
  • 出版社：Singapore : Springer, c1997.
  • 出版年：1997
...

OOIS ''98 : 1998 International Conference on Object Oriented Information Systems, 9-11 September 1998
  • 作者：Rolland,Colette
  • ISBN：1852330465
  • 出版社：London ; New York : Springer, 1998.
  • 出版年：1998
...

Proceedings of the International Conference on Advances in Manufacturing, 9-11 October
  • 作者：International Conference on Advances in Manufacturing
  • ISBN：0903608588
  • 出版社：Kempston : IFS, c1984
  • 出版年：1984
...

International Telemetering Conference, Oct. 9-11, 1973 : proceedings
  • 作者：International Telemetering Conference
  • 出版社：Wash. : International Foundation for Telemetering, 1963-
  • 出版年：1963
...

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods
  • 作者：International Conference on Formal Engineering Methods
  • ISBN：3540766480
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007