Computer algebra in scientific computing : 14th international workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings

Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings

Proceedings of the Xth International Scientific Congress in fur animal production

Computer-aided systems engineering

Knowledge engineering in computer-aided design: proceedings of the IFIP WG 5.2 working conference on Knowledge engineering in computer-aided design: Budapest, Hungary, 17-19 September, 1984 / edited by John S. Gero