Skip to main content

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...
  • 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 ... Leer más

    $40.49 USD

  • Logic-Based Benders Decomposition

    Theory and Applications

    de 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 ... Leer más

    $49.49 USD

  • Taking Ethics Seriously

    Why Ethics Is an Essential Tool for the Modern Workplace

    de 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 ... Leer más

    $48.99 USD

  • Mycenaean Greece (Routledge Revivals)

    de 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 ... Leer más

    $82.99 USD

  • Principles and Practice of Constraint Programming

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

    Edición de 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, ... Leer más

    $89.09 USD

  • Audiolibro

    Beyond the Pale

    de John Hooker ...
    Narrado por Stanley McGeagh ...

    Completo

    11 hora 19 minutos

    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 ... Leer más

    $24.99 USD

La gente que leyó estos también disfrutó

  • 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 ... Leer más

    $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, ... Leer más

    $89.99 USD

  • Computer Aided Verification

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

    Series Libro 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 ... Leer más

    Gratis

  • 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 ... Leer más

    $8.99 USD o gratis con 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 ... Leer más

    $142.00 USD

  • Static Analysis of Software

    The Abstract Interpretation

    Edición de 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 ... Leer más

    $161.00 USD