skip to main content

Détermination automatique de relations linéaires vérifiées par les variables d'un programme

Halbwachs, Nicolas

s.l. : s.n., 1979

Voir les exemplaires  et autres localisations

  • Titre:
    Détermination automatique de relations linéaires vérifiées par les variables d'un programme
  • Auteur: Halbwachs, Nicolas
  • Sujets: Rationalisation des choix budgétaires -- Thèses et écrits académiques ;
    EXECUTION SYMBOLIQUE ;
    Preuve de programme ;
    H-INF.TH.
  • Description: Mines : FRA .
    Th. 3e cycle
    DEFINITIONS ET RESULTATS FONDAMENTAUX SUR LES POLYEDRES CONVEXES. OPERATIONS SUR LES POLYEDRES CONVEXES. CONTEXTES ABSTRAITS. SYSTEME D'EQUATIONS EN AVANT ASSOCIE A UN PROGRAMME. ANALYSE APPROCHEE EN AVANT DES PROGRAMMES. ANALYSE APPROCHEE EN ARRIERE DES PROGRAMMES. PRIMITIVES EVOLUEES. APPLICATION DE LA METHODE. NOTE SUR L'IMPLEMENTATION ET LES PERFORMANCES. COMPARAISON AVEC DES TRAVAUX VOISINS
  • Éditeur: s.l. : s.n.
  • Date de publication: 1979
  • Format: 1 vol. (120 p.) : ill. ; 21 cm
  • Langue: Français
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré