يعرض 21 - 30 نتائج من 224 نتيجة بحث عن '"Electronic digital computers Programming. ."', وقت الاستعلام: 0.02s تنقيح النتائج
  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

أدوات البحث: