This is our Worldwide store.

Looks like you're in United States. You need a Worldwide address to shop on our Worldwide store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Constraint Satisfaction Problems

CSP Formalisms and Techniques

Khaled Ghedira

Buy the eBook

Save 28 %List Price: $177.95 USD.$128.19USD

You are in the Worldwide store

Not in Worldwide? Choose your country’s store to see books available for purchase.

Choose Store

Buy Now Gift A Book

Why read with us?

Kobo empowers book lovers to read more.

Elevated reading experience with our Kobo eReaders

Rich and relevant book catalogue

Free Kobo reading app

Synopsis

About this book

Language:English
ISBN:9781118575017
Release date:Jun 1, 2013
Publisher:Wiley

Imprint:Wiley-ISTE
File format:EPUB2
File size:3.54 MB
Download options:EPUB2 (Adobe DRM)

Related Reads

Data Mining: Concepts and Techniques

Jiawei Han, Micheline Kamber, Jian Pei

$67.49

Scheduling

Michael L. Pinedo

$68.99

Structured Peer-to-Peer Systems

Dmitry Korzun, Andrei Gurtov

$95.49

Mining Very Large Databases with Parallel Processing

Simon H. Lavington, Alex A. Freitas

$212.09

Model-Driven and Software Product Line Engineering

Jean-Claude Royer, Hugo Arboleda

$128.19

Metaheuristics for Vehicle Routing Problems

Nacima Labadie, Christian Prins, Caroline Prodhon

$128.19

Genetic Algorithms and their Applications

John J. Grefenstette

$72.99

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

$53.09

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

$146.79

Cyberpatterns

Clive Blackwell, Hong Zhu

$53.09

Speech in Mobile and Pervasive Environments

Nitendra Rajput, Amit Anil Nanavati

$101.49

Data Mining and Constraint Programming

Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi

$53.09

Information Assurance

Yi Qian, David Tipper, Prashant Krishnamurthy, James Joshi

$77.39

Data-Driven Process Discovery and Analysis

Paolo Ceravolo, Barbara Russo, Rafael Accorsi

$53.09

Advanced Backend Code Optimization

Sid Touati, Benoit Dupont de Dinechin

$128.19

Quality of Experience for Multimedia

Abdelhamid Mellouk, Hai Anh Tran, Said Hoceini

$128.19

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh

$193.49

Principles and Practice of Constraint Programming

J. Christopher Beck

$53.09

Advanced Transport Protocols

Ernesto Exposito

$129.59

Hardware and Software: Verification and Testing

Nir Piterman

$49.89

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

$52.39

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

$53.09

Techniques for Building Timing-Predictable Embedded Systems

Nan Guan

$53.09

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

$53.09

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$42.39

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$53.09

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

$53.09

Foundations and Practice of Security

Joaquin Garcia-Alfaro, Evangelos Kranakis, Guillaume Bonfante

$53.09

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$53.09

Principles of Security and Trust

Frank Piessens, Luca Viganò

$53.09

Robustness-Related Issues in Speaker Recognition

Thomas Fang Zheng, Lantian Li

$53.09

Theoretical and Experimental Methods for Defending Against DDoS Attacks

Iraj Sadegh Amiri, Mohammad Reza Khalifeh Soltanian

$62.99

Genetic Programming

Malcolm I. Heywood, James McDermott, Mauro Castelli, Ernesto Costa, Kevin Sim

$53.09

Demand-Driven Associative Classification

Adriano Veloso, Wagner Meira Jr.

$53.09

Risks and Security of Internet and Systems

Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay

$53.09

Text Analysis Pipelines

Henning Wachsmuth

$53.09

Handbook of FPGA Design Security

Timothy Levin, Cynthia Irvine, Ryan Kastner, Thuy D. Nguyen, Ted Huffmire, Timothy Sherwood

$95.49

Security Standardisation Research

Shin'ichiro Matsuo, Liqun Chen

$49.89

Foundations and Practice of Security

Nadia Tawbi, Nora Cuppens-Boulahia, Lingyu Wang, Frédéric Cuppens, Joaquin Garcia-Alfaro

$53.09

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

$197.99

Quality of Experience Engineering for Customer Added Value Services

Abdelhamid Mellouk, Antonio Cuadra-Sanchez

$128.19

Optimization by GRASP

Mauricio G.C. Resende, Celso C. Ribeiro

$63.69

Future Internet Testing

Tanja E.J. Vos, Kiran Lakhotia, Sebastian Bauersfeld

$53.09

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

$84.89

Learning and Intelligent Optimization

Giuseppe Nicosia, Panos Pardalos

$53.09

Shapes

Philip Ball

$12.39

Reliable Software Technologies – Ada-Europe 2016

Eduardo Quiñones, Luís Miguel Pinho, Marko Bertogna

$52.39

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis

Sumit Ahuja, Avinash Lakshminarayana, Sandeep Kumar Shukla

$95.49

Separation Logic for High-level Synthesis

Felix Winterstein

$95.49

Applied Cryptography and Network Security

Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider

$53.09

Wizards, Aliens, and Starships

Charles L. Adler

$14.39

Networked Systems

Amr El Abbadi, Benoît Garbinato

$53.09

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

$53.09

Philosophy of Mathematics

James Robert Brown

$60.99

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

$53.09

Practical LaTeX

George Grätzer

$42.39

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

$53.09

Software Engineering

Bertrand Meyer, Martin Nordio

$42.39

Fault-Tolerance Techniques for High-Performance Computing

Thomas Herault, Yves Robert

$95.49

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

$53.09

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Jean-Pierre Talpin, Shin Nakajima, Huafeng Yu, Masumi Toyoshima

$95.49

A Logical Introduction to Proof

Daniel W. Cunningham

$53.09

High Performance Cloud Auditing and Applications

Keesook J. Han, Baek-Young Choi, Sejun Song

$148.49

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$53.09

Nonlinear Dynamical Systems and Control

Wassim M. Haddad, VijaySekhar Chellaboina

$136.79

Temporal Data Mining via Unsupervised Ensemble Learning

Yun Yang

$62.99

Geometric Inequalities: In Mathematical Olympiad And Competitions

Gangsong Leng, Yongming Liu

$18.99

Provable Security

Man-Ho Au, Atsuko Miyaji

$52.39

Communicating Embedded Systems

Claude Jard, Olivier H. Roux

$128.19

Superior Beings

BRAMS

$53.09

Quantum Statistical Mechanics: Selected Works Of N N Bogolubov

Nickolai N Bogolubov Jr

$35.09

Production Scheduling

Pierre Lopez, François Roubellat

$190.79

Fundamentals of Technical Mathematics

Sarhan M. Musa

$89.99

Metaheuristics for Production Scheduling

Bassem Jarboui, Patrick Siarry, Jacques Teghem

$171.39

Cryptography and Information Security in the Balkans

Lars R. Knudsen, Enes Pasalic

$53.09

MEI A Level Further Mathematics Statistics 4th Edition

John du Feu

$30.39

Multimedia Multicast on the Internet

Abderrahim Benslimane

$228.29

Genetic Algorithms for Pattern Recognition

Sankar K. Pal, Paul P. Wang

$91.99

Introduction to Mathematical Modeling

Mayer Humi

$68.99

A Study on Radio Access Technology Selection Algorithms

Leijia Wu, Kumbesan Sandrasegaran

$53.09

Did you like the book?

Be the first to rate and review this book!

This is our Worldwide store.

Constraint Satisfaction Problems

Why read with us?

Synopsis

About this book

Book details

How to read

Related Reads

Data Mining: Concepts and Techniques

Scheduling

Structured Peer-to-Peer Systems

Mining Very Large Databases with Parallel Processing

Model-Driven and Software Product Line Engineering

Metaheuristics for Vehicle Routing Problems

Genetic Algorithms and their Applications

Bridging Constraint Satisfaction and Boolean Satisfiability

Tractability

Cyberpatterns

Speech in Mobile and Pervasive Environments

Data Mining and Constraint Programming

Information Assurance

Data-Driven Process Discovery and Analysis

Advanced Backend Code Optimization

Quality of Experience for Multimedia

Handbook of Constraint Programming

Principles and Practice of Constraint Programming

Advanced Transport Protocols

Hardware and Software: Verification and Testing

Software Engineering and Formal Methods

Theory of Cryptography

Techniques for Building Timing-Predictable Embedded Systems

Formal Aspects of Component Software

Trustworthy Global Computing

Tools and Algorithms for the Construction and Analysis of Systems

NASA Formal Methods

Foundations and Practice of Security

Computer Aided Verification

Principles of Security and Trust

Robustness-Related Issues in Speaker Recognition

Theoretical and Experimental Methods for Defending Against DDoS Attacks

Genetic Programming

Demand-Driven Associative Classification

Risks and Security of Internet and Systems

Text Analysis Pipelines

Handbook of FPGA Design Security

Security Standardisation Research

Foundations and Practice of Security

Modeling and Verification of Real-time Systems

Quality of Experience Engineering for Customer Added Value Services

Optimization by GRASP

Future Internet Testing

Integrated Formal Methods

Learning and Intelligent Optimization

Shapes

Reliable Software Technologies – Ada-Europe 2016

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis

Separation Logic for High-level Synthesis

Applied Cryptography and Network Security

Wizards, Aliens, and Starships

Networked Systems

Model Checking Software

Philosophy of Mathematics

Automated Technology for Verification and Analysis

Practical LaTeX

Theory and Practice of Formal Methods

Software Engineering

Fault-Tolerance Techniques for High-Performance Computing

Formal Techniques for Safety-Critical Systems

Cyber-Physical System Design from an Architecture Analysis Viewpoint

A Logical Introduction to Proof

High Performance Cloud Auditing and Applications

Tools and Algorithms for the Construction and Analysis of Systems

Nonlinear Dynamical Systems and Control

Temporal Data Mining via Unsupervised Ensemble Learning

Geometric Inequalities: In Mathematical Olympiad And Competitions

Provable Security

Communicating Embedded Systems

Superior Beings

Quantum Statistical Mechanics: Selected Works Of N N Bogolubov

Production Scheduling