Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


“robert g batson”

Showing 1 - 12 of 12 results for “robert g batson”
Skip side bar filters

  • Applied Integer Programming

    Modeling and Solution

    by Der-San Chen, Robert G. Batson, Yu Dang ...
    An accessible treatment of the modeling and solution of integer programming problems, featuring modern applications and softwareIn order to fully comprehend the algorithms associated with integer programming, it is important to understand not only how algorithms work, but also why they work. Applied Integer Programming features a unique emphasis on this point, focusing on problem modeling and ... Read more

    $132.00 USD

People who read this also enjoyed

  • Number-Crunching

    Taming Unruly Computational Problems from Mathematical Physics to Science Fiction

    by Paul J. Nahin ...
    More stimulating mathematics puzzles from bestselling author Paul NahinHow do technicians repair broken communications cables at the bottom of the ocean without actually seeing them? What's the likelihood of plucking a needle out of a haystack the size of the Earth? And is it possible to use computers to create a universal library of everything ever written or every photo ever taken? These are ... Read more

    $21.59 USD

  • Logic in Computer Science

    Modelling and Reasoning about Systems

    by 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 ... Read more

    $63.19 USD

  • Set Theory

    With an Introduction to Real Point Sets

    by Abhijit Dasgupta ...
    What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.To allow flexibility of topic selection in courses, the book is organized into four relatively ... Read more

    $80.99 USD

  • The Nuts and Bolts of Proofs

    An Introduction to Mathematical Proofs

    by Antonella Cupillari ...
    The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten.A flow chart graphically demonstrates the basic steps in the ... Read more

    $38.69 USD

  • Mathematical Logic for Computer Science

    by Mordechai Ben-Ari ...
    Series series Computer Science (R0)
    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems ... Read more

    $58.49 USD

  • Numerical Analysis for Engineers and Scientists

    by G. Miller ...
    Striking a balance between theory and practice, this graduate-level text is perfect for students in the applied sciences. The author provides a clear introduction to the classical methods, how they work and why they sometimes fail. Crucially, he also demonstrates how these simple and classical techniques can be combined to address difficult problems. Many worked examples and sample programs are ... Read more

    $81.19 USD

  • Probabilistic Combinatorial Optimization on Graphs

    by Vangelis Th. Paschos, Cécile Murat ...
    This title provides a comprehensive survey over the subject of probabilistic combinatorial optimization, discussing probabilistic versions of some of the most paradigmatic combinatorial problems on graphs, such as the maximum independent set, the minimum vertex covering, the longest path and the minimum coloring.Those who possess a sound knowledge of the subject mater will find the title of great ... Read more

    $142.00 USD

  • Quantum Physics, Fuzzy Sets and Logic

    Steps Towards a Many-Valued Interpretation of Quantum Mechanics

    by Jarosław Pykacz ...
    Series series Physics and Astronomy (R0)
    This Brief presents steps towards elaborating a new interpretation of quantum mechanics based on a specific version of Łukasiewicz infinite-valued logic. It begins with a short survey of main interpretations of quantum mechanics already proposed, as well as various models of many-valued logics and previous attempts to apply them for the description of quantum phenomena. The prospective many-valued ... Read more

    $49.49 USD

  • On the Device-Independent Approach to Quantum Physics

    Advances in Quantum Nonlocality and Multipartite Entanglement Detection

    by Jean-Daniel Bancal ...
    Series series Physics and Astronomy (R0)
    Quantum physics started in the 1920's with wave mechanics and the wave-particle duality. However, the last 20 years have seen a second quantum revolution, centered around non-locality and quantum correlations between measurement outcomes. The associated key property, entanglement, is recognized today as the signature of quantumness. This second revolution opened the possibility of studying quantum ... Read more

    $89.09 USD

  • Meshfree Methods for Partial Differential Equations VI

    Edited by Michael Griebel, Marc Alexander Schweitzer ...
    Series series Springer Nature Proceedings excluding Computer Science
    Meshfree methods are a modern alternative to classical mesh-based discretization techniques such as finite differences or finite element methods. Especially in a time-dependent setting or in the treatment of problems with strongly singular solutions their independence of a mesh makes these methods highly attractive. This volume collects selected papers presented at the Sixth International Workshop ... Read more

    $89.09 USD

  • Protein Homology Detection Through Alignment of Markov Random Fields

    Using MRFalign

    by Jinbo Xu, Sheng Wang, Jianzhu Ma ...
    Series series Computer Science (R0)
    This work covers sequence-based protein homology detection, a fundamental and challenging bioinformatics problem with a variety of real-world applications. The text first surveys a few popular homology detection methods, such as Position-Specific Scoring Matrix (PSSM) and Hidden Markov Model (HMM) based methods, and then describes a novel Markov Random Fields (MRF) based method developed by the ... Read more

    $49.49 USD