RIMS Symposium on Software Science and Engineering II Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
International Symposium on Programming Proceedings of the Fourth "Colloque International Sur la Programmation" Paris, 22-24 April 1980
Theory and Applications of Singular Perturbations Proceedings of a Conference Held in Oberwolfach, August 16-22, 1981
Alternating Sequential-Parallel Processing
Digital Image Processing Systems: Proceedings (Lecture Notes in Computer Science, 109)
Software Security -- Theories and Systems Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers
Numerical Analysis Proceedings of the Dundee Conference on Numerical Analysis, 1975
Recent Mathematical Methods in Dynamic Programming: Proceedings of the Conference Held in Rome, Italy, March 26-28, 1984 (Lecture Notes in Mathematics, 1119)
CONPAR 81 Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings