Dangos 21 - 30 canlyniadau o 224 ar gyfer chwilio '"Electronic digital computer Programming."', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 21

    Temporal logic first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings

    Cyhoeddwyd 1994
    Llyfr

    Temporal logic first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
  2. 22

    Reasoned programming

    Cyhoeddwyd 1994
    Llyfr

    Reasoned programming
  3. 23

    Computer program construction gan Mili, Ali

    Cyhoeddwyd 1994
    Llyfr

    Computer program construction
  4. 24

    The deductive foundations of computer programming a one-volume version of the logical basis for computer programming gan Manna, Zohar

    Cyhoeddwyd 1993
    Llyfr

    The deductive foundations of computer programming a one-volume version of the logical basis for computer programming
  5. 25

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

    Cyhoeddwyd 1993
    Llyfr

    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
  6. 26

    Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings

    Cyhoeddwyd 1993
    Llyfr

    Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings
  7. 27

    Embedded real-time systems gan Calvez, Jean Paul

    Cyhoeddwyd 1993
    Llyfr

    Embedded real-time systems
  8. 28

    Dynamic, genetic, and chaotic programming the sixth-generation

    Cyhoeddwyd 1992
    Llyfr

    Dynamic, genetic, and chaotic programming the sixth-generation
  9. 29

    Structures and abstractions an introduction to computer science with Turbo Pascal. gan Salmon, W.

    Cyhoeddwyd 1992
    Llyfr

    Structures and abstractions an introduction to computer science with Turbo Pascal.
  10. 30

    Algorithms from P to NP design and efficiency gan Moret, B.M.E

    Cyhoeddwyd 1991
    Llyfr

    Algorithms from P to NP design and efficiency

Offerynnau Chwilio: