Dissertations / Theses on the topic 'Langages formels'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Langages formels.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Degorre, Aldric. "Langages formels : quelques aspects quantitatifs." Phd thesis, Grenoble 1, 2009. http://www.theses.fr/2009GRE10168.
Full textDegorre, Aldric. "Langages formels : Quelques aspects quantitatifs." Phd thesis, Université Joseph Fourier (Grenoble), 2009. http://tel.archives-ouvertes.fr/tel-00665462.
Full textRobilliard, Denis. "Langages de figures." Lille 1, 1996. http://www.theses.fr/1996LIL10029.
Full textDinh, Trong Hiêu. "Grammaires de graphes et langages formels." Phd thesis, Université Paris-Est, 2011. http://tel.archives-ouvertes.fr/tel-00665732.
Full textDima, Catalin. "Théorie algébrique des langages formels temps réel." Phd thesis, Université Joseph Fourier (Grenoble), 2001. http://tel.archives-ouvertes.fr/tel-00004672.
Full textBathie, Gabriel. "Algorithmes d’approximation efficaces pour les langages formels." Electronic Thesis or Diss., Bordeaux, 2025. http://www.theses.fr/2025BORD0089.
Full textBrlek, Srecko. "Sur la complexité des chaînes d'opérations dans les monoïdes." Bordeaux 1, 1988. http://www.theses.fr/1988BOR10563.
Full textRyl, Isabelle. "Langages de synchronisation." Lille 1, 1998. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1998/50376-1998-317.pdf.
Full textSimplot-Ryl, David. "Langages de mots de figures monoïdes inversifs et langages de mots à deux dimensions." Lille 1, 1997. http://www.theses.fr/1997LIL10063.
Full textFinkel, Olivier. "Théorie des modèles des formules locales et étude des langages formels qu'elles définissent." Paris 7, 1993. http://www.theses.fr/1993PA077050.
Full textFarinone, Jean-Marc. "Langages algébriques d'index rationnel singulier." Paris 7, 1986. http://www.theses.fr/1986PA077113.
Full textKhatab, Abdelhakim. "Contrôle et contrôle stabilisant des Systèmes à Evénements Discrets Temporels : application au recouvrement des défaillances des systèmes de production." Lyon, INSA, 2000. http://www.theses.fr/2000ISAL0105.
Full textPereira-Fernandez, Juan Manuel. "Processus communicants." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00311800.
Full textJungjariyanonn, Settachaî. "Algorithmes de calculs sur les chaines d'intervalles et leurs applications." Paris 13, 2002. http://www.theses.fr/2002PA132009.
Full textEyraud, Rémi. "Inférence grammatical de langages hors-contextes." Saint-Etienne, 2006. http://www.theses.fr/2006STET4008.
Full textCarayol, Arnaud. "Automates infinis, logique et langages." Rennes 1, 2006. https://tel.archives-ouvertes.fr/tel-00628513.
Full textCarayol, Arnaud Caucal Didier. "Automates infinis, logique et langages." [S.l.] : [s.n.], 2006. ftp://ftp.irisa.fr/techreports/theses/2006/carayol.pdf.
Full textAugros, Xavier. "Des algorithmes autour des codes rationnels." Nice, 2001. http://www.theses.fr/2001NICE5693.
Full textJeanne, Hadrien. "Langages géométriques et polycubes." Rouen, 2010. http://www.theses.fr/2010ROUES007.
Full textCohen, Albert. "Analyse et transformation de programmes: du modèle polyédrique aux langages formels." Phd thesis, Université de Versailles-Saint Quentin en Yvelines, 1999. http://tel.archives-ouvertes.fr/tel-00550829.
Full textCohen, Albert Henri. "Analyse et transformation de programmes : du modèle polyédrique aux langages formels." Versailles-St Quentin en Yvelines, 1999. https://tel.archives-ouvertes.fr/tel-00550829.
Full textCarayol, Arnaud. "Automates infinis, logiques et langages." Phd thesis, Université Rennes 1, 2006. http://tel.archives-ouvertes.fr/tel-00628513.
Full textTerlutte, Alain. "Contribution à l'étude des langages engendrés par des morphismes itérés." Lille 1, 1988. http://www.theses.fr/1988LIL10023.
Full textVoundy, El Makki. "Langages ε-sûrs et caractérisations des langages d'ordres supérieurs". Thesis, Aix-Marseille, 2017. http://www.theses.fr/2017AIXM0249.
Full textLoubersac, Jérôme. "Définition d'une méthodologie pour le langage de spécification formelle VDM." Paris 9, 1994. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1994PA090025.
Full textSalaün, Gwen. "Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes." Nantes, 2003. http://www.theses.fr/2003NANT2023.
Full textFévrier, Arnaud. "Modèles et langages formels pour le point de vue de traitement ODP /." Paris : École nationale supérieure des télécommunications, 1998. http://catalogue.bnf.fr/ark:/12148/cb37067157h.
Full textMoreno, Eduardo. "Graphes et cycles de de Bruijn dans des langages avec des restrictions." Marne-la-Vallée, 2005. https://tel.archives-ouvertes.fr/tel-00628709.
Full textBezzazi, El-Hassan. "Types de données et récurrence bien fondée dans un système de programmation par preuves." Lille 1, 1990. http://www.theses.fr/1990LIL10140.
Full textBahrami, Diane. "Une axiomatisation de la réécriture abstraite." Evry-Val d'Essonne, 2003. http://www.theses.fr/2003EVRY0001.
Full textChaubard, Laura. "Méthodes algébriques pour les langages formels : applications à la logique et à la dynamique symbolique." Paris 7, 2007. http://www.theses.fr/2007PA077058.
Full textTafat, Bouzid Hanane. "Combinatoire analytique des langages réguliers et algébriques." Paris 13, 2012. http://scbd-sto.univ-paris13.fr/intranet/edgalilee_th_2012_tafat.pdf.
Full textLhote, Nathan. "Définissabilité et Synthèse de Transductions." Doctoral thesis, Universite Libre de Bruxelles, 2019. https://dipot.ulb.ac.be/dspace/bitstream/2013/287370/4/these.pdf.
Full textFici, Gabriele. "Minimal forbidden words and applications." Marne-la-Vallée, 2006. https://tel.archives-ouvertes.fr/tel-00628628v2.
Full textFouda, Ndjodo Marcel. "Systèmes de réécriture et cohérence des isomorphismes de types dans les catégories localement closes." Aix-Marseille 2, 1992. http://www.theses.fr/1992AIX22082.
Full textBertrand, Pierre. "Calcul formel et perturbations en contrôle optimal déterministe." Paris 9, 1987. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1987PA090008.
Full textGamard, Guilhem. "Couverture d'un mot bidimensionnel par un motif chevauchant." Thesis, Montpellier, 2017. http://www.theses.fr/2017MONTS027/document.
Full textHéam, Pierre-Cyrille. "Contribution à l'algorithmique des automates : compléxité et aspects topologiques." Paris 7, 2001. http://www.theses.fr/2001PA077085.
Full textJeandel, Emmanuel. "Propriétés structurelles et calculatoires des pavages." Habilitation à diriger des recherches, Université Montpellier II - Sciences et Techniques du Languedoc, 2011. http://tel.archives-ouvertes.fr/tel-00653343.
Full textTran, Vinh Duc. "Des codes pour engendrer des langages de mots infinis." Nice, 2011. http://www.theses.fr/2011NICE4109.
Full textChanti, Houda. "Développement d'un outil d'évaluation performantielle des réglementations incendie en France et dans les pays de l'Union Européenne." Thesis, Mulhouse, 2017. http://www.theses.fr/2017MULH8193/document.
Full textBoiret, Adrien. "Normalization and learning of transducers on trees and words." Thesis, Lille 1, 2016. http://www.theses.fr/2016LIL10089/document.
Full textBurdy, Lilian. "Traitement des expressions dépourvues de sens de la théorie des ensembles : application à la méthode B." Paris, CNAM, 2001. http://www.theses.fr/2000CNAM0366.
Full textEduardo, Moreno. "Graphes et cycles de de Bruijn dans des langages avec des restrictions." Phd thesis, Université de Marne la Vallée, 2005. http://tel.archives-ouvertes.fr/tel-00628709.
Full textLaunay, Jean-Pierre. "Génération de code de protocole de communication par système expert." Paris 9, 1995. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1995PA090030.
Full textPréa, Pascal. "Discrétisation des images : reconnaissance de formes et connexité discrète." Aix-Marseille 2, 1988. http://www.theses.fr/1988AIX22071.
Full textBedon, Nicolas. "Langages reconnaissables de mots indexés par des ordinaux." Phd thesis, Université de Marne la Vallée, 1998. http://tel.archives-ouvertes.fr/tel-00620480.
Full textIvanov, Sergiu. "On the Power and Universality of Biologically-inspired Models of Computation." Thesis, Paris Est, 2015. http://www.theses.fr/2015PEST1012/document.
Full textMorvan, Christophe. "Les graphes rationnels." Rennes 1, 2001. http://www.theses.fr/2001REN10147.
Full textCadivel, Christian. "Contribution à la spécification des systèmes d'information : les réseaux formels pour la spécification des traitements et application à la retro conception de codes." Lyon, INSA, 1997. http://www.theses.fr/1997ISAL0030.
Full text