Global ETD Search

511	Reconnaissance en ligne de caractères alphanumériques manuscrits Loy, Wee Wang 02 October 1981 (has links) (PDF) . lexique alphabet alphanumérique automatique manuscrit typographie langage caractères traduction
512	Conception architecturale, industrialisation ouverte, informatique : le système SIGMA-industrialisation ouverte : définition d'un système informatique d'aide à la conception de logements par composants industrialisés ouverts Z'Graggen, François-Joseph 01 January 1981 (has links) (PDF) . architecture bâtiment rénovation réhabilitation construction conception industrialisation logements dessins cahier des charges
513	Test et autotest de circuits complexes Gobbi, José-Maria 09 December 1981 (has links) (PDF) . circuits intégrés test vérification optimisation contrôle
514	Application de méthodes d'analyse linguistique à la gestion d'une base de nomenclatures : le logiciel PIAFBCN Culet, Annie 30 October 1981 (has links) (PDF) . bases de données linguistique syntaxe traduction gestion PIAFBCN modélisation articles
515	Sémantique relationnelle des programmes non-déterministes et des processus communicants Guerreiro, Pedro J. V. D 03 July 1981 (has links) (PDF) . transformateurs sémantique prédicats langages de commandes programmes correction
516	Sur le choix des noeuds pour le calcul numérique d'intégrales à singularités Delaye, Alain 30 June 1981 (has links) (PDF) Elements de théorie de l'approximation polynomiale par morceaux. Approximation d'une intégrale simple avec poids par une combinaison linéaire de valeurs de la fonction. Approximation d'une intégrale simple avec poids par une combinaison linéaire de valeurs de la fonction et de sa dérivée. Application à l'interpolation affine par morceaux. Approximation d'une intégrale double avec poids approximation polynômes asymptote noyau erreur dérivée intégration intégrale double
517	Etude algorithmique de certaines classes de graphes parfaits : les graphes de parité, les graphes i-triangulés, les graphes parfaits trois chromatiques Burlet, Michel 28 September 1981 (has links) (PDF) . graphes cardinalité parfais conjectures polyèdres programmation linéaire
518	Langages de description de systèmes logiques : propositions pour une méthode formelle de définition Borrione, Dominique 01 July 1981 (has links) (PDF) Réflexion théorique visant à dégager les principes communs à la très grande majorité des langages de description de systèmes logiques. Presentation de CONLAN. Exposé d'un modèle d'évaluation permettant de spécifier l'interprétation des primitives d'un langage de description de systèmes logiques. langage programmation systèmes logiques vérification contrôle conception LASSO fonctions approche Conlan
519	Sur les colorations des arêtes des graphes cubiques Preissmann, Myriam 08 May 1981 (has links) (PDF) . graphes images coloration couleur points arêtes graphes cubiques indice chromatique
520	Un formalisme pour la spécification des contrôleurs temps-réel de procédés discrets Walter, Claudio 24 June 1981 (has links) (PDF) Présentation du formalisme, notion d'observateur. Application du formalisme au contrôle des procédés. Analyse des langages et systèmes dans l'esprit du formalisme. Algorithmes et automates de séquence. Syntaxe du langage CSL. Proposition d'un interpréteur CSL. Application à une installation d'emballage et de stockage de lampes électriques processus commandes temps-réel formalisme fidélité programmation programmes

Search results