Welcome to the library of the Faculty of Technology

Détail de l'indexation

511.35 : Théorie de la récurrence

511 Principes généraux des mathématiques

511.076 Principes généraux des mathématiques - Problèmes et exercices

511.1 Mathématiques finies

511.3 Logique mathématique

511.3-076 Logique mathématique - Problèmes et exercices

511.313 Logique floue

511.322 Théorie des ensembles (hypothèse du continu, nombres cardinaux, nombres transfinis, théorie axiomatique des ensembles, théorie combinatoire des ensembles)

511.326 Equations

511.4 Approximation mathématique

511.42 Méthodes (ajustement de courbes, interpolations, moindres carrés)

511.5 Théorie des graphes (construction des graphes, nomographie)

511.5-076 Théorie des graphes - Problèmes et exercices

511.52 Arbres (mathématique)

511.6 Analyse combinatoire (combinatoire algébrique, configurations et modèles combinatoires, matroïdes)

511.8 Modèles mathématiques (Algorithmes, Simulations mathématiques)

511.8-076 Modèles mathématiques (Algorithmes, Simulations mathématiques) - Problèmes et exercices

Ouvrages de la bibliothèque en indexation 511.35

trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche

texte imprimé

Les systèmes d'information : Analyse et conception

Paris [France] : Dunod 1986

Plus d'information...

Réserver

Disponible

texte imprimé

Vérification et mise en oeuvre des réseaux de petri

Michel Diaz | Paris [France] : Lavoisier | Traité IC2 Information-commande-communication (Série : Systèmes automatisés), Dirigée par : Foulard, Claude | 2003

Les réseaux de Petri portait sur la modélisation des systèmes dont les comportements dépendent de valeurs temporelles. Cette étude avait permis de définir les RdP Temporels ainsi qu'une nouvelle approche sémantique pour analyser les fonctionneme[...]

Plus d'information...

Réserver

Disponible