Browse Books

Barbosa L and Martinho M Mathematical Literacy as a Condition for Sustainable Development Revised Selected Papers of the SEFM 2012 Satellite Events on Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - Volume 7991, (64-77)

Sergey I, Midtgaard J and Clarke D Calculating graph algorithms for dominance and shortest path Proceedings of the 11th international conference on Mathematics of Program Construction, (132-156)

Ferreira J, Mendes A, Cunha A, Baquero C, Silva P, Barbosa L and Oliveira J Logic training through algorithmic problem solving Proceedings of the Third international congress conference on Tools for teaching logic, (62-69)

Back R, Mannila L, Peltomäki M and Salakoski T Improving mathematics and programming education Proceedings of the Seventh Baltic Sea Conference on Computing Education Research - Volume 88, (167-170)

McLoughlin H and Hely K Teaching formal programming to first year computer science students Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, (155-159)

McLoughlin H and Hely K (1996) Teaching formal programming to first year computer science students, ACM SIGCSE Bulletin, 28:1, (155-159), Online publication date: 1-Mar-1996.

Kilov H, Harvey B and Mili H Precise behavioral specifications in OO information modeling Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum), (137-142)

Kilov H, Harvey B and Mili H (2019) Precise behavioral specifications in OO information modeling, ACM SIGPLAN OOPS Messenger, 5:4, (137-142), Online publication date: 1-Oct-1994.

Mody R (1992) On understanding type declarations in C, ACM SIGPLAN Notices, 27:6, (80-83), Online publication date: 1-Jun-1992.

Mody R (1992) Is programming an art?, ACM SIGSOFT Software Engineering Notes, 17:4, (19-21), Online publication date: 1-Oct-1992.