Zobrazuji výsledky 21 - 30 z 224 pro vyhledávání '"Electronic digital computers Programming"', doba hledání: 0,02 s. Upřesnit hledání
  1. 21

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

    Vydáno 1994
    Kniha

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

    Reasoned programming

    Vydáno 1994
    Kniha

    Reasoned programming
  3. 23

    Computer program construction Autor Mili, Ali

    Vydáno 1994
    Kniha

    Computer program construction
  4. 24

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

    Vydáno 1993
    Kniha

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

    Vydáno 1993
    Kniha

    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

    Vydáno 1993
    Kniha

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

    Embedded real-time systems Autor Calvez, Jean Paul

    Vydáno 1993
    Kniha

    Embedded real-time systems
  8. 28

    Dynamic, genetic, and chaotic programming the sixth-generation

    Vydáno 1992
    Kniha

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

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

    Vydáno 1992
    Kniha

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

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

    Vydáno 1991
    Kniha

    Algorithms from P to NP design and efficiency

Vyhledávací nástroje: