Showing 21 - 30 results of 224 for search '"Electronic digital computers Programming."', query time: 0.02s Refine Results
  1. 21

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

    Published 1994
    Book

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

    Reasoned programming

    Published 1994
    Book

    Reasoned programming
  3. 23

    Computer program construction by Mili, Ali

    Published 1994
    Book

    Computer program construction
  4. 24

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

    Published 1993
    Book

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

    Published 1993
    Book

    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

    Published 1993
    Book

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

    Embedded real-time systems by Calvez, Jean Paul

    Published 1993
    Book

    Embedded real-time systems
  8. 28

    Dynamic, genetic, and chaotic programming the sixth-generation

    Published 1992
    Book

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

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

    Published 1992
    Book

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

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

    Published 1991
    Book

    Algorithms from P to NP design and efficiency

Search Tools: