Showing 21 - 30 results of 224 for search '"electronic digital computers Programming."', 查詢時間: 0.02s Refine Results
  1. 21

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

    出版 1994
    圖書

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

    Reasoned programming

    出版 1994
    圖書

    Reasoned programming
  3. 23

    Computer program construction 由 Mili, Ali

    出版 1994
    圖書

    Computer program construction
  4. 24

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

    出版 1993
    圖書

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

    出版 1993
    圖書

    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

    出版 1993
    圖書

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

    Embedded real-time systems 由 Calvez, Jean Paul

    出版 1993
    圖書

    Embedded real-time systems
  8. 28

    Dynamic, genetic, and chaotic programming the sixth-generation

    出版 1992
    圖書

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

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

    出版 1992
    圖書

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

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

    出版 1991
    圖書

    Algorithms from P to NP design and efficiency

檢索工具: