Skip to main content

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...
  • The Structure of Fair Solutions

    Achieving Fairness in an Optimization Model

    Series series Synthesis Collection of Technology (R0)
    This book provides a novel and unifying perspective on the structural properties of fair solutions in optimization formulations. The book also addresses a growing interest in incorporating fairness into the models that lie behind many business and public policy decisions. Since there are several ways to formulate fairness mathematically, the authors characterize optimal solutions that result from ... Read more

    $40.49 USD

  • Logic-Based Benders Decomposition

    Theory and Applications

    by John Hooker ...
    Series series Synthesis Collection of Technology (R0)
    This book is the first comprehensive guide to logic-based Benders decomposition (LBBD), a general and versatile method for breaking large, complex optimization problems into components that are small enough for practical solution. The author introduces logic-based Benders decomposition for optimization, which substantially generalizes the classical Benders method. It can reduce solution times by ... Read more

    $49.49 USD

  • Taking Ethics Seriously

    Why Ethics Is an Essential Tool for the Modern Workplace

    by John Hooker ...
    This book develops an intellectual framework for analyzing ethical dilemmas that is both grounded in theory and versatile enough to deal rigorously with real-world issues. It sees ethics as a necessary foundation for the social infrastructure that makes modern life possible, much as engineering is a foundation for physical infrastructure. It is not wedded to any particular ethical philosophy but ... Read more

    $48.99 USD

  • Mycenaean Greece (Routledge Revivals)

    by John Hooker ...
    Series series Eastern Europe, Russia and Central Asia
    Mycenaean Greece, first published in 1976,investigates from an historical point of view some of the crucial periods in the Greek Bronze Age. The principal subject is the so-called ‘Mycenaean’ culture which arose during the sixteenth century BC, as assimilation of the previous ‘Helladic’ culture of mainland Greece with some of the developments of Minoan Crete.Many of the material aspects of the ... Read more

    $82.99 USD

  • Principles and Practice of Constraint Programming

    24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

    Edited by John Hooker ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.The 41 full and 9 short papers presented in this volume were carefully reviewed and selected from 114 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, ... Read more

    $89.09 USD

  • Audiobook

    Beyond the Pale

    by John Hooker ...
    Narrated by Stanley McGeagh ...

    Unabridged

    11 hours 19 min

    In 1839 John Harrington voyages 12,000 miles from Ireland into the unknown to take up a sheep-run in the southern regions of Australia. From a distinguished family of Anglo-Irish aristocrats who have fallen on hard times, the youngest son has been sent to the remotest part of the world to make his fortune. For twenty years Harrington prospers, but he is plagued by a sense of dislocation and ... Read more

    $24.99 USD

People who read these also enjoyed

  • Introduction to Software Testing

    This extensively classroom-tested text takes an innovative approach to explaining software testing that defines it as the process of applying a few precise, general-purpose criteria to a structure or model of the software. The book incorporates cutting-edge developments, including techniques to test modern types of software such as OO, web applications, and embedded software. This revised second ... Read more

    $65.59 USD

  • Distributed Systems

    Concurrency and Consistency

    Distributed Systems: Concurrency and Consistency explores the gray area of distributed systems and draws a map of weak consistency criteria, identifying several families and demonstrating how these may be implemented into a programming language. Unlike their sequential counterparts, distributed systems are much more difficult to design, and are therefore prone to problems. On a large scale, ... Read more

    $89.99 USD

  • Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

    Series Book 2 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

    Free

  • Mediating Interpersonal and Small Group Conflict

    This is a guide to the theory and practice of mediation. It sets out a systematic approach to the use of mediation and to assuming the role of mediator. This book will be one of value to individuals interested in becoming mediators, to parties in conflict considering recourse to mediation to resolve issues, to students studying mediation as a dispute resolution alternative, to professionals who ... Read more

    $8.99 USD or Free with Kobo Plus

  • Model Driven Engineering for Distributed Real-Time Embedded Systems 2009

    Advances, Standards, Applications and Perspectives

    Model Driven Engineering for Distributed Real-Time Embedded Systems 2009: Advances, Standards, Applications and PerspectivesModel-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. This book provides the information needed to ... Read more

    $142.00 USD

  • Static Analysis of Software

    The Abstract Interpretation

    Edited by Jean-Louis Boulanger ...
    The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.The purpose of this book is to present students and researchers, in a ... Read more

    $161.00 USD