Búsqueda de LIBROS DEL AUTOR: davis martin

5 resultados

davis martin Eliminar filtro Quitar filtros
  • THE UNIVERSAL COMPUTER
    ebook
    THE UNIVERSAL COMPUTER
    MARTIN DAVIS
    The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians. ...

    $1,120.00

    Ver detalle
  • COMPUTABILITY, COMPLEXITY, AND LANGUAGES
    ebook
    COMPUTABILITY, COMPLEXITY, AND LANGUAGES
    MARTIN D. DAVIS / ELAINE J. WEYUKER
    Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science provides an introduction to the various aspects of theoretical computer science. Theoretical computer science is the mathematical study of models of computation. This text is composed of five parts encompassing 17 chapters, and begins with an introduction to the use of proofs in mathematics...

    $970.00

    Ver detalle
  • FRENCH CALVINISM IN THE SIXTEENTH CENTURY
    ebook
    FRENCH CALVINISM IN THE SIXTEENTH CENTURY
    STEPHEN M. DAVIS / MARTIN I. KLAUBER
    This book introduces readers to well-known and lesser-known individuals of the French Reformation and shows how God used kings, queens, statesmen, and theologians in the sixteenth century to call France back to the apostolic tradition. These fifteen biographies are selective and seek to cover the period from the beginning of the Reformation in early sixteenth-century France to ...

    $426.00

    Ver detalle
  • COMPUTABILITY COMPLEXITY AND LANGUAGES FUND OF TEORICAL COMPUTER SCIENCE
    COMPUTABILITY COMPLEXITY AND LANGUAGES FUND OF TEORICAL COMPUTER SCIENCE
    DAVIS MARTIN
    Agotado

    $2,787.40

  • COMPUTABILITY, COMPLEXITY, AND LANGUAGES: FUNDAMENTALS OF THEORETICAL COMPUTER SCIENCE
    ebook
    COMPUTABILITY, COMPLEXITY, AND LANGUAGES: FUNDAMENTALS OF THEORETICAL COMPUTER SCIENCE
    DAVIS, MARTIN / SIGAL, RON / WEYUKER, ELAINE J.
    This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.* Computability theory is introduced in a manner that makes maximum use of prev...

    $928.00

    Ver detalle