LIBROS DEL AUTOR: michael a arbib

11 resultados para LIBROS DEL AUTOR: michael a arbib

michael a arbib Eliminar filtro Quitar filtros
  • When Brains Meet Buildings
    Michael A Arbib
    After decades of research on minds and brains and a decade of conversations with architects, Michael Arbib presents When Brains Meet Buildings as an invitation to the science behind architecture, richly illustrated with buildings both famous and domestic. As he converses with the reader, hepresents action-oriented perception, memory, and imagination as well as atmosphere, aesth...
    Disponible

    59,80 €

  • Visuomotor Coordination
    Jorg Peter Ewert / Michael A. Arbib
    ...
    Disponible

    266,02 €

  • Algebraic Approaches to Program Semantics
    Ernest G. Manes / Michael A. Arbib
    In the 1930s, mathematical logicians studied the notion of 'effective comput­ ability' using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a conven...
    Disponible

    121,23 €

  • An Introduction to Formal Language Theory
    Michael A. Arbib / Robert N. Moll
    The study of formal languages and of related families of automata has long been at the core of theoretical computer science. Until recently, the main reasons for this centrality were connected with the specification and analy­ sis of programming languages, which led naturally to the following ques­ tions. How might a grammar be written for such a lang...
    Disponible

    66,64 €

  • A Programming Approach to Computability
    A.J. Kfoury / Michael A. Arbib / Robert N. Moll
    Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its basic results were discovered by mathematical logicians prior to the development of the first stored-program computer. As a result, many texts on computability theory strike today’s computer science students as far removed from their concerns. To remedy ...
    Disponible

    97,16 €

  • The Design of Well-Structured and Correct Programs
    Michael A. Arbib / Suad Alagić
    The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at algorithms and their design, synthesizing ten years of research in the process. It provides many examples of program and proof development with the aid of a forma...
    Disponible

    66,20 €

  • Brains, Machines, and Mathematics
    Michael A. Arbib
    This is a book whose time has come-again. The first edition (published by McGraw-Hill in 1964) was written in 1962, and it celebrated a number of approaches to developing an automata theory that could provide insights into the processing of information in brainlike machines, making it accessible to readers with no more than a college freshman’s knowle...
    Disponible

    146,54 €

  • The Construction of Reality
    Mary B. Hesse / Mary BHesse / Michael A. Arbib / Michael AArbib
    ...
    Disponible

    63,99 €

  • Visuomotor Coordination
    Jorg Peter Ewert / Michael A. Arbib
    Various brain areas of mammals can phyletically be traced back to homologous structures in amphibians. The amphibian brain may thus be regarded as a kind of 'microcosm' of the highly complex primate brain, as far as certain homologous structures, sensory functions, and assigned ballistic (pre-planned and pre-pro­ grammed) motor and behavioral processe...
    Disponible

    461,40 €

  • The Construction of Reality
    Mary B. Hesse / Mary BHesse / Michael A. Arbib / Michael AArbib
    ...
    Disponible

    153,63 €

  • Foundations of System Theory
    Brian D.O. Anderson / E. G. Manes / Michael A. Arbib
    This paper is one of a series in which the ideas of category theory are applied to problems of system theory. As with the three principal earlier papers, [1-3], the emphasis is on study of the realization problem, or the problem of associating with an input-output description of a system an internal description with something analogous to a state-spac...
    Disponible

    67,16 €