Rakuten Kobo

Carrito de compra

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

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

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

$44,372 CLP

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
Evolving OpenMP for Evolving Architectures

14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

Edición de Bronis R. de Supinski, Pedro Valero-Lara, Xavier Martorell, Sergi Mateo Bellido, Jesus Labarta ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Workshop on Open MP, IWOMP 2018, held in Barcelona, Spain, in September 2018.The 16 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; loops and OpenMP; OpenMP in heterogeneous systems; OpenMP improvements and innovations ... Leer más

$56,180 CLP

This book constitutes the proceedings of the 14th International Workshop on Open MP, IWOMP 2018, held in Barcelona, Spain, in September 2018.The 16 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; loops and OpenMP; OpenMP in heterogeneous systems; OpenMP improvements and innovations
... Leer más
Efficient Test Methodologies for High-Speed Serial Links

de Kwang-Ting Cheng, Dongwoo Hong ...

Series series Engineering (R0)
Efficient Test Methodologies for High-Speed Serial Links describes in detail several new and promising techniques for cost-effectively testing high-speed interfaces with a high test coverage. One primary focus of Efficient Test Methodologies for High-Speed Serial Links is on efficient testing methods for jitter and bit-error-rate (BER), which are widely used for quantifying the quality of a ... Leer más

$146,087 CLP

Efficient Test Methodologies for High-Speed Serial Links describes in detail several new and promising techniques for cost-effectively testing high-speed interfaces with a high test coverage. One primary focus of Efficient Test Methodologies for High-Speed Serial Links is on efficient testing methods for jitter and bit-error-rate (BER), which are widely used for quantifying the quality of a
... Leer más
Computational Science – ICCS 2019

19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

Edición de João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the ... Leer más

$101,133 CLP

The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the
... Leer más
Web Information Systems Engineering – WISE 2018

19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part II

Edición de Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 11233 and LNCS 11234 constitutes the proceedings of the 19th International Conference on Web Information Systems Engineering, WISE 2018, held in Dubai, United Arab Emirates, in November 2018.The 48 full papers and 21 short papers presented were carefully reviewed and selected from 209 submissions. The papers are organized in topical sections on blockchain, security, social ... Leer más

$56,180 CLP

The two-volume set LNCS 11233 and LNCS 11234 constitutes the proceedings of the 19th International Conference on Web Information Systems Engineering, WISE 2018, held in Dubai, United Arab Emirates, in November 2018.The 48 full papers and 21 short papers presented were carefully reviewed and selected from 209 submissions. The papers are organized in topical sections on blockchain, security, social
... Leer más
Calidad de Sistemas de Información (5ª edición ampliada y actualizada)

de Mario G. Piattini, Félix Óscar García ...

En la actualidad todas las organizaciones son ?empresas de software?, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos._x000D_ De hecho, el software forma parte de nuestras vidas. Barjne Stroustrup señala que: ?our civilization runs on software?, la misma idea que transmite Marc Andreessen cuando advierte que ?software is eating the ... Leer más

$10,869 CLP o gratis con Kobo Plus

En la actualidad todas las organizaciones son ?empresas de software?, ya que la calidad de sus sistemas de información se ha convertido en uno de sus principales objetivos estratégicos._x000D_ De hecho, el software forma parte de nuestras vidas. Barjne Stroustrup señala que: ?our civilization runs on software?, la misma idea que transmite Marc Andreessen cuando advierte que ?software is eating the
... Leer más
High Performance Computing

34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

Edición de Michèle Weiland, Guido Juckeland, Carsten Trinitis, Ponnuswamy Sadayappan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 34th International Conference on High Performance Computing, ISC High Performance 2019, held in Frankfurt/Main, Germany, in June 2019.The 17 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a broad range of topics such as next-generation high performance components; exascale systems; ... Leer más

$73,037 CLP

This book constitutes the refereed proceedings of the 34th International Conference on High Performance Computing, ISC High Performance 2019, held in Frankfurt/Main, Germany, in June 2019.The 17 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a broad range of topics such as next-generation high performance components; exascale systems;
... Leer más
Logical Foundations of Computer Science

(In 2 volumes)Vol 1: Propositional LogicVol 2: Predicate Logic

de Peter A Fejer, Dan A Simovici ...

Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes — propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms — Hilbert/Frege systems, tableaux, sequents, and natural deduction in ... Leer más

$347,257 CLP

Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes — propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms — Hilbert/Frege systems, tableaux, sequents, and natural deduction in
... Leer más
Robotics Goes MOOC

Impact

Edición de Bruno Siciliano ...

Series series Intelligent Technologies and Robotics (R0)
It is often read in the media that AI and Robotics are the primary cause of technology unemployment. AI and machine learning techniques are expected to take over lower-level tasks, while humans can spend more time with higher-level tasks. In perspective, it can be said that jobs requiring boring cognitive tasks or repeatable and dangerous physical tasks will be considerably shredded by automation ... Leer más

$61,799 CLP

It is often read in the media that AI and Robotics are the primary cause of technology unemployment. AI and machine learning techniques are expected to take over lower-level tasks, while humans can spend more time with higher-level tasks. In perspective, it can be said that jobs requiring boring cognitive tasks or repeatable and dangerous physical tasks will be considerably shredded by automation
... Leer más
Analog Circuit Theory and Filter Design in the Digital World

With an Introduction to the Morphological Method for Creative Solutions and Design

de George S. Moschytz ...

Series series Engineering (R0)
This textbook is designed for graduate-level courses, and for self-study, in analog and sampled-data, including switched-capacitor, circuit theory and design for ongoing, or active electrical engineers, needing to become proficient in analog circuit design on a system, rather than on a device, level. After decades of experience in industry and teaching this material in academic settings, the ... Leer más

$123,609 CLP

This textbook is designed for graduate-level courses, and for self-study, in analog and sampled-data, including switched-capacitor, circuit theory and design for ongoing, or active electrical engineers, needing to become proficient in analog circuit design on a system, rather than on a device, level. After decades of experience in industry and teaching this material in academic settings, the
... Leer más
Computational Science and Its Applications – ICCSA 2019

19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

Edición de Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino ...

Series Libro 4 - Springer Nature Proceedings Computer Science
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five ... Leer más

$101,133 CLP

The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five
... Leer más
Advances in Swarm Intelligence

10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I

Edición de Ying Tan, Yuhui Shi, Ben Niu ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set of LNCS 11655 and 11656 constitutes the proceedings of the 10th International Conference on Advances in Swarm Intelligence, ICSI 2019, held in Chiang Mai, Thailand, in June 2019.The total of 82 papers presented in these volumes was carefully reviewed and selected from 179 submissions. The papers were organized in topical sections as follows:Part I: Novel methods and algorithms ... Leer más

$82,028 CLP

The two-volume set of LNCS 11655 and 11656 constitutes the proceedings of the 10th International Conference on Advances in Swarm Intelligence, ICSI 2019, held in Chiang Mai, Thailand, in June 2019.The total of 82 papers presented in these volumes was carefully reviewed and selected from 179 submissions. The papers were organized in topical sections as follows:Part I: Novel methods and algorithms
... Leer más
Quick Start Guide to VHDL

de Brock J. LaMeres ...

Series series Engineering (R0)
This textbook provides a starter’s guide to VHDL. This book can be used in conjunction with a one-semester course in Digital Systems Design or on its own for designers who only need an introduction to the language. This book is designed to provide a bottoms-up approach to learning the VHDL language. This design supports a course in which foundational knowledge is covered before moving into ... Leer más

$56,180 CLP

This textbook provides a starter’s guide to VHDL. This book can be used in conjunction with a one-semester course in Digital Systems Design or on its own for designers who only need an introduction to the language. This book is designed to provide a bottoms-up approach to learning the VHDL language. This design supports a course in which foundational knowledge is covered before moving into
... Leer más
Post-Quantum Cryptography

9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

Edición de Tanja Lange, Rainer Steinwandt ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Workshop on Post-Quantum Cryptography, PQCrypto 2018, held in Fort Lauderdale, FL, USA, in April 2018.The 24 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on Code-based Cryptography; Cryptanalysis; Hash-based Cryptography; Isogenies in ... Leer más

$56,180 CLP

This book constitutes the refereed proceedings of the 9th International Workshop on Post-Quantum Cryptography, PQCrypto 2018, held in Fort Lauderdale, FL, USA, in April 2018.The 24 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on Code-based Cryptography; Cryptanalysis; Hash-based Cryptography; Isogenies in
... Leer más
Reversible Computation

16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings

Edición de Torben Ægidius Mogensen, Łukasz Mikulski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Toruń, Poland, during July 4–5, 2024.The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Models of Reversible Computation; ... Leer más

$101,133 CLP

This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Toruń, Poland, during July 4–5, 2024.The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Models of Reversible Computation;
... Leer más
Introduction to Computer Science Unlocking the World of Technology

de Benjamin Fredeman Britz ...

"Introduction to Computer Science: Unlocking the World of Technology" is a comprehensive guide that introduces the exciting field of computer science to school students. This book covers a wide range of topics, starting with the basics of computer science and its history, and then delving into the fundamentals of computing, programming languages, software development, data structures and ... Leer más

$4,495 CLP

"Introduction to Computer Science: Unlocking the World of Technology" is a comprehensive guide that introduces the exciting field of computer science to school students. This book covers a wide range of topics, starting with the basics of computer science and its history, and then delving into the fundamentals of computing, programming languages, software development, data structures and
... Leer más
ASIC Design and Synthesis

RTL Design Using Verilog

de Vaibbhav Taraate ...

Series series Engineering (R0)
This book describes simple to complex ASIC design practical scenarios using Verilog. It builds a story from the basic fundamentals of ASIC designs to advanced RTL design concepts using Verilog. Looking at current trends of miniaturization, the contents provide practical information on the issues in ASIC design and synthesis using Synopsys DC and their solution. The book explains how to write ... Leer más

$146,087 CLP

This book describes simple to complex ASIC design practical scenarios using Verilog. It builds a story from the basic fundamentals of ASIC designs to advanced RTL design concepts using Verilog. Looking at current trends of miniaturization, the contents provide practical information on the issues in ASIC design and synthesis using Synopsys DC and their solution. The book explains how to write
... Leer más
Graph-Theoretic Concepts in Computer Science

44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

Edición de Andreas Brandstädt, Ekkehard Köhler, Klaus Meer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 44th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2018, held in Cottbus, Germany, in June 2018.The 30 full papers presented in this volume were carefully reviewed and selected from 66 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic ... Leer más

$56,180 CLP

This book constitutes the revised selected papers of the 44th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2018, held in Cottbus, Germany, in June 2018.The 30 full papers presented in this volume were carefully reviewed and selected from 66 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic
... Leer más
Simulation and Optimization of Digital Circuits

Considering and Mitigating Destabilizing Factors

de Vazgen Melikyan ...

Series series Engineering (R0)
This book describes new, fuzzy logic-based mathematical apparatus, which enable readers to work with continuous variables, while implementing whole circuit simulations with speed, similar to gate-level simulators and accuracy, similar to circuit-level simulators. The author demonstrates newly developed principles of digital integrated circuit simulation and optimization that take into ... Leer más

$101,133 CLP

This book describes new, fuzzy logic-based mathematical apparatus, which enable readers to work with continuous variables, while implementing whole circuit simulations with speed, similar to gate-level simulators and accuracy, similar to circuit-level simulators. The author demonstrates newly developed principles of digital integrated circuit simulation and optimization that take into
... Leer más
Quantum Machine Learning and Optimisation in Finance

Drive financial innovation with quantum-powered algorithms and optimisation strategies

de Antoine Jacquier, Oleksiy Kondratyev ...

Get a detailed introduction to quantum computing and quantum machine learning, with a focus on finance-related applicationsKey FeaturesFind out how quantum algorithms enhance financial modeling and decision-makingImprove your knowledge of the variety of quantum machine learning and optimisation algorithmsLook into practical near-term applications for tackling real-world financial ... Leer más

$34,716 CLP o gratis con Kobo Plus

Get a detailed introduction to quantum computing and quantum machine learning, with a focus on finance-related applicationsKey FeaturesFind out how quantum algorithms enhance financial modeling and decision-makingImprove your knowledge of the variety of quantum machine learning and optimisation algorithmsLook into practical near-term applications for tackling real-world financial
... Leer más
Graph-Theoretic Concepts in Computer Science

45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Edición de Ignasi Sau, Dimitrios M. Thilikos ...

Series series Springer Nature Proceedings excluding Computer Science
This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019.The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic ... Leer más

$73,037 CLP

This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019.The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic
... Leer más
Dual Mode Logic

A New Paradigm for Digital IC Design

de Itamar Levi, Alexander Fish ...

Series series Engineering (R0)
This book presents Dual Mode Logic (DML), a new design paradigm for digital integrated circuits. DML logic gates can operate in two modes, each optimized for a different metric. Its on-the-fly switching between these operational modes at the gate, block and system levels provide maximal E-D optimization flexibility. Each highly detailed chapter has multiple illustrations showing how the DML ... Leer más

$67,418 CLP

This book presents Dual Mode Logic (DML), a new design paradigm for digital integrated circuits. DML logic gates can operate in two modes, each optimized for a different metric. Its on-the-fly switching between these operational modes at the gate, block and system levels provide maximal E-D optimization flexibility. Each highly detailed chapter has multiple illustrations showing how the DML
... Leer más
Digital Logic Design Using Verilog

Coding and RTL Synthesis

de Vaibbhav Taraate ...

Series series Engineering (R0)
This second edition focuses on the thought process of digital design and implementation in the context of VLSI and system design. It covers the Verilog 2001 and Verilog 2005 RTL design styles, constructs and the optimization at the RTL and synthesis level. The book also covers the logic synthesis, low power, multiple clock domain design concepts and design performance improvement techniques. The ... Leer más

$95,514 CLP

This second edition focuses on the thought process of digital design and implementation in the context of VLSI and system design. It covers the Verilog 2001 and Verilog 2005 RTL design styles, constructs and the optimization at the RTL and synthesis level. The book also covers the logic synthesis, low power, multiple clock domain design concepts and design performance improvement techniques. The
... Leer más
Principles and Practice of Constraint Programming

25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Edición de Thomas Schiex, Simon de Givry ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms, ... Leer más

$56,180 CLP

This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms,
... Leer más

Kobo Rakuten

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Diseño lógico

Logic And Language Models For Computer Science (Third Edition)

Evolving OpenMP for Evolving Architectures

Efficient Test Methodologies for High-Speed Serial Links

Computational Science – ICCS 2019

Web Information Systems Engineering – WISE 2018

Calidad de Sistemas de Información (5ª edición ampliada y actualizada)

High Performance Computing

Logical Foundations of Computer Science

Robotics Goes MOOC

Analog Circuit Theory and Filter Design in the Digital World

Computational Science and Its Applications – ICCSA 2019

Advances in Swarm Intelligence

Quick Start Guide to VHDL

Post-Quantum Cryptography

Reversible Computation

Introduction to Computer Science Unlocking the World of Technology

ASIC Design and Synthesis

Graph-Theoretic Concepts in Computer Science

Simulation and Optimization of Digital Circuits

Quantum Machine Learning and Optimisation in Finance

Graph-Theoretic Concepts in Computer Science

Dual Mode Logic

Digital Logic Design Using Verilog

Principles and Practice of Constraint Programming