Zobrazuji výsledky 1 - 5 z 5 pro vyhledávání '"Electronic digital computers Programming Congress."', doba hledání: 0,02 s. Upřesnit hledání
  1. 1

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

    Vydáno 1995
    Kniha

    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,...

    Vydáno 1993
    Kniha

    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

    Vydáno 1990
    Kniha

    Formal development of programs and proofs
  4. 4

    Software engineering.

    Vydáno 1980
    Kniha

    Software engineering.
  5. 5

    Software engineering an advanced course

    Vydáno 1975
    Kniha

    Software engineering an advanced course

Vyhledávací nástroje: