Skip to contents

  1. Arbib, Michael A. [Author]; Kfoury, Assaf J. [Author]; Moll, Robert N. [Author] ; Arbib, Michael A. [Other]

    A basis for theoretical computer science

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York; Heidelberg [u.a.]: Springer, c 1981

    Published in: Texts and monographs in computer science ; The AKM series in theoretical computer science

  2. Kfoury, Assaf J. [Author]; Moll, Robert N. [Author]; Arbib, Michael A. [Author] ; Arbib, Michael A. [Other]

    A programming approach to computability

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York; Heidelberg [u.a.]: Springer, 1982

    Published in: Texts and monographs in computer science ; The AKM series in theoretical computer science - Texts and monographs in computer science

  3. Arbib, Michael A. [Author] ; Post, Jonathan V. [Other]

    Computers and the cybernetic society

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York [u.a.]: Academic Press, 1977

  4. Arbib, Michael A. [Author]

    Theories of abstract automata

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Englewood Cliffs, NJ: Prentice-Hall, 1969

    Published in: Prentice-Hall series in automatic computation

  5. Arbib, Michael A. [Author]

    Brains, machines, and mathematics

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York [u.a.]: McGraw-Hill, 1964

    Published in: McGraw-Hill paperbacks

  6. Manes, Ernest G. [Author]; Arbib, Michael A. [Author]

    Algebraic approaches to program semantics

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York; Heidelberg [u.a.]: Springer, 1986

    Published in: Texts and monographs in computer science ; The AKM series in theoretical computer science