検索結果 21 - 30 結果 / 224 検索語 '"Electronic digital computers programming."', 処理時間: 0.03秒 結果の絞り込み
  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

検索ツール: