CONTRAINTES ENSEMBLISTES ET SPECIFICATIONS FORMELLES :: SCD d'Orléans

CONTRAINTES ENSEMBLISTES ET SPECIFICATIONS FORMELLES

CONTRAINTES ENSEMBLISTES ET SPECIFICATIONS FORMELLES

LE BUT DE CETTE THESE EST DE DONNER DES OUTILS PERMETTANT DE DECRIRE ET DE TRAITER DES RELATIONS ENTRE ENSEMBLES INTENTIONNELS (CONTRAINTES ENSEMBLISTES), PUIS DE LES APPLIQUER A L'EXPRESSION ET A LA VALIDATION DE PROPRIETES DE PROGRAMMES, DANS LE CADRE D'UN LANGAGE DE SPECIFICATION FORMEL...

保存先:

書誌詳細
第一著者:	Tellez Arenas, Agnès
その他の著者:	Anantharaman, Siva (論文の指導者)
フォーマット:	Thèse et Mémoire papier
言語:	Français
出版事項:	[S.l.] : [s.n.] 1999.
主題:	Thèses et écrits académiques
注記:	1999ORLE2019
Autres localisations:	Voir dans le Sudoc

類似資料

SPECIFICATIONS FORMELLES ET EXECUTABLES EN PROGRAMMATION EN LOGIQUE : APPLICATION A LA STANDARDISATION DE PROLOG
著者:: Ed-Dbali, AdbelAli, 1966-
出版事項: (1993)

CONTRIBUTION A LA REALISATION D'UNE SPECIFICATION FORMELLE POUR PROLOG
著者:: Richard, Gilles, 19..-...., enseignant-chercheur en informatique
出版事項: (1989)

Lois polynomes et lois formelles en théorie des modules
著者:: Roby, Norbert
出版事項: (1963)

Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage
著者:: Guesmi, Asma, 1988-
出版事項: (2016)

MR60, LECTINE SPECIFIQUE DU MANNOSE : CARACTERISATION, CLONAGE ET REGULATION DE L'EXPRESSION
著者:: Arar Plessis, Chantal, 19..-
出版事項: (1995)

Localisation de tumeurs murines par des anticorps monoclonaux spécifiques
著者:: Maillet, Thierry
出版事項: (1984)

UN LANGAGE POUR MANIPULER LES ENSEMBLES : MANENS
著者:: Le Berre, François
出版事項: (1982)

ISOLEMENT, CARACTERISATION ET SEQUENCAGE DE FRAGMENTS GENOMIQUES SPECIFIQUES DU SEXE CHEZ MERCURIALIS ANNUA L. : CODENT-ILS POUR LES ENZYMES SPECIFIQUES DU SEXE ?
著者:: Yang, Zhimin, 19..-
出版事項: (1995)

LANGAGES CONCURRENTS AVEC CONTRAINTES : COMMUNICATION PAR MESSAGES ET DISTRIBUTION
著者:: Réty, Jean-Hugues
出版事項: (1997)

Génération modulaire de grammaires formelles
著者:: Petitjean, Simon, 1988-
出版事項: (2014)

SYNTHESE DE GLYCOCONJUGUES SPECIFIQUES DE LECTINES MEMBRANAIRES ET LEUR UTILISATION POUR CIBLER OLIGONUCLEOTIDES ET GENES
著者:: NORMAND SDIQUI SDIQUI, NADIA
出版事項: (1995)

FILTRAGE ET CONTROLE DE PROCESSUS STOCHASTIQUES SOUMIS A DES CONTRAINTES
著者:: Pontier, Monique
出版事項: (1987)

CONSISTANCES LOCALES ET TRANSFORMATIONS SYMBOLIQUES DE CONTRAINTES D'INTERVALLES
著者:: Granvilliers, Laurent
出版事項: (1998)

Personalising privacy contraints in Generalization-based Anonymization Models
著者:: Michel, Axel, 1991-
出版事項: (2019)

Personalising privacy contraints in Generalization-based Anonymization Models
著者:: Michel, Axel, 1991-
出版事項: (2019)

Substrats et prodrogues antitumorales spécifiques de la plasmine : synthèse, propriétés et applications biologiques
著者:: Pontoni, Marzia, 1959-
出版事項: (1986)

CIBLAGE D'AGENTS ANTIVIRAUX ET ANTIPARASITAIRES PAR DES POLYMERES GLYCOSYLES SPECIFIQUES DES LECTINES MEMBRANAIRES DES MACROPHAGES
著者:: Negre, Eric, 19..-
出版事項: (1991)

An application-driven approach to establish novel bearings vibratory specification applied to the e-vehicle powerpack
著者:: Berrada, Salma, 1991-
出版事項: (2024)

UNIFICATION GENERALE PAR SURREDUCTION ORDONNEE CONTRAINTE ET SURREDUCTION DIRIGEE
著者:: Chabin, Jacques, 19..-
出版事項: (1994)

ETUDE D'UNE SEQUENCE D'ADN MOYENNEMENT REPETEE SPECIFIQUE DU CHROMOSOME X DE LA SOURIS : ORGANISATION ET EVOLUTION DE LA REGION 3
著者:: Moreau, Philippe
出版事項: (1992)

Nature juridique et aménagement du droit de copropriété dans les ensembles immobiliers
著者:: Heck, Daniel, 19..-
出版事項: (1962)

ETUDE COMPARATIVE DES MECANISMES D'INDUCTION DE LA DIAPAUSE PROLONGEE CHEZ QUELQUES INSECTES SPECIFIQUES DES CONES DE CONIFERES
著者:: Roux, Géraldine, 19..-
出版事項: (1995)

CONTRIBUTION A L'ETUDE DES PERTES D'IMPULSION SPECIFIQUE DANS LES FUSEES A PROPERGOL SOLIDE
著者:: KUENTZMANN, P.
出版事項: (1973)

MISE EN EVIDENCE, ANDROGENODEPENDANCE ET ONTOGENESE D'UNE PROTEINE MAJEURE DE 34 KD SPECIFIQUE DU CANAL DEFERENT DE SOURIS
著者:: Taragnat, Catherine, 1961-
出版事項: (1988)

ETUDE DE RECEPTEURS SPECIFIQUES D'OSIDES EXPRIMES PAR DES CELLULES IMPLIQUEES DANS LA REPONSE IMMUNE : ASPECTS BIOCHIMIQUE ET BIOLOGIQUE
著者:: Grillon, Catherine
出版事項: (1989)

CARACTERISATION DE RECEPTEURS MEMBRANAIRES, SPECIFIQUES DE LA GLYCOPROTEINE ACIDE ALPHA 1 ET DU MANNOSE, DES CELLULES DE LA LIGNEE MONOCYTIQUE : MODULATION AU COURS DE LA DIFFERENCIATION
著者:: CARPENTIER, VALERIE
出版事項: (1992)

ETUDE BIOCHIMIQUE ET BIOLOGIQUE DE LA LECTINE ENDOGENE SPECIFIQUE D'-FUCOSIDES DE CELLULES ENDOTHELIALES MURINES DE GANGLIONS LYMPHATIQUES PERIPHERIQUES
著者:: Dupuis, Philippe, 19..-...., auteur d'une thèse de sciences biologiques et fondamentales appliquées
出版事項: (1999)

PROPRIETES DYNAMIQUES ET STATISTIQUES D'UN PETIT ENSEMBLE D'ONDES EN INTERACTION
著者:: Lefebvre, Bertrand, 19..-
出版事項: (2000)

ETUDE DE LA STRUCTURE ET DE LA REGULATION D'UN GENE ANDROGENO-DEPENDANT SPECIFIQUEMENT EXPRIME DANS LA TETE DE L'EPIDIDYME DE SOURIS
著者:: GHYSELINCK, NORBERT
出版事項: (1991)

Modélisation et commande d'un système multiaxes sous contraintes spatiales et contrôle de charge
著者:: Mansouri, Jassem, 1988-
出版事項: (2018)

ANALYSE ET SIMULATION DES CONTRAINTES D'ORIGINE THERMIQUE SUR DES STRUCTURES REFRACTAIRES DE CENTRALES LFC
著者:: Mamdy Andrieux, Cécile
出版事項: (1999)

CONSTRUCTION D'UNE BANQUE D'ADNS C, SELECTION ET ETUDE D'UN CLONE SPECIFIQUE DU SEXE MALE CHEZ MERCURIALIS ANNUA
著者:: Cabre, Elisabeth
出版事項: (1989)

Contraintes et fouille de données
著者:: Turmeaux, Teddy, 1969-
出版事項: (2004)

Etude de défauts dans les acides nucléiques à l'aide d'anticorps spécifiques
著者:: Shah Bazgar, 1950?-
出版事項: (1982)

Test de conformité pour des spécifications à base d'automates : une approche par la théorie des jeux
著者:: Ramangalahy, Solofo
出版事項: (1999)

Morphologie et comportement hydromécanique d'une fracture naturelle dans un granite sous contrainte normale : étude expérimentale et théorique
著者:: Gentier, Sylvie, 1958-
出版事項: (1986)

ETUDE DE RECEPTEURS SPECIFIQUES D'OSIDES EXPRIMES PAR UNE LIGNEE DE KERATINOCYTES HUMAINS ET PAR LES CELLULES DU MELANOME HUMAIN C32 : IMPLICATION DANS LE TRANSFERT DE LA MELANINE
著者:: Cerdan Antoinet, Dominique
出版事項: (1991)

Méthodes de résolution de disjonctions de contraintes linéaires : application à la programmation logique avec contraintes
著者:: BACKER, BRUNO DE
出版事項: (1995)

APPROCHE, EN TERMES DE SQUELETTES DE PREUVE, DE LA SEMANTIQUE ET DU DIAGNOSTIC DECLARATIF D'ERREUR DES PROGRAMMES LOGIQUES AVEC CONTRAINTES
著者:: Tessier, Alexandre, 19..-...., enseignant-chercheur en informatique
出版事項: (1997)

REALISATION PAR LA METHODE AUX HYDRURES ET ETUDE DE PUITS QUANTIQUES CONTRAINTS GA#XIN#1##XAS/INP
著者:: Gil, Evelyne
出版事項: (1992)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales