Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE
Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02
Frais de port 0,01€*
Exclusivité web
Scilab fait partie des environnements de développement et de simulation
qui sont aujourd’hui incontournables pour l’enseignement des sciences de
...
En savoir plus...
Problèmes de satisfaction de contraintes
Formalismes et techniques CSP
Coll. Informatique
De par leur forte complexité et leur omniprésence aussi bien dans le monde
académique qu’industriel, les problèmes de satisfaction de contraintes
(CSP) continuent à susciter...
En savoir plus...
Structures de données et méthodes formelles
(Collection Télécom)
Ce livre a pour thème principal l'étude des structures de
données. Il s'agit de constituants logiciels dont la qualité
conditionne le bon fonctionnement et...
En savoir plus...
Réseaux de calcul
des grappes aux nuages de calcul
Coll. Architecture, Applications, Service
Réseaux de calcul étudie le cœur de trois nouvelles architectures informatiques distribuées : les grappes, les grilles et les nuages de calcul. Il présente leur système nerveux central...
En savoir plus...
L'optimisation du partitionnement de graphe est un problème théorique qui a des applications multiples, mais souvent méconnues, entre autres en calcul numérique, calcul parallèle, dessin des...
En savoir plus...
Les fourmis artificielles sont issues de l'observation de la nature : les sociétés animales, telles que les colonies de fourmis, ont développé des comportements collectifs d'une efficacité et...
En savoir plus...
Avant-propos -V. PASCHOS. PROBLÈMES PARADIGMATIQUES. Chapitre 1. Satisfaisabilité optimale -C. BAZGAN. Chapitre 2. Le voyageur de commerce -J. MONNOT, S. TOULOUSE. Chapitre 3. Problèmes de...
En savoir plus...
Logique(s), langages formels et complexité pour l'informatique
Coll. Informatique
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils...
En savoir plus...
Ordonnancement pour l'informatique parallèle
Traité IC2, série Informatique et Systèmes d'Information
La problématique des ordonnancements et du parallélisme est particulièrement vaste. Les nouvelles technologies telles que les ordinateurs à architecture parallèle ou les réseaux de machines...
En savoir plus...
Cet ouvrage a pour objectif de donner un aperçu des principaux domaines d'application de la logique floue. Il est largement consacré à la méthodologie dont peuvent avoir besoin les chercheurs...
En savoir plus...
Logique et théorie des systèmes digitaux
Cet ouvrage développe une théorie des systèmes digitaux, fort semblable à la théorie des systèmes analogiques de traitement de l'information, et base cette théorie sur une formalisation où...
En savoir plus...
Introduction aux méthodes formelles
Cet ouvrage présente les bases théoriques de la spécification formelle qui est de plus en plus utilisée dans la conception de systèmes informatiques. Il propose une vue d'ensemble des...
En savoir plus...
Algorithmique paralléle et distribuée
Traité des nouvelles technologies, série Informatique
Cet ouvrage examine les problèmes fondamentaux dans les systèmes distribués (terminaison, apprentissage et détection d'états stables, routage, structuration de réseau, élection) ou sur les...
En savoir plus...
Distributed computing, OPODIS'98. (proceedings of the 2nd international conference Amiens, dec 1998)
This book contains the proceedings of the conference on principles of distributed systems, held in Amiens, France, in December 1998.
En savoir plus...
Ce numéro thématique de la revue "Calculateurs Parallèles Réseaux et Systèmes Répartis" présente les articles soumis à l'issue du Colloque "Méthodes de Décomposition de Domaines...
En savoir plus...
L'apprentissage de la complexité
Coll. Systèmes complexes
Cet ouvrage est une introduction à la complexité, longtemps considérée comme un obstacle qu'il fallait contourner soit en simplifiant les situations réputées complexes soit en réduisant...
En savoir plus...
Techniques du multithread
du parallélisme dans les processus
Coll. CNAM - Synthèses informatiques
1. Machines parallèles et multithread Machines parallèles à mémoire commune - Machines parallèles à mémoire distribuée - Ordre de grandeur des performances - Multithread concurrent -...
En savoir plus...
Evaluation des algorithmes distribués
analyse, complexité, méthodes
Coll. Informatique
Ce livre propose un tour d'horizon de l'état de la complexité des algorithmes et de ses méthodes. Il présente l'analyse de la quasi-totalité des algorithmes fondamentaux du domaine. Les douze...
En savoir plus...
Algorithmes parallèles : analyse et conception
Ce livre offre, en plus d'un cours d'algorithmique parallèle proprement dit, une présentation des architectures de machines commercialisées, des outils d'exploitation et des solutions aux...
En savoir plus...
Algorithmique et programmation
1. Introduction2. Des programmes pour commencer3. Les tris4. Des structures de données5. Récurrence et récursivité6. La marche arrière7. Transformations de programmes8. Quelques structures de...
En savoir plus...
> Accédez à toutes nos parutions en Théories, mathématiques appliquées à l'informatique