mon compte Connexion

mon panier 0 article

Vous avez entre 15 et 18 ans ? Profitez du Pass Culture à la librairie Eyrolles !

Tous nos rayons

Aucun résultat pour ""

Rayons

Graphisme & Photo Informatique Construction Entreprise & Droit Sciences Littérature Arts & Loisirs Vie pratique Voyage et Tourisme BD et Jeunesse

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE

Graphisme & Photo
Graphisme

PAO

Typographie

Couleur et impression
Design
Photographie

Photographie panoramique

Appareils photo

Noir et Blanc
Cinéma, vidéo et son

Cinéma - TV - Radio

Vidéo

Techniques du son
Nouveautés Graphisme & Photo Meilleures ventes Graphisme & Photo
Informatique
Développement d'applications

Langages

Outils de développement

Gestion de versions
Informatique d'entreprise

Management des systèmes d'information

Conception et développement web

Référencement de sites
Systèmes d'exploitation

Windows

UNIX

Linux
Hardware et matériels

Architecture des ordinateurs

Electronique pour l'informatique

Périphériques
Bases de données

Conception et modélisation

SQL

Bases de données objet et objet relationnelles
Réseaux et télecommunications

Ouvrages généraux

Protocoles et standards

Conception et architectures réseau
Certifications

COMPTIA

Microsoft

Oracle
Graphisme et multimédia

PAO

Graphisme 2D

3D
Bureautique

Dictionnaires

Internet

Réseaux
Nouveautés Informatique Meilleures ventes Informatique
Construction
Construction durable
Réglementation

Droit immobilier

Droit de la construction

Marchés publics
Conduite de chantier
Architecture

Manuels - Dictionnaires de construction

Plans - Dessins

Appartement
Gros oeuvre et structure

Calcul de structure

Calcul parasismique

Construction béton, béton armé et précontraint
Second oeuvre

Murs - Sols - Plafonds

Ouvertures - Escalier - Ascenseur

Chauffage - Ventilation - Cheminée
Rénovation

Maison traditionnelle

Réhabilitation bâtiment

Travail de la pierre
Travaux publics

Ouvrages d'art - Génie civil

Ponts

Hydraulique - Travaux fluviaux et maritimes
Urbanisme

Urbanisme

Droit de l'urbanisme

Histoire de l'urbanisme
Nouveautés Construction Meilleures ventes Construction
Entreprise & Droit
Economie

Actualité économique

Dictionnaires économiques et financiers

Macroéconomie - Microéconomie
Création d'entreprise - Créer son entreprise

Consultant - Freelance - TPE - Etc.

PME - Commerçant - Exportation

Business plan
Stratégie - Direction d'entreprise

Saga des entrepreneurs

Stratégie - Prospective

Stratégie militaire et politique
RH et formation

GRH

Recrutement

Evaluation
Marketing et vente

Management commercial

Distribution

Techniques de vente - Négociation
Finance - Comptabilité

Gouvernance

Finance d'entreprise - Analyse - Evaluation

Stratégie - Création de valeur
Production

Innovation

Brevets

Créativité
Management : efficacité du manager

Leadership - Diriger - Décider

Manager - Gérer un projet

Travailler en anglais
Emploi et carrière

Bilan de compétences - VAE

Emploi - CV - Lettres de motivation

Carrière internationale
Enseignement

Concours - Examens - Langues

Dictionnaires économiques et financiers

Economie d'entreprise
Actualité et débats
Voir toutes les thématiques "Entreprise & Droit"...
Nouveautés Entreprise & Droit Meilleures ventes Entreprise & Droit
Sciences
Mathématiques

Mathématiques par matières

Mathématiques appliquées

Logiciels de calcul
Physique

Physique fondamentale

Physique appliquée

Mécanique
Chimie

Chimie générale

Chimie organique

Chimie inorganique
Sciences de la vie

Biologie

Physiologie

Génétique
Sciences de la terre

Physique de l'atmosphère et climatologie

Sismologie

Géologie
Techniques

Electricité et électrotechnique

Electronique

Dessin industriel
Sciences et culture

Histoire des sciences et personnalités scientifiques

Débats, actualités et épistémologie

Initiation aux sciences
Astronomie
Découverte Junior
Dictionnaires, aide-mémoire et formulaires

Mathématiques

Médecine et biologie

Sciences de la Terre et environnement
Etudes et concours

Classes préparatoires et grandes écoles - Livres classes prépas scientifiques

CAPES, CAPLP, et agrégation

Enseignement secondaire
Nouveautés Sciences Meilleures ventes Sciences
Littérature
Romans - Rentrée littéraire 2025

Policier - Thriller - Polars

Science Fiction - Fantasy

Roman historique
Humour
Essais d'actualité

Actualités et débats de société

Actualités économiques

Candidats et politiciens
Biographies - Témoignages - Récits...
Théâtre
Poésie
Livres audios
Nouveautés Littérature Meilleures ventes Littérature
Arts & Loisirs
Loisirs créatifs et artisanat

Loisirs créatifs

Métiers d'art

Menuiserie
Mode - Couture - Broderie

Couture - Maison

Mode

Accessoires
Beaux-arts et arts décoratifs

Dessin - Graphisme

Peinture - Couleur

Histoire de l'art
Nature

Animaux
Jeux - Loisirs

Sudoku - Jeux de logique - jeux d'échecs

Jeux de cartes - Poker
Nouveautés Arts & Loisirs Meilleures ventes Arts & Loisirs
Vie pratique
Santé et bien-être

Psychologie - Développement personnel

Bien-être - Spiritualité

Sport - Forme - Beauté
Vie de famille

Sexualité

Séduction

Couple
Cuisine et gastronomie

Livres de cuisine - Trucs et astuces

Entrées - Cakes - Pain - Fromages

Cuisine régionale - Traditionnelle
Maison et jardin

Entretien

Bricolage

Electricité
Sciences humaines et sociales

Psychologie - Psychanalyse

Sociologie

Sociologie du travail
Langues - Dictionnaires

Quizz - Culture générale

Encyclopédies

Français - Méthodes, FLE
Nouveautés Vie pratique Meilleures ventes Vie pratique
Voyage et Tourisme
Paris
Tour de France - Guides touristiques
Régions de France
Europe
Afrique - Moyen Orient - Tour du monde
Amériques - Mondes polaires
Asie - Océanie
Cartes - Atlas
Nouveautés Voyage et Tourisme Meilleures ventes Voyage et Tourisme
BD et Jeunesse
BD - Mangas - Comics

Bande dessinée

Manga

Public averti
Jeunesse

Album (0-8 ans)

Livres jeunesse (8-14 ans)

Découverte junior
Nouveautés BD et Jeunesse Meilleures ventes BD et Jeunesse

Handbook of Parallel Constraint Reasoning

Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Handbook of Parallel Constraint Reasoning

Youssef / Hamadi Hamadi

677 pages, parution le 16/04/2018

Ajouter à une liste

Indisponible

Résumé

pPart I, Theory and Algorithms.- Parallel Satisfiability.- Cube-and-Conquer for Satisfiability.- Parallel Maximum Satisfiability.- Parallel Solving of Quantified Boolean Formulas.- Parallel Satisfiability Modulo Theories.- Parallel Theorem Proving.- Parallel Answer Set Programming.- Parallel Solvers for Mixed Integer Linear Optimization.- Parallel Constraint Programming.- Parallel Local Search.- Parallel A* for State-Space Search.- Parallel Model Checking Algorithms for Linear-Time Temporal Logic.- Multi-core Decision Diagrams.- Parallel Model-Based Diagnosis.- Part II, Tools and Applications.- Selection and Configuration of Parallel Portfolios.- An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems.- Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Youssef / Hamadi Hamadi
Parution	16/04/2018
Nb. de pages	677
EAN13	9783319635156

Avantages Eyrolles.com

Livraison à partir de 0,01 € en France métropolitaine

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ d'un million et demi de livres disponibles

Consultez aussi

: Satisfait ou remboursé

: Paiement sécurisé

: Paiement à l'expédition

: Livraison partout dans le monde

: Service clients sav@commande.eyrolles.com

: Librairie française depuis 1925