确定
收藏
- [图书] Computing methods in applied sciences and engineering, 1977
- 作者：ed. by R. Glowinski ... IRIA LABORIA, Institut de Recherche d'Informatique et d'Automatique
- 出版社：Springer
- 出版日期：1979
- ISBN：038709119X
- 所属馆：
- 获取途径：
收藏
- [图书] Computing methods in applied sciences and engineering :
- 作者：ed. by R. Glowinski ... IRIA LABORIA, Institut de Recherche d'Informatique et d'Automatique.
- 出版社：Springer,
- 出版日期：1976.
- ISBN：0387079904
- 所属馆：
- 获取途径：
收藏
- [图书] New trends in systems analysis :
- 作者：IRIA LABORIA, Institut de Recherche d'Informatique et d'Automatique, Rocquencourt, France ; edited by A. Bensoussan and J. L. Lions.
- 出版社：Springer-Verlag,
- 出版日期：1977.
- ISBN：0387084061
- 所属馆：
- 获取途径：
收藏
- [图书] Construction, ame?lioration et ve?rification de programmes = = Proving and improving programs
- 作者：organise? par l'I.R.I.A., Institut de recherche d'informatique et d'automatique ... 1, 2, 3 juillet 1975, Arc-et-Senans ; edited by G. Huet ... G. Kahn ...
- 出版社：I.R.I.A.,
- 出版日期：1975.
- ISBN：2726100635
- 所属馆：
- 获取途径：
收藏
- [图书] Automata, languages and programming /
- 作者：Proceedings of a symposium organized by IRIA, Institut de recherche d'informatique et d'automatique, 78-Rocquencourt, France, July 3-7, 1972. Edited by M. Nivat.
- 出版社：North-Holland Pub. Co. ;/American Elsevier,
- 出版日期：1973.
- ISBN：0444104267 (American Elsevier)
- 所属馆：
- 获取途径：
收藏
- [图书] Computing methods in applied sciences and engineering :
- 作者：edited by R. Glowinski, J. L. Lions ; organized by Institut de recherche d'informatique et d'automatique ; sponsored by AFCET, GAMNI, IFIP TC-7.
- 出版社：North-Holland Pub. Co. ;/sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
- 出版日期：1980.
- ISBN：0444860088
- 所属馆：
- 获取途径：
收藏
- [图书] Computing methods in applied sciences and engineering /
- 作者：Second International Symposium, December 15-19, 1975 / [organized by] IRIA LABORIA, Institut de recherche d'informatique et d'automatique ; edited by R. Glowinski and J.L. Lions.
- 出版社：Springer-Verlag,
- 出版日期：1976.
- ISBN：3540080031
- 所属馆：
- 获取途径：