Weld quality, the role of computers : proceedings of the International Conference on Improved Weldment Control with Special Reference to Computer Technology held in Vienna, Austria, 4-5 July 1988 under the auspices of the International Institute of Welding = Qualite en soudage, le role de l'ordinateur : communications présentées à la Conférence internationale sur l'amélioration de la qualité des soudures en particulier avec l'aide de l'ordinateur tenue à Vienne, l'Autriche, les 4 et 5 juillet 1988 sous les auspices de l'institut international de la soudure.

Computers and informatics in developing countries

An analysis of the information technology standardization process : proceedings of the International Symposium on Information Technology Standardization held in Braunschweig, F.R.G., 4-7 July 1989

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

Protocol specification, testing, and verification, XII : proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992

Computer arithmetic and self-validating numerical methods

Parallel computational fluid dynamics : development and applications of parallel technology : proceedings of the Parallel CFD'98 Conference Hsinchu, Taiwan, May 11-14, 1998

Parallel computational fluid dynamics : new trends and advances : proceedings of the Parallel CFD '93 Conference Paris, France (May 10-12, 1993)