Classement
8 résultats
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 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 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

Livre numérique Méthode asymptotique numérique (Coll. Méthodes numériques)

Méthode asymptotique numérique présente un outil de calcul très utile pour résoudre numériquement des équations non linéaires. Les approximations tangentes classiques sont remplacées par des séries entières tronquées à un ordre relativement élevé. Plus

Livre numérique Les codes en informatique Codes détecteurs et correcteurs d'erreurs (coll. Informatique)

L'ouvrage de Khira Lamèche explicite les notions mathématiques nécessaires à sa compréhension et développe - en proposant de nombreux exercices - la construction de la plupart des codes linéaires utilisés couramment : codes de Hamming, codes cycliques, ... Plus

Livre numérique Logique Tome 2 : méthodes formelles pour l'étude des programmes

La première partie est consacrée à la théorie des ensembles. Le premier chapitre est une introduction philosophique et historique, les aspects techniques étant exposés au chapitre deux. Le chapitre trois présente la logique de Hoare classique, ... Plus