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

Formal methods pacific ''97 : proceedings of FMP ''97 9-11 July 1997 Wellington New Zealand
出版社：Singapore : Springer, c1997.
ISBN：981308331X
出版年：1997
作者：Groves,Lindsay,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

International Refinement Workshop & Formal Methods Pacific''1998 : proceedings of IRW/FMP''98, 29 Sept
  • 作者：International Refinement Workshop and Formal Methods Pacific 1998
  • ISBN：9814021164
  • 出版社：Singapore : Springer-Verlag, c1998.
  • 出版年：1998
...

Second International Conference on Formal Engineering Methods proceedings : December 9-11, 1998, Bri
  • 作者：IEEE International Conference on Formal Engineering Methods
  • ISBN：0818691980
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society Press, 1998.
  • 出版年：1998
...

Indo-Pacific Fisheries council proceedings.15th session :Wellington,New Zealand,18-27 October 1972,s
  • 作者：IPFC Secretariat,FAO Regional Office for Asia and Far East Bangkok
  • 出版社：1972
  • 出版年：1972
...

Indo-Pacific Fisheries council proceedings.15th session Wellington,New Zealand 18-27 October 1972.Se
  • 作者：IPFC Secretariat,FAO Regional Office for Asia and Far East Bangkok
  • 出版社：1973
  • 出版年：1973
...

Indo-Pacific Fisheries council proceedings.15th session:Wellington,New Zealand,18-27 Oct.1972,Sectio
  • 作者：IPFC Secretariat,FAO Regional Office for Asia and Far East Bangkok
  • 出版社：1972
  • 出版年：1972
...

Hanging roofs : proceedings, Paris, 9-11 July 1962
  • 作者：IASS Colloquium on Hanging Roofs,Continuous Metallic Shell Roofs,and Superficial Lattice Roofs
  • 出版社：Amsterdam : North-Holland Pub. Co.; New York : Interscience Publishers, 1963.
  • 出版年：1963