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


Engineering (R0) Serie de eBooks

1 - 12 de 12 resultados
Skip side bar filters

  • Formal Verification of Floating-Point Hardware Design

    A Mathematical Approach

    de David M. Russinoff ...
    Series series Engineering (R0)
    This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating ... Leer más

    $80.99 USD

La gente que leyó esto también disfrutó

  • Hacker's Delight

    de Henry S. Warren ...
    In Hacker’s Delight, Second Edition, Hank Warren once again compiles an irresistible collection of programming hacks: timesaving techniques, algorithms, and tricks that help programmers build more elegant and efficient software, while also gaining deeper insights into their craft. Warren’s hacks are eminently practical, but they’re also intrinsically interesting, and sometimes unexpected, much ... Leer más

    $52.99 USD

  • Introduction to Algorithms, fourth edition

    de Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein ...
    A comprehensive update of the leading algorithms text, with new material on matchings in bipartite graphs, online algorithms, machine learning, and other topics.Some books on algorithms are rigorous but incomplete; others cover masses of material but lack rigor. Introduction to Algorithms uniquely combines rigor and comprehensiveness. It covers a broad range of algorithms in depth, yet makes their ... Leer más

    $92.99 USD

  • Art of Computer Programming, The

    Fundamental Algorithms, Volume 1

    de Donald Knuth ...
    &>The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer programming.—Byte, September 1995I can't begin to tell you how many pleasurable hours of study and recreation they have afforded me! I have pored over them in cars, restaurants, at work, at home... and even at a Little League game when my son wasn't in the ... Leer más

    $68.99 USD

  • Art of Computer Programming, Volume 1, Fascicle 1, The

    MMIX -- A RISC Computer for the New Millennium

    de Donald Knuth ...
    Check out the boxed set that brings together Volumes 1 - 4B in one elegant case.The Art of Computer Programming, Volumes 1-4B Boxed SetISBN: 9780137935109Art of Computer Programming, Volume 1, Fascicle 1, The: MMIX -- A RISC Computer for the New MillenniumThis multivolume work on the analysis of algorithms has long been recognized as the definitive description of classical computer science. The ... Leer más

    $27.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

  • 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

  • Algorithms: Design Techniques And Analysis (Revised Edition)

    de M H Alsuwaiyel ...
    Series Libro 14 - Lecture Notes Series On Computing
    Problem solving is an essential part of every scientific discipline. It has two components: (1) problem identification and formulation, and (2) the solution to the formulated problem. One can solve a problem on its own using ad hoc techniques or by following techniques that have produced efficient solutions to similar problems. This requires the understanding of various algorithm design techniques ... Leer más

    $62.99 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

  • 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

  • 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

  • Heuristic Search

    Theory and Applications

    de Stefan Edelkamp, Stefan Schroedl ...
    Search has been vital to artificial intelligence from the very beginning as a core technique in problem solving. The authors present a thorough overview of heuristic search with a balance of discussion between theoretical analysis and efficient implementation and application to real-world problems. Current developments in search such as pattern databases and search with efficient use of external ... Leer más

    $80.99 USD