Filter
Conference contribution

Search results

  • 1976

    Formal techniques and sizeable programs

    Dijkstra, E. W., 1976, ECI Conference 1976 (Proceedings 1st European Conference in Informatics, Amsterdam, The Netherlands, August 9-12, 1976). Samelson, A. (ed.). Berlin: Springer, p. 225-235 11 p. (Lecture Notes in Computer Science; vol. 44).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • Guarded commands, non-determinancy and a calculus for the derivation of programs

    Dijkstra, E. W., 1976, Language Hierarchies and Interfaces (International Summer School, Marktoberdorf, Germany, July 23-August 2, 1975). Bauer, F. L. & Samelson, K. (eds.). Berlin: Springer, p. 111-124 14 p. (Lecture Notes in Computer Science; vol. 46).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    11 Citations (Scopus)
  • On the teaching of programming, i.e. on the teaching of thinking

    Dijkstra, E. W., 1976, Language Hierarchies and Interfaces (International Summer School, Marktoberdorf, Germany, July 23-August 2, 1975). Bauer, F. L. & Samelson, K. (eds.). Berlin: Springer, p. 1-10 (Lecture Notes in Computer Science; vol. 46).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • The effective arrangement of logical systems

    Dijkstra, E. W., 1976, Mathematical Foundations of Computer Science (Proceedings 5th Symposium, MFCS '76, Gdańsk, Poland, September 6-10, 1976). Mazurkiewicz, A. W. (ed.). Berlin: Springer, p. 39-51 13 p. (Lecture Notes in Computer Science; vol. 45).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1966

    Application of the thermodynamics of irreversible processes to continuum mechanics

    Kluitenberg, G. A., 1966, 1966 Non-equilibrium Thermodynamics, Variational Techniques and Stability (Proc. Sympos. Univ. Chicago, May 17-19, 1965). Chicago IL: Univ. Chicago Press, p. 91-99

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review