Classement
112 résultats
Livre numérique La dérivation non entière. Théorie, synthèse et applications (coll. Traité des nouvelles technologies Série automatique)

Véritable monographie de référence sur la théorie et la synthèse de la dérivation non entière, ... 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 Eléments de géométrie mécanique

Eléments de géométrie mécanique examine deux grandes classes de géométrie : la géométrie synthétique, construite sur la notion de point, à partir de laquelle Euclide a développé son projet, et la géométrie des corps, construite sur la notion de sphère, ... 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

Livre numérique Manuel de prétopologie et ses applications (coll. Interdisciplinarité et nouveaux outils)

Le Manuel de prétopologie de Z. Belmandt est un ouvrage de base pour l'analyse, la modélisation et la construction dans les domaines les plus variés : sciences humaines et sociales, théorie des jeux, extension de la notion de graphe, réseaux, préférences, ... Plus

Livre numérique Eléments de programmation mathématique (coll. Informatique)

Ce manuel présente les outils classiques de la programmation linéaire et non linéaire, leurs fondements théoriques, les divers algorithmes, et de nombreuses illustrations. Plus

Livre numérique Graphes, simulation, L-matrices: Application aux files d'attente (coll. Traité des nouvelles technologies Série Mathématiques appliquées)

Peu d'ouvrages français traitent aussi efficacement des réseaux de file d'attente. Graphes, simulation, L-matrices resitue le problème dans l'horizon des recherches les plus récentes en simulation informatique. Plus

Livre numérique Logique Tome 1 : méthodes pour l'informatique fondamentale (retirage 1998) (Version Brochée)

Ce premier volume, Méthodes pour l'informatique fondamentale, contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, ... Plus