Showing 1 - 5 results of 5 for search '"Electronic digital computers Programming Congress."', Forespørselstid: 0.01s Refine Results
  1. 1

    Category theory and computer science 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

    Udgivet 1995
    Bog

    Category theory and computer science 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
  2. 2

    Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate,...

    Udgivet 1993
    Bog

    Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
  3. 3

    Formal development of programs and proofs

    Udgivet 1990
    Bog

    Formal development of programs and proofs
  4. 4

    Software engineering.

    Udgivet 1980
    Bog

    Software engineering.
  5. 5

    Software engineering an advanced course

    Udgivet 1975
    Bog

    Software engineering an advanced course

Søgeredskaber: