Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


“henry hamburger”

1 - 12 de 12 resultados para “henry hamburger”
Skip side bar filters

  • Logic and Language Models for Computer Science

    de Dana Richards, Henry Hamburger ...
    This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It ... Leer más

    $42.99 USD

  • Logic And Language Models For Computer Science (Third Edition)

    de Dana Richards, Henry Hamburger ...
    This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes. ... Leer más

    $41.99 USD

La gente que leyó estos también disfrutó

  • Database Design and Relational Theory

    Normal Forms and All That Jazz

    de C.J. Date ...
    What makes this book different from others on database design? Many resources on design practice do little to explain the underlying theory, and books on design theory are aimed primarily at theoreticians. In this book, renowned expert Chris Date bridges the gap by introducing design theory in ways practitioners can understand—drawing on lessons learned over four decades of experience to ... Leer más

    $28.99 USD

  • Elements of Programming

    de Paul McJones, Alexander Stepanov ...
    “Ask a mechanical, structural, or electrical engineer how far they would get without a heavy reliance on a firm mathematical foundation, and they will tell you, ‘not far.’ Yet so-called software engineers often practice their art with little or no idea of the mathematical underpinnings of what they are doing. And then we wonder why software is notorious for being delivered late and full of bugs, ... Leer más

    $34.99 USD

  • Introduction to the Analysis of Algorithms, An

    de Robert Sedgewick, Philippe Flajolet ...
    Despite growing interest, basic information on methods and models for mathematically analyzing algorithms has rarely been directly accessible to practitioners, researchers, or students. An Introduction to the Analysis of Algorithms, Second Edition, organizes and presents that knowledge, fully introducing primary techniques and results in the field.Robert Sedgewick and the late Philippe Flajolet ... Leer más

    $69.29 USD

  • Logic in Computer Science

    Modelling and Reasoning about Systems

    de Michael Huth, Mark Ryan ...
    Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses ... Leer más

    $63.99 USD

  • Computability Theory

    An Introduction to Recursion Theory

    de Herbert B. Enderton ...
    Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion ... Leer más

    $56.99 USD

  • Computability and Logic

    de George S. Boolos, John P. Burgess, Richard C. Jeffrey ...
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised ... Leer más

    $36.99 USD

  • The Language of Mathematics

    Utilizing Math in Practice

    de Robert L. Baber ...
    A new and unique way of understanding the translation of concepts and natural language into mathematical expressionsTransforming a body of text into corresponding mathematical expressions and models is traditionally viewed and taught as a mathematical problem; it is also a task that most find difficult. The Language of Mathematics: Utilizing Math in Practice reveals a new way to view this process ... Leer más

    $107.00 USD

  • Computational Complexity

    A Modern Approach

    de Sanjeev Arora, Boaz Barak ...
    This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study for anyone interested in complexity, including physicists, mathematicians, and other scientists, as well as a textbook for a variety of courses and ... Leer más

    $65.99 USD

  • Mathematics of Discrete Structures for Computer Science

    de Gordon J. Pace ...
    Series series Computer Science (R0)
    Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational ... Leer más

    $49.99 USD

  • P, NP, and NP-Completeness

    The Basics of Computational Complexity

    de Oded Goldreich ...
    The focus of this book is the P versus NP Question and the theory of NP-completeness. It also provides adequate preliminaries regarding computational problems and computational models. The P versus NP Question asks whether or not finding solutions is harder than checking the correctness of solutions. An alternative formulation asks whether or not discovering proofs is harder than verifying their ... Leer más

    $47.99 USD