Classement
26 résultats
De la conception à la réalisation sur ordinateur
Langue Français
Livre numérique Géométrie des pavages

Des fresques de l’Antiquité romaine aux pavages de Durer et Kepler, des mosaïques de l’art arabo-persan aux pavages de Penrose, l’art décoratif est illuminé de motifs géométriques foisonnants. Plus

Livre numérique La science de l'information

Cet ouvrage de synthèse sur les fondements théoriques et épistémologiques de la science de l’information répond à trois questions : – existe-t-il une science de l’information à part entière ? – comment se ... Plus

théorie, algorithmes et complexité
Collection Informatique
Langue Français
Livre numérique Algèbre linéaire dans Rn

L’algèbre linéaire permet de résoudre les équations dites linéaires utilisées en mathématiques, en informatique, en mécanique, en sciences naturelles ou en sciences sociales. Du point de vue de l’informaticien, ... Plus

Livre numérique Outils de mise en oeuvre industrielle des techniques formelles

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Plus

Livre numérique Modèles statistiques pour l’accès à l'information textuelle

Cet ouvrage présente les modèles statistiques récemment développés au sein de diverses communautés pour accéder à l'information contenue dans des collections textuelles. Plus

Livre numérique Théorie des graphes et applications avec exercices et problèmes

Théorie des graphes et applications est un ouvrage, à la fois pédagogique et complet, qui présente une étude des principaux aspects de la théorie des graphes et de ses applications, en particulier celles relevant de l'optimisation combinatoire. Plus

Livre numérique Logique pour l'informatique et pour l'intelligence artificielle

La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, ... Plus

Livre numérique Raisonnement qualitatif sur le temps et l'espace

Le raisonnement qualitatif sur le temps et l'espace est un domaine de l'intelligence artificielle qui connaît un développement important, notamment en raison de ses liens avec de nombreuses applications comme la planification, ... Plus

Livre numérique Courbes elliptiques

Cet ouvrage propose une introduction aux courbes elliptiques pour la cryptographie. Il décrit leur utilisation pour la protection de l'information et présente les développements les plus récents, en particulier la cryptographie bilinéaire, ... Plus

Livre numérique Algèbre, confidentialité et intégrité en multimédia

Cet ouvrage est consacré à l'algèbre (éléments d'algèbre, algèbre linéaire et multilinéaire) et à ses applications en cryptographie et codes correcteurs d'erreurs. Plus