21 - 30 toradh á dtaispeáint as 224 toradh san iomlán ar an gcuardach '"Electronic Digital Computers Programming."', am iarratais: 0.02s Beachtaigh na torthaí
  1. 21

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

    Foilsithe / Cruthaithe 1994
    LEABHAR

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

    Reasoned programming

    Foilsithe / Cruthaithe 1994
    LEABHAR

    Reasoned programming
  3. 23

    Computer program construction de réir Mili, Ali

    Foilsithe / Cruthaithe 1994
    LEABHAR

    Computer program construction
  4. 24

    The deductive foundations of computer programming a one-volume version of the logical basis for computer programming de réir Manna, Zohar

    Foilsithe / Cruthaithe 1993
    LEABHAR

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

    Foilsithe / Cruthaithe 1993
    LEABHAR

    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

    Foilsithe / Cruthaithe 1993
    LEABHAR

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

    Embedded real-time systems de réir Calvez, Jean Paul

    Foilsithe / Cruthaithe 1993
    LEABHAR

    Embedded real-time systems
  8. 28

    Dynamic, genetic, and chaotic programming the sixth-generation

    Foilsithe / Cruthaithe 1992
    LEABHAR

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

    Structures and abstractions an introduction to computer science with Turbo Pascal. de réir Salmon, W.

    Foilsithe / Cruthaithe 1992
    LEABHAR

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

    Algorithms from P to NP design and efficiency de réir Moret, B.M.E

    Foilsithe / Cruthaithe 1991
    LEABHAR

    Algorithms from P to NP design and efficiency

Uirlisí cuardaigh: