Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Types de Bushnell Kutzko). Showing records 1 – 30 of 352674 total matches.

[1] [2] [3] [4] [5] … [11756]

Search Limiters

Last 2 Years | English Only

Levels

Languages

Country

▼ Search Limiters

1. Cui, Peiyi. Modulo l-representations of p-adic groups SL_n(F) : Représentations modulo l des groupes p-adiques SL_n(F).

Degree: Docteur es, Mathématiques et leurs interactions, 2019, Rennes 1

Fixons un nombre premier p. Soit k un corps algébriquement clos de caractéristique l différent que p. Nous construisons les k-types maximaux simples cuspidaux des… (more)

Subjects/Keywords: Représentations modulo l; Groupes spéciaux linéaires p-Adiques; Support supercuspidal; Types de Bushnell-Kutzko; Modular l representations; P-Adic special linear groups; Supercuspidal support; Bushnell-Kutzko types

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cui, P. (2019). Modulo l-representations of p-adic groups SL_n(F) : Représentations modulo l des groupes p-adiques SL_n(F). (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2019REN1S050

Chicago Manual of Style (16th Edition):

Cui, Peiyi. “Modulo l-representations of p-adic groups SL_n(F) : Représentations modulo l des groupes p-adiques SL_n(F).” 2019. Doctoral Dissertation, Rennes 1. Accessed October 28, 2020. http://www.theses.fr/2019REN1S050.

MLA Handbook (7th Edition):

Cui, Peiyi. “Modulo l-representations of p-adic groups SL_n(F) : Représentations modulo l des groupes p-adiques SL_n(F).” 2019. Web. 28 Oct 2020.

Vancouver:

Cui P. Modulo l-representations of p-adic groups SL_n(F) : Représentations modulo l des groupes p-adiques SL_n(F). [Internet] [Doctoral dissertation]. Rennes 1; 2019. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2019REN1S050.

Council of Science Editors:

Cui P. Modulo l-representations of p-adic groups SL_n(F) : Représentations modulo l des groupes p-adiques SL_n(F). [Doctoral Dissertation]. Rennes 1; 2019. Available from: http://www.theses.fr/2019REN1S050

2. Rajhi, Anis. Cohomologie d'espaces fibrés au-dessus de l'immeuble affine de GL(N) : Cohomology of fiber spaces over the affine building of GL(N).

Degree: Docteur es, Mathématiques et leurs interactions, 2014, Poitiers

Cette thèse se compose de deux parties : dans la première on donne une généralisation d'espaces fibrés construit au-dessus de l'arbre de Bruhat-Tits du groupe… (more)

Subjects/Keywords: Représentations des groupes p-Adiques; Représentations des groupes réductifs finis; Immeuble de Bruhat-Tits; Cohomologie à support compact; Types de Bushnell et Kutzko d'un groupe réductif p-Adique; Representations of p-Adic groups; Representations of finite reductive groups; Bruhat-Tits buildings; Cohomology with compact support; Bushnell and Kutzko's types of reductive p-Adic groups; 512.74

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rajhi, A. (2014). Cohomologie d'espaces fibrés au-dessus de l'immeuble affine de GL(N) : Cohomology of fiber spaces over the affine building of GL(N). (Doctoral Dissertation). Poitiers. Retrieved from http://www.theses.fr/2014POIT2266

Chicago Manual of Style (16th Edition):

Rajhi, Anis. “Cohomologie d'espaces fibrés au-dessus de l'immeuble affine de GL(N) : Cohomology of fiber spaces over the affine building of GL(N).” 2014. Doctoral Dissertation, Poitiers. Accessed October 28, 2020. http://www.theses.fr/2014POIT2266.

MLA Handbook (7th Edition):

Rajhi, Anis. “Cohomologie d'espaces fibrés au-dessus de l'immeuble affine de GL(N) : Cohomology of fiber spaces over the affine building of GL(N).” 2014. Web. 28 Oct 2020.

Vancouver:

Rajhi A. Cohomologie d'espaces fibrés au-dessus de l'immeuble affine de GL(N) : Cohomology of fiber spaces over the affine building of GL(N). [Internet] [Doctoral dissertation]. Poitiers; 2014. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2014POIT2266.

Council of Science Editors:

Rajhi A. Cohomologie d'espaces fibrés au-dessus de l'immeuble affine de GL(N) : Cohomology of fiber spaces over the affine building of GL(N). [Doctoral Dissertation]. Poitiers; 2014. Available from: http://www.theses.fr/2014POIT2266


Leiden University

3. Nadimpalli, S. Typical representations for GLn(F).

Degree: 2015, Leiden University

 In this thesis we classify typical representations for certain non-cuspidal Bernstein components of GL_n over a non-Archimedean local field. Following the work of Henniart in… (more)

Subjects/Keywords: Parabolic-subgroups; Intertwining-operators; Simple type; Smooth representations; Bushnell-Kutzko types; Typical representations; Parabolic-subgroups; Intertwining-operators; Simple type; Smooth representations; Bushnell-Kutzko types; Typical representations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nadimpalli, S. (2015). Typical representations for GLn(F). (Doctoral Dissertation). Leiden University. Retrieved from http://hdl.handle.net/1887/33218

Chicago Manual of Style (16th Edition):

Nadimpalli, S. “Typical representations for GLn(F).” 2015. Doctoral Dissertation, Leiden University. Accessed October 28, 2020. http://hdl.handle.net/1887/33218.

MLA Handbook (7th Edition):

Nadimpalli, S. “Typical representations for GLn(F).” 2015. Web. 28 Oct 2020.

Vancouver:

Nadimpalli S. Typical representations for GLn(F). [Internet] [Doctoral dissertation]. Leiden University; 2015. [cited 2020 Oct 28]. Available from: http://hdl.handle.net/1887/33218.

Council of Science Editors:

Nadimpalli S. Typical representations for GLn(F). [Doctoral Dissertation]. Leiden University; 2015. Available from: http://hdl.handle.net/1887/33218

4. Nadimpalli, Santosh VRN. Typical representations for GL_n(F) : Représentations typiques pour GL_n(F).

Degree: Docteur es, Mathématiques, 2015, Université Paris-Sud – Paris XI

Dans cette thèse, nous classifions représentations typiques pour certaines composants Bernstein. Suite aux travaux de Henniart dans le cas de GL_2(F) et Paskunas pour les… (more)

Subjects/Keywords: Représentations typiques; Types de Bushnell-Kutzko; Représentations lisse; Type simple; Opérateurs d’entrelacement; Matrices par bloc; Sous-groupes paraboliques; Typical representations; Bushnell-Kutzko types; Smooth representations; Simple type; Intertwining operators; Block matrices; Parabolic sub-groups

…Soit U 1 0 et (J2 , λ2 ) les types de Bushnell-Kutzko pour les classes inertielles… …un. Le type de Bushnell-Kutzko pour σi est donn´e par (GLni (OF ), τi )… …sup´erieures inversibles. Nous notons que le type de Bushnell-Kutzko (Js , λs )… …de Bushnell-Kutzko Js est assez pr`es de P 0 (N ), dans le sens que P 0 (N… …Bushnell-Kutzko pour s n’est pas de la forme (P 0 (N + 1), λ1 λ2 ) pour… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nadimpalli, S. V. (2015). Typical representations for GL_n(F) : Représentations typiques pour GL_n(F). (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2015PA112090

Chicago Manual of Style (16th Edition):

Nadimpalli, Santosh VRN. “Typical representations for GL_n(F) : Représentations typiques pour GL_n(F).” 2015. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed October 28, 2020. http://www.theses.fr/2015PA112090.

MLA Handbook (7th Edition):

Nadimpalli, Santosh VRN. “Typical representations for GL_n(F) : Représentations typiques pour GL_n(F).” 2015. Web. 28 Oct 2020.

Vancouver:

Nadimpalli SV. Typical representations for GL_n(F) : Représentations typiques pour GL_n(F). [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2015. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2015PA112090.

Council of Science Editors:

Nadimpalli SV. Typical representations for GL_n(F) : Représentations typiques pour GL_n(F). [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2015. Available from: http://www.theses.fr/2015PA112090

5. Pellissier, Luc. Réductions et approximations linéaires : Reductions and linear approximations.

Degree: Docteur es, Informatique, 2017, Sorbonne Paris Cité

De nombreux outils syntaxiques et sémantiques ont été développés pour l'étude de la dynamique des preuves et des programmes au cours des cinquante dernières années.… (more)

Subjects/Keywords: Types intersections; Réseaux de preuve; Sémantique catégorique; Intersection types; Proofs and programs dynamics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pellissier, L. (2017). Réductions et approximations linéaires : Reductions and linear approximations. (Doctoral Dissertation). Sorbonne Paris Cité. Retrieved from http://www.theses.fr/2017USPCD088

Chicago Manual of Style (16th Edition):

Pellissier, Luc. “Réductions et approximations linéaires : Reductions and linear approximations.” 2017. Doctoral Dissertation, Sorbonne Paris Cité. Accessed October 28, 2020. http://www.theses.fr/2017USPCD088.

MLA Handbook (7th Edition):

Pellissier, Luc. “Réductions et approximations linéaires : Reductions and linear approximations.” 2017. Web. 28 Oct 2020.

Vancouver:

Pellissier L. Réductions et approximations linéaires : Reductions and linear approximations. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; 2017. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2017USPCD088.

Council of Science Editors:

Pellissier L. Réductions et approximations linéaires : Reductions and linear approximations. [Doctoral Dissertation]. Sorbonne Paris Cité; 2017. Available from: http://www.theses.fr/2017USPCD088

6. Couderc, Pierrick. Vérification des résultats de l'inférence de types du langage OCaml : Checking type inference results of the OCaml language.

Degree: Docteur es, Informatique, 2018, Université Paris-Saclay (ComUE)

OCaml est un langage fonctionnel statiquement typé, qui génère après inférence de types un arbre de syntaxe abstraite dans lequel chacun des noeuds est annoté… (more)

Subjects/Keywords: Systèmes de types; Compilation; OCaml; Langages fonctionels; Types systems; Compilation; OCaml; Functional languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Couderc, P. (2018). Vérification des résultats de l'inférence de types du langage OCaml : Checking type inference results of the OCaml language. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2018SACLY018

Chicago Manual of Style (16th Edition):

Couderc, Pierrick. “Vérification des résultats de l'inférence de types du langage OCaml : Checking type inference results of the OCaml language.” 2018. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed October 28, 2020. http://www.theses.fr/2018SACLY018.

MLA Handbook (7th Edition):

Couderc, Pierrick. “Vérification des résultats de l'inférence de types du langage OCaml : Checking type inference results of the OCaml language.” 2018. Web. 28 Oct 2020.

Vancouver:

Couderc P. Vérification des résultats de l'inférence de types du langage OCaml : Checking type inference results of the OCaml language. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2018. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2018SACLY018.

Council of Science Editors:

Couderc P. Vérification des résultats de l'inférence de types du langage OCaml : Checking type inference results of the OCaml language. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2018. Available from: http://www.theses.fr/2018SACLY018

7. Mastandrea, Vicenzo. Analyse de synchronisation dans les objets actifs basée sur les types comportementaux : Analysis of synchronisation patterns in active objects based on behavioural types.

Degree: Docteur es, Informatique, 2017, Université Côte d'Azur (ComUE)

Le concept d'objet actif est un modèle de calcul puissant utilisé pour définir des systèmes distribués et concurrents. Dans ce travail, nous étudions un modèle… (more)

Subjects/Keywords: Analyse de synchronisation; Objets actifs; Types comportementaux; Deadlock; Synchronisations; Active objects; Behavioural types

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mastandrea, V. (2017). Analyse de synchronisation dans les objets actifs basée sur les types comportementaux : Analysis of synchronisation patterns in active objects based on behavioural types. (Doctoral Dissertation). Université Côte d'Azur (ComUE). Retrieved from http://www.theses.fr/2017AZUR4113

Chicago Manual of Style (16th Edition):

Mastandrea, Vicenzo. “Analyse de synchronisation dans les objets actifs basée sur les types comportementaux : Analysis of synchronisation patterns in active objects based on behavioural types.” 2017. Doctoral Dissertation, Université Côte d'Azur (ComUE). Accessed October 28, 2020. http://www.theses.fr/2017AZUR4113.

MLA Handbook (7th Edition):

Mastandrea, Vicenzo. “Analyse de synchronisation dans les objets actifs basée sur les types comportementaux : Analysis of synchronisation patterns in active objects based on behavioural types.” 2017. Web. 28 Oct 2020.

Vancouver:

Mastandrea V. Analyse de synchronisation dans les objets actifs basée sur les types comportementaux : Analysis of synchronisation patterns in active objects based on behavioural types. [Internet] [Doctoral dissertation]. Université Côte d'Azur (ComUE); 2017. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2017AZUR4113.

Council of Science Editors:

Mastandrea V. Analyse de synchronisation dans les objets actifs basée sur les types comportementaux : Analysis of synchronisation patterns in active objects based on behavioural types. [Doctoral Dissertation]. Université Côte d'Azur (ComUE); 2017. Available from: http://www.theses.fr/2017AZUR4113

8. Dei, Stefania. Type de discours et stratégies de lecture sur écran d'ordinateur, livre électronique et support papier. Situation de lecture en Français langue étrangère : le cas des italophones apprenant le français : Types of discourse and reading strategies on computer screens, eBooks and paper. Reading french : the study of a group of italian speakers learning French.

Degree: Docteur es, Sciences du langage, 2011, Besançon

De la peau de l’être humain aux écrans d'ordinateur et d'eBook en passant parl'argile, les papyrus, la peau des animaux et le papier, les supports… (more)

Subjects/Keywords: Stratégies; Genres textuels; Types de discours; Supports de lecture; Ergonomie; Figures de lecteurs; Textual genres; Types of discourse; Reading materials; Ergonomics; Readers' types; 401.4

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dei, S. (2011). Type de discours et stratégies de lecture sur écran d'ordinateur, livre électronique et support papier. Situation de lecture en Français langue étrangère : le cas des italophones apprenant le français : Types of discourse and reading strategies on computer screens, eBooks and paper. Reading french : the study of a group of italian speakers learning French. (Doctoral Dissertation). Besançon. Retrieved from http://www.theses.fr/2011BESA1014

Chicago Manual of Style (16th Edition):

Dei, Stefania. “Type de discours et stratégies de lecture sur écran d'ordinateur, livre électronique et support papier. Situation de lecture en Français langue étrangère : le cas des italophones apprenant le français : Types of discourse and reading strategies on computer screens, eBooks and paper. Reading french : the study of a group of italian speakers learning French.” 2011. Doctoral Dissertation, Besançon. Accessed October 28, 2020. http://www.theses.fr/2011BESA1014.

MLA Handbook (7th Edition):

Dei, Stefania. “Type de discours et stratégies de lecture sur écran d'ordinateur, livre électronique et support papier. Situation de lecture en Français langue étrangère : le cas des italophones apprenant le français : Types of discourse and reading strategies on computer screens, eBooks and paper. Reading french : the study of a group of italian speakers learning French.” 2011. Web. 28 Oct 2020.

Vancouver:

Dei S. Type de discours et stratégies de lecture sur écran d'ordinateur, livre électronique et support papier. Situation de lecture en Français langue étrangère : le cas des italophones apprenant le français : Types of discourse and reading strategies on computer screens, eBooks and paper. Reading french : the study of a group of italian speakers learning French. [Internet] [Doctoral dissertation]. Besançon; 2011. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2011BESA1014.

Council of Science Editors:

Dei S. Type de discours et stratégies de lecture sur écran d'ordinateur, livre électronique et support papier. Situation de lecture en Français langue étrangère : le cas des italophones apprenant le français : Types of discourse and reading strategies on computer screens, eBooks and paper. Reading french : the study of a group of italian speakers learning French. [Doctoral Dissertation]. Besançon; 2011. Available from: http://www.theses.fr/2011BESA1014


Université de Sherbrooke

9. Iorga, Cristian. Développement de méthodologies de conception et validation pour le développement de produits et composants structuraux.

Degree: 2017, Université de Sherbrooke

 Le présent projet de recherche est dédié à la formalisation et à l'intégration des méthodologies de conception et validation à la phase de conception détaillée,… (more)

Subjects/Keywords: Conception détaillée; Validation; Optimisation; Critères de conception; Types de produit

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Iorga, C. (2017). Développement de méthodologies de conception et validation pour le développement de produits et composants structuraux. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/11427

Chicago Manual of Style (16th Edition):

Iorga, Cristian. “Développement de méthodologies de conception et validation pour le développement de produits et composants structuraux.” 2017. Doctoral Dissertation, Université de Sherbrooke. Accessed October 28, 2020. http://hdl.handle.net/11143/11427.

MLA Handbook (7th Edition):

Iorga, Cristian. “Développement de méthodologies de conception et validation pour le développement de produits et composants structuraux.” 2017. Web. 28 Oct 2020.

Vancouver:

Iorga C. Développement de méthodologies de conception et validation pour le développement de produits et composants structuraux. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2017. [cited 2020 Oct 28]. Available from: http://hdl.handle.net/11143/11427.

Council of Science Editors:

Iorga C. Développement de méthodologies de conception et validation pour le développement de produits et composants structuraux. [Doctoral Dissertation]. Université de Sherbrooke; 2017. Available from: http://hdl.handle.net/11143/11427

10. Gueugneau, Marine. Altérations du muscle squelettique humain lors du vieillissement associé ou non au syndrome métabolique et identification de nouveaux marqueurs : Downlink controls of pain and painful symptoms.

Degree: Docteur es, Nutrition (Biologie moléculaire et protéomique), 2014, Clermont-Ferrand 1

Le vieillissement musculaire (sarcopénie) conduit inéluctablement à une perte d'autonomie, et à une moindre capacité à lutter contre les agressions métaboliques. Or, les mécanismes mis… (more)

Subjects/Keywords: Vieillissement; Muscle squelettique humain; Types de fibres musculaires; Syndrome métabolique; Biomarqueurs; Aging; Human skeletal muscle; Fiber types; Metabolic syndrome; Biomarkers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gueugneau, M. (2014). Altérations du muscle squelettique humain lors du vieillissement associé ou non au syndrome métabolique et identification de nouveaux marqueurs : Downlink controls of pain and painful symptoms. (Doctoral Dissertation). Clermont-Ferrand 1. Retrieved from http://www.theses.fr/2014CLF1MM06

Chicago Manual of Style (16th Edition):

Gueugneau, Marine. “Altérations du muscle squelettique humain lors du vieillissement associé ou non au syndrome métabolique et identification de nouveaux marqueurs : Downlink controls of pain and painful symptoms.” 2014. Doctoral Dissertation, Clermont-Ferrand 1. Accessed October 28, 2020. http://www.theses.fr/2014CLF1MM06.

MLA Handbook (7th Edition):

Gueugneau, Marine. “Altérations du muscle squelettique humain lors du vieillissement associé ou non au syndrome métabolique et identification de nouveaux marqueurs : Downlink controls of pain and painful symptoms.” 2014. Web. 28 Oct 2020.

Vancouver:

Gueugneau M. Altérations du muscle squelettique humain lors du vieillissement associé ou non au syndrome métabolique et identification de nouveaux marqueurs : Downlink controls of pain and painful symptoms. [Internet] [Doctoral dissertation]. Clermont-Ferrand 1; 2014. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2014CLF1MM06.

Council of Science Editors:

Gueugneau M. Altérations du muscle squelettique humain lors du vieillissement associé ou non au syndrome métabolique et identification de nouveaux marqueurs : Downlink controls of pain and painful symptoms. [Doctoral Dissertation]. Clermont-Ferrand 1; 2014. Available from: http://www.theses.fr/2014CLF1MM06


Université de Grenoble

11. Barcenas Patino, Ismael. Raisonnement automatisé sur les arbres avec des contraintes de cardinalité : Automated reasoning on trees with cardinality constraints.

Degree: Docteur es, Informatique, 2011, Université de Grenoble

Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans… (more)

Subjects/Keywords: Logiques modales; Contraintes de comptage; Analyse statique; Xml; XPath; XML types; Modal logics; Counting constraints; Static Analysis; Xml; XPath; XML types

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Barcenas Patino, I. (2011). Raisonnement automatisé sur les arbres avec des contraintes de cardinalité : Automated reasoning on trees with cardinality constraints. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2011GRENM004

Chicago Manual of Style (16th Edition):

Barcenas Patino, Ismael. “Raisonnement automatisé sur les arbres avec des contraintes de cardinalité : Automated reasoning on trees with cardinality constraints.” 2011. Doctoral Dissertation, Université de Grenoble. Accessed October 28, 2020. http://www.theses.fr/2011GRENM004.

MLA Handbook (7th Edition):

Barcenas Patino, Ismael. “Raisonnement automatisé sur les arbres avec des contraintes de cardinalité : Automated reasoning on trees with cardinality constraints.” 2011. Web. 28 Oct 2020.

Vancouver:

Barcenas Patino I. Raisonnement automatisé sur les arbres avec des contraintes de cardinalité : Automated reasoning on trees with cardinality constraints. [Internet] [Doctoral dissertation]. Université de Grenoble; 2011. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2011GRENM004.

Council of Science Editors:

Barcenas Patino I. Raisonnement automatisé sur les arbres avec des contraintes de cardinalité : Automated reasoning on trees with cardinality constraints. [Doctoral Dissertation]. Université de Grenoble; 2011. Available from: http://www.theses.fr/2011GRENM004

12. De Benedetti, Erika. Linear logic, type assignment systems and implicit computational complexity : Logique linéaire, systèmes de types et complexité implicite.

Degree: Docteur es, Informatique, 2015, Lyon, École normale supérieure; Università degli studi (Turin, Italie)

La complexité implicite (ICC) vise à donner des caractérisations de classes de complexité dans des langages de programmation ou des logiques, sans faire référence à… (more)

Subjects/Keywords: Logique linéaire; Systèmes de types; Lambda-calcul; Types intersection; Complexité implicite; Linear logic; Type assignment systems; Lambda-calculus; Intersection types; Implicit computational complexity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

De Benedetti, E. (2015). Linear logic, type assignment systems and implicit computational complexity : Logique linéaire, systèmes de types et complexité implicite. (Doctoral Dissertation). Lyon, École normale supérieure; Università degli studi (Turin, Italie). Retrieved from http://www.theses.fr/2015ENSL0981

Chicago Manual of Style (16th Edition):

De Benedetti, Erika. “Linear logic, type assignment systems and implicit computational complexity : Logique linéaire, systèmes de types et complexité implicite.” 2015. Doctoral Dissertation, Lyon, École normale supérieure; Università degli studi (Turin, Italie). Accessed October 28, 2020. http://www.theses.fr/2015ENSL0981.

MLA Handbook (7th Edition):

De Benedetti, Erika. “Linear logic, type assignment systems and implicit computational complexity : Logique linéaire, systèmes de types et complexité implicite.” 2015. Web. 28 Oct 2020.

Vancouver:

De Benedetti E. Linear logic, type assignment systems and implicit computational complexity : Logique linéaire, systèmes de types et complexité implicite. [Internet] [Doctoral dissertation]. Lyon, École normale supérieure; Università degli studi (Turin, Italie); 2015. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2015ENSL0981.

Council of Science Editors:

De Benedetti E. Linear logic, type assignment systems and implicit computational complexity : Logique linéaire, systèmes de types et complexité implicite. [Doctoral Dissertation]. Lyon, École normale supérieure; Università degli studi (Turin, Italie); 2015. Available from: http://www.theses.fr/2015ENSL0981

13. Enea, Constantin. Abstraction techniques for verification of concurrent systems : Techniques d'abstraction dans la verification des systèmes concurrents.

Degree: Docteur es, Informatique, 2008, Université Paris-Est

 Comme les syst`emes mat´eriels et logiciels grandissent de fa¸con continue en ´echelle et fonctionnalit´es, la probabilit´e d’erreurs subtiles de- vient toujours plus grande. Les techniques… (more)

Subjects/Keywords: Systèmes concurrents; Vérification; Technique d'abstraction; Logiques multi-valuées; Types de données

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Enea, C. (2008). Abstraction techniques for verification of concurrent systems : Techniques d'abstraction dans la verification des systèmes concurrents. (Doctoral Dissertation). Université Paris-Est. Retrieved from http://www.theses.fr/2008PEST0001

Chicago Manual of Style (16th Edition):

Enea, Constantin. “Abstraction techniques for verification of concurrent systems : Techniques d'abstraction dans la verification des systèmes concurrents.” 2008. Doctoral Dissertation, Université Paris-Est. Accessed October 28, 2020. http://www.theses.fr/2008PEST0001.

MLA Handbook (7th Edition):

Enea, Constantin. “Abstraction techniques for verification of concurrent systems : Techniques d'abstraction dans la verification des systèmes concurrents.” 2008. Web. 28 Oct 2020.

Vancouver:

Enea C. Abstraction techniques for verification of concurrent systems : Techniques d'abstraction dans la verification des systèmes concurrents. [Internet] [Doctoral dissertation]. Université Paris-Est; 2008. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2008PEST0001.

Council of Science Editors:

Enea C. Abstraction techniques for verification of concurrent systems : Techniques d'abstraction dans la verification des systèmes concurrents. [Doctoral Dissertation]. Université Paris-Est; 2008. Available from: http://www.theses.fr/2008PEST0001

14. Fernandes, Maria Alzira Pereira. Representações matemáticas como meio facilitador da comunicação matemática na resolução de problemas : um estudo com alunos do 2º ano de escolaridade.

Degree: 2014, RCAAP

Relatório Final de Prática de Ensino Supervisionada do Mestrado em Educação Pré-escolar e Ensino do 1.º Ciclo do Ensino Básico apresentado na Escola Superior de(more)

Subjects/Keywords: Resolução de problemas; Tipos de representações; Comunicação matemática; Problem solving; Types of representations; Mathematic communication

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fernandes, M. A. P. (2014). Representações matemáticas como meio facilitador da comunicação matemática na resolução de problemas : um estudo com alunos do 2º ano de escolaridade. (Thesis). RCAAP. Retrieved from https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipvc.pt:20.500.11960/1699

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Fernandes, Maria Alzira Pereira. “Representações matemáticas como meio facilitador da comunicação matemática na resolução de problemas : um estudo com alunos do 2º ano de escolaridade.” 2014. Thesis, RCAAP. Accessed October 28, 2020. https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipvc.pt:20.500.11960/1699.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Fernandes, Maria Alzira Pereira. “Representações matemáticas como meio facilitador da comunicação matemática na resolução de problemas : um estudo com alunos do 2º ano de escolaridade.” 2014. Web. 28 Oct 2020.

Vancouver:

Fernandes MAP. Representações matemáticas como meio facilitador da comunicação matemática na resolução de problemas : um estudo com alunos do 2º ano de escolaridade. [Internet] [Thesis]. RCAAP; 2014. [cited 2020 Oct 28]. Available from: https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipvc.pt:20.500.11960/1699.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Fernandes MAP. Representações matemáticas como meio facilitador da comunicação matemática na resolução de problemas : um estudo com alunos do 2º ano de escolaridade. [Thesis]. RCAAP; 2014. Available from: https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipvc.pt:20.500.11960/1699

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

15. Faivre, Nicolas. Quelle pyrodiversité pour quelle biodiversité ? Une étude comparative multi-échelle de deux écosystèmes méditerranéens : Which pyrodiversity for what biodiversity? A multi-scale comparative study of two Mediterranean ecosystems.

Degree: Docteur es, Biosciences de l'environnement, 2011, Aix-Marseille 3

 Contexte & Objectifs. Le feu est une perturbation récurrente dans les écosystèmes méditerranéens et est souvent considéré comme une composante intrinsèque pour le fonctionnement de(more)

Subjects/Keywords: Régime de feux; Mosaïque de feux; Pyrodiversité; Diversité végétale; Types fonctionnels; Formes de vie; Ecologie du paysage; Fire regime; Fire mosaic; Pyrodiversity; Plant diversity; Functional types; Life forms; Landscape ecology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Faivre, N. (2011). Quelle pyrodiversité pour quelle biodiversité ? Une étude comparative multi-échelle de deux écosystèmes méditerranéens : Which pyrodiversity for what biodiversity? A multi-scale comparative study of two Mediterranean ecosystems. (Doctoral Dissertation). Aix-Marseille 3. Retrieved from http://www.theses.fr/2011AIX30013

Chicago Manual of Style (16th Edition):

Faivre, Nicolas. “Quelle pyrodiversité pour quelle biodiversité ? Une étude comparative multi-échelle de deux écosystèmes méditerranéens : Which pyrodiversity for what biodiversity? A multi-scale comparative study of two Mediterranean ecosystems.” 2011. Doctoral Dissertation, Aix-Marseille 3. Accessed October 28, 2020. http://www.theses.fr/2011AIX30013.

MLA Handbook (7th Edition):

Faivre, Nicolas. “Quelle pyrodiversité pour quelle biodiversité ? Une étude comparative multi-échelle de deux écosystèmes méditerranéens : Which pyrodiversity for what biodiversity? A multi-scale comparative study of two Mediterranean ecosystems.” 2011. Web. 28 Oct 2020.

Vancouver:

Faivre N. Quelle pyrodiversité pour quelle biodiversité ? Une étude comparative multi-échelle de deux écosystèmes méditerranéens : Which pyrodiversity for what biodiversity? A multi-scale comparative study of two Mediterranean ecosystems. [Internet] [Doctoral dissertation]. Aix-Marseille 3; 2011. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2011AIX30013.

Council of Science Editors:

Faivre N. Quelle pyrodiversité pour quelle biodiversité ? Une étude comparative multi-échelle de deux écosystèmes méditerranéens : Which pyrodiversity for what biodiversity? A multi-scale comparative study of two Mediterranean ecosystems. [Doctoral Dissertation]. Aix-Marseille 3; 2011. Available from: http://www.theses.fr/2011AIX30013

16. Quinás Serra, Sónia Raquel. From taxonomy to multiple-trait bioassessment : the role of Chironomidae in separating naturally poor from disturbed communities : D'une approche taxonomique à une approcha par les traits biologiques en bioévaluation : rôle des Chironomidae pour discriminer les communautés perturbées de celles naturellement pauvres.

Degree: Docteur es, Écologie, 2017, Lyon; Universidade de Coimbra

 La famille des Chironomidae (Dipteres) présente une large distribution mondiale dans une large gamme d'habitats. Ses représentants ont colonisé presque tous les habitats d'eau douce… (more)

Subjects/Keywords: Diptères; Bioindication; Codage flou; Traits; Stratégies d'histoire de vie; Types de ruisseaux; Perturbation; Holarctique; Diptera; Bioassessment; Fuzzy coding; Traits; Life-history strategies; River types; Disturbance; Holarctic; 577

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Quinás Serra, S. R. (2017). From taxonomy to multiple-trait bioassessment : the role of Chironomidae in separating naturally poor from disturbed communities : D'une approche taxonomique à une approcha par les traits biologiques en bioévaluation : rôle des Chironomidae pour discriminer les communautés perturbées de celles naturellement pauvres. (Doctoral Dissertation). Lyon; Universidade de Coimbra. Retrieved from http://www.theses.fr/2017LYSE1138

Chicago Manual of Style (16th Edition):

Quinás Serra, Sónia Raquel. “From taxonomy to multiple-trait bioassessment : the role of Chironomidae in separating naturally poor from disturbed communities : D'une approche taxonomique à une approcha par les traits biologiques en bioévaluation : rôle des Chironomidae pour discriminer les communautés perturbées de celles naturellement pauvres.” 2017. Doctoral Dissertation, Lyon; Universidade de Coimbra. Accessed October 28, 2020. http://www.theses.fr/2017LYSE1138.

MLA Handbook (7th Edition):

Quinás Serra, Sónia Raquel. “From taxonomy to multiple-trait bioassessment : the role of Chironomidae in separating naturally poor from disturbed communities : D'une approche taxonomique à une approcha par les traits biologiques en bioévaluation : rôle des Chironomidae pour discriminer les communautés perturbées de celles naturellement pauvres.” 2017. Web. 28 Oct 2020.

Vancouver:

Quinás Serra SR. From taxonomy to multiple-trait bioassessment : the role of Chironomidae in separating naturally poor from disturbed communities : D'une approche taxonomique à une approcha par les traits biologiques en bioévaluation : rôle des Chironomidae pour discriminer les communautés perturbées de celles naturellement pauvres. [Internet] [Doctoral dissertation]. Lyon; Universidade de Coimbra; 2017. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2017LYSE1138.

Council of Science Editors:

Quinás Serra SR. From taxonomy to multiple-trait bioassessment : the role of Chironomidae in separating naturally poor from disturbed communities : D'une approche taxonomique à une approcha par les traits biologiques en bioévaluation : rôle des Chironomidae pour discriminer les communautés perturbées de celles naturellement pauvres. [Doctoral Dissertation]. Lyon; Universidade de Coimbra; 2017. Available from: http://www.theses.fr/2017LYSE1138

17. Petrucciani, Tommaso. Polymorphic set-theoretic types for functional languages : Types ensemblistes polymorphes pour les langages fonctionnels.

Degree: Docteur es, Informatique. Informatique fondamentale, 2019, Sorbonne Paris Cité; Università degli studi (Gênes, Italie)

 Cette thèse porte sur l'étude des types ensemblistes : des types qui contiennent des connecteurs d'union, d'intersection et de négation. Les types ensemblistes permettent de(more)

Subjects/Keywords: Systèmes de types; Sous-typage; Inférence de types; Typage graduel; Sémantiques non-strictes; Type systems; Subtyping; Type inference; Gradual typing; Non-strict semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Petrucciani, T. (2019). Polymorphic set-theoretic types for functional languages : Types ensemblistes polymorphes pour les langages fonctionnels. (Doctoral Dissertation). Sorbonne Paris Cité; Università degli studi (Gênes, Italie). Retrieved from http://www.theses.fr/2019USPCC067

Chicago Manual of Style (16th Edition):

Petrucciani, Tommaso. “Polymorphic set-theoretic types for functional languages : Types ensemblistes polymorphes pour les langages fonctionnels.” 2019. Doctoral Dissertation, Sorbonne Paris Cité; Università degli studi (Gênes, Italie). Accessed October 28, 2020. http://www.theses.fr/2019USPCC067.

MLA Handbook (7th Edition):

Petrucciani, Tommaso. “Polymorphic set-theoretic types for functional languages : Types ensemblistes polymorphes pour les langages fonctionnels.” 2019. Web. 28 Oct 2020.

Vancouver:

Petrucciani T. Polymorphic set-theoretic types for functional languages : Types ensemblistes polymorphes pour les langages fonctionnels. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; Università degli studi (Gênes, Italie); 2019. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2019USPCC067.

Council of Science Editors:

Petrucciani T. Polymorphic set-theoretic types for functional languages : Types ensemblistes polymorphes pour les langages fonctionnels. [Doctoral Dissertation]. Sorbonne Paris Cité; Università degli studi (Gênes, Italie); 2019. Available from: http://www.theses.fr/2019USPCC067

18. Estêvão , Sara Alexandra J. P. Violências prisionais : Estudo exploratório de um caso português.

Degree: 2009, ISPA

Dissertação de Mestrado apresentada ao Instituto Superior de Psicologia Aplicada

A prisão apresenta um ambiente marcado pela rigidez organizacional, a sua dinâmica e influência e… (more)

Subjects/Keywords: Prisão; Violência prisional; Tipos de violência; Violence; Prison violence; Types of violence

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Estêvão , S. A. J. P. (2009). Violências prisionais : Estudo exploratório de um caso português. (Thesis). ISPA. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ispa.pt:10400.12/3768

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Estêvão , Sara Alexandra J P. “Violências prisionais : Estudo exploratório de um caso português.” 2009. Thesis, ISPA. Accessed October 28, 2020. http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ispa.pt:10400.12/3768.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Estêvão , Sara Alexandra J P. “Violências prisionais : Estudo exploratório de um caso português.” 2009. Web. 28 Oct 2020.

Vancouver:

Estêvão SAJP. Violências prisionais : Estudo exploratório de um caso português. [Internet] [Thesis]. ISPA; 2009. [cited 2020 Oct 28]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ispa.pt:10400.12/3768.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Estêvão SAJP. Violências prisionais : Estudo exploratório de um caso português. [Thesis]. ISPA; 2009. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ispa.pt:10400.12/3768

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

19. Deschamps, Silvia Regina. Treinamento psicológico e sua influência nos estados de humor e desempenho técnico de atletas de basquetebol.

Degree: PhD, Biodinâmica do Movimento Humano, 2008, University of São Paulo

Este estudo teve como objetivos identificar os tipos psicológicos mais recorrentes no grupo de atletas analisados e verificar a influência do treinamento psicológico nos estados… (more)

Subjects/Keywords: Basketball; Basquetebol; Estados de humor; Mood states; Psychological training; Psychological types; Tipos psicológicos; Treinamento psicológico

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Deschamps, S. R. (2008). Treinamento psicológico e sua influência nos estados de humor e desempenho técnico de atletas de basquetebol. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/39/39132/tde-16042010-111517/ ;

Chicago Manual of Style (16th Edition):

Deschamps, Silvia Regina. “Treinamento psicológico e sua influência nos estados de humor e desempenho técnico de atletas de basquetebol.” 2008. Doctoral Dissertation, University of São Paulo. Accessed October 28, 2020. http://www.teses.usp.br/teses/disponiveis/39/39132/tde-16042010-111517/ ;.

MLA Handbook (7th Edition):

Deschamps, Silvia Regina. “Treinamento psicológico e sua influência nos estados de humor e desempenho técnico de atletas de basquetebol.” 2008. Web. 28 Oct 2020.

Vancouver:

Deschamps SR. Treinamento psicológico e sua influência nos estados de humor e desempenho técnico de atletas de basquetebol. [Internet] [Doctoral dissertation]. University of São Paulo; 2008. [cited 2020 Oct 28]. Available from: http://www.teses.usp.br/teses/disponiveis/39/39132/tde-16042010-111517/ ;.

Council of Science Editors:

Deschamps SR. Treinamento psicológico e sua influência nos estados de humor e desempenho técnico de atletas de basquetebol. [Doctoral Dissertation]. University of São Paulo; 2008. Available from: http://www.teses.usp.br/teses/disponiveis/39/39132/tde-16042010-111517/ ;


Universidade Federal de Santa Maria

20. Liana Pereira de Pereira. PERFIL SÓCIO-PRODUTIVO DE PECUARISTAS NA ÁREA DE PROTEÇÃO AMBIENTAL DO RIO IBIRAPUITÃ (APA DO IBIRAPUITÃ) E AVALIAÇÃO DA DIVERSIDADE FUNCIONAL DE PASTAGENS NATURAIS DA REGIÃO CENTRO-OESTE DO RIO GRANDE DO SUL.

Degree: 2010, Universidade Federal de Santa Maria

A dissertação foi desenvolvida objetivando reconhecer os perfis dos pecuaristas que vivem na Área de Proteção Ambiental do Rio Ibirapuitã e identificar caracteríticas que podem… (more)

Subjects/Keywords: tipos funcionais; manejo sustentável; grupos de pecuaristas; ZOOTECNIA; functional types; farmers groups; sustainable management

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pereira, L. P. d. (2010). PERFIL SÓCIO-PRODUTIVO DE PECUARISTAS NA ÁREA DE PROTEÇÃO AMBIENTAL DO RIO IBIRAPUITÃ (APA DO IBIRAPUITÃ) E AVALIAÇÃO DA DIVERSIDADE FUNCIONAL DE PASTAGENS NATURAIS DA REGIÃO CENTRO-OESTE DO RIO GRANDE DO SUL. (Thesis). Universidade Federal de Santa Maria. Retrieved from http://coralx.ufsm.br/tede/tde_busca/arquivo.php?codArquivo=3366

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Pereira, Liana Pereira de. “PERFIL SÓCIO-PRODUTIVO DE PECUARISTAS NA ÁREA DE PROTEÇÃO AMBIENTAL DO RIO IBIRAPUITÃ (APA DO IBIRAPUITÃ) E AVALIAÇÃO DA DIVERSIDADE FUNCIONAL DE PASTAGENS NATURAIS DA REGIÃO CENTRO-OESTE DO RIO GRANDE DO SUL.” 2010. Thesis, Universidade Federal de Santa Maria. Accessed October 28, 2020. http://coralx.ufsm.br/tede/tde_busca/arquivo.php?codArquivo=3366.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Pereira, Liana Pereira de. “PERFIL SÓCIO-PRODUTIVO DE PECUARISTAS NA ÁREA DE PROTEÇÃO AMBIENTAL DO RIO IBIRAPUITÃ (APA DO IBIRAPUITÃ) E AVALIAÇÃO DA DIVERSIDADE FUNCIONAL DE PASTAGENS NATURAIS DA REGIÃO CENTRO-OESTE DO RIO GRANDE DO SUL.” 2010. Web. 28 Oct 2020.

Vancouver:

Pereira LPd. PERFIL SÓCIO-PRODUTIVO DE PECUARISTAS NA ÁREA DE PROTEÇÃO AMBIENTAL DO RIO IBIRAPUITÃ (APA DO IBIRAPUITÃ) E AVALIAÇÃO DA DIVERSIDADE FUNCIONAL DE PASTAGENS NATURAIS DA REGIÃO CENTRO-OESTE DO RIO GRANDE DO SUL. [Internet] [Thesis]. Universidade Federal de Santa Maria; 2010. [cited 2020 Oct 28]. Available from: http://coralx.ufsm.br/tede/tde_busca/arquivo.php?codArquivo=3366.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Pereira LPd. PERFIL SÓCIO-PRODUTIVO DE PECUARISTAS NA ÁREA DE PROTEÇÃO AMBIENTAL DO RIO IBIRAPUITÃ (APA DO IBIRAPUITÃ) E AVALIAÇÃO DA DIVERSIDADE FUNCIONAL DE PASTAGENS NATURAIS DA REGIÃO CENTRO-OESTE DO RIO GRANDE DO SUL. [Thesis]. Universidade Federal de Santa Maria; 2010. Available from: http://coralx.ufsm.br/tede/tde_busca/arquivo.php?codArquivo=3366

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Presbiteriana Mackenzie

21. Flavia Pires Barbosa Lima. O indivíduo e a organização: a relação entre valores, personalidade e tipos de cultura organizacional.

Degree: 2010, Universidade Presbiteriana Mackenzie

Organizational culture, as indicated by specialized literature, influences the formulation of strategies, organizational change processes, workers commitment and well-being, main factors for the attainment of… (more)

Subjects/Keywords: ADMINISTRACAO; tipos de cultura organizacional; valores; personalidade; types of organizational culture; values; personality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lima, F. P. B. (2010). O indivíduo e a organização: a relação entre valores, personalidade e tipos de cultura organizacional. (Thesis). Universidade Presbiteriana Mackenzie. Retrieved from http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1839 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1840

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lima, Flavia Pires Barbosa. “O indivíduo e a organização: a relação entre valores, personalidade e tipos de cultura organizacional.” 2010. Thesis, Universidade Presbiteriana Mackenzie. Accessed October 28, 2020. http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1839 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1840.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lima, Flavia Pires Barbosa. “O indivíduo e a organização: a relação entre valores, personalidade e tipos de cultura organizacional.” 2010. Web. 28 Oct 2020.

Vancouver:

Lima FPB. O indivíduo e a organização: a relação entre valores, personalidade e tipos de cultura organizacional. [Internet] [Thesis]. Universidade Presbiteriana Mackenzie; 2010. [cited 2020 Oct 28]. Available from: http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1839 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1840.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lima FPB. O indivíduo e a organização: a relação entre valores, personalidade e tipos de cultura organizacional. [Thesis]. Universidade Presbiteriana Mackenzie; 2010. Available from: http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1839 ; http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1840

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

22. LIRA, Dowglas Amorim de. Analise da argumentação de estudantes universitários em ensaios acadêmicos .

Degree: 2015, Universidade Federal de Pernambuco

 O presente trabalho tem como objetivo avaliar o desenvolvimento de competências argumentativas em ensaios acadêmicos de estudantes universitários que participaram de uma disciplina que teve/tem… (more)

Subjects/Keywords: Ensaio; Competência argumentativa; Tipos de argumentos; Cogência; Essay; Argumentative competency; Types of arguments; Cogency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

LIRA, D. A. d. (2015). Analise da argumentação de estudantes universitários em ensaios acadêmicos . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/17682

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

LIRA, Dowglas Amorim de. “Analise da argumentação de estudantes universitários em ensaios acadêmicos .” 2015. Thesis, Universidade Federal de Pernambuco. Accessed October 28, 2020. http://repositorio.ufpe.br/handle/123456789/17682.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

LIRA, Dowglas Amorim de. “Analise da argumentação de estudantes universitários em ensaios acadêmicos .” 2015. Web. 28 Oct 2020.

Vancouver:

LIRA DAd. Analise da argumentação de estudantes universitários em ensaios acadêmicos . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2015. [cited 2020 Oct 28]. Available from: http://repositorio.ufpe.br/handle/123456789/17682.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

LIRA DAd. Analise da argumentação de estudantes universitários em ensaios acadêmicos . [Thesis]. Universidade Federal de Pernambuco; 2015. Available from: http://repositorio.ufpe.br/handle/123456789/17682

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade de Lisboa

23. Campos, Joana Correia. Linear and shared objects in concurrent programming.

Degree: 2010, Universidade de Lisboa

Tese de mestrado, Engenharia Informática (Engenharia de Software), Universidade de Lisboa, Faculdade de Ciências, 2010

Although mainstream object-oriented languages, like Java, are currently able to… (more)

Subjects/Keywords: Object-oriented programming; Concurrency; Type systems; Linear objects; Session types; Teses de mestrado - 2010

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Campos, J. C. (2010). Linear and shared objects in concurrent programming. (Thesis). Universidade de Lisboa. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ul.pt:10451/5900

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Campos, Joana Correia. “Linear and shared objects in concurrent programming.” 2010. Thesis, Universidade de Lisboa. Accessed October 28, 2020. http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ul.pt:10451/5900.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Campos, Joana Correia. “Linear and shared objects in concurrent programming.” 2010. Web. 28 Oct 2020.

Vancouver:

Campos JC. Linear and shared objects in concurrent programming. [Internet] [Thesis]. Universidade de Lisboa; 2010. [cited 2020 Oct 28]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ul.pt:10451/5900.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Campos JC. Linear and shared objects in concurrent programming. [Thesis]. Universidade de Lisboa; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ul.pt:10451/5900

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

24. Machado, Liliana Joaquina Mesquita. 30 anos de reportagem na imprensa escrita do Porto.

Degree: 2010, Universidade Fernando Pessoa

Dissertação de Mestrado apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências da Comunicação, especialização em Jornalismo.… (more)

Subjects/Keywords: Reportagem; Imprensa Escrita; Tipos de Reportagens; Webreportagem; Reporting; Press; Types of Reports; Web report

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Machado, L. J. M. (2010). 30 anos de reportagem na imprensa escrita do Porto. (Thesis). Universidade Fernando Pessoa. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:bdigital.ufp.pt:10284/1565

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Machado, Liliana Joaquina Mesquita. “30 anos de reportagem na imprensa escrita do Porto.” 2010. Thesis, Universidade Fernando Pessoa. Accessed October 28, 2020. http://www.rcaap.pt/detail.jsp?id=oai:bdigital.ufp.pt:10284/1565.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Machado, Liliana Joaquina Mesquita. “30 anos de reportagem na imprensa escrita do Porto.” 2010. Web. 28 Oct 2020.

Vancouver:

Machado LJM. 30 anos de reportagem na imprensa escrita do Porto. [Internet] [Thesis]. Universidade Fernando Pessoa; 2010. [cited 2020 Oct 28]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:bdigital.ufp.pt:10284/1565.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Machado LJM. 30 anos de reportagem na imprensa escrita do Porto. [Thesis]. Universidade Fernando Pessoa; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:bdigital.ufp.pt:10284/1565

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

25. Husianycia, Magali. Caractérisation de types de discours dans des situations de travail : Characterisation of discourse types in works situations.

Degree: Docteur es, Sciences du langage, 2011, Université Nancy II

L'objectif de cette étude consiste en la caractérisation de types de discours dans des situations de travail. Nous avons tenté de définir des types de(more)

Subjects/Keywords: Types de discours; Situation de travail; Types linguistiques; Types de séquences

…305 4.2.4. Le « langage expositif » : synthèse des types de séquence et de leurs… …326 4.3.3. Le type linguistique « langage de co-action » : synthèse des types de séquence et… …440 4.4.3. Le type linguistique « langage péri-professionnel » : synthèse sur les types de… …441 CHAPITRE 5 : La détermination des types de discours dans des situations de travail … …partir de la dominance des types de séquence et des types linguistiques… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Husianycia, M. (2011). Caractérisation de types de discours dans des situations de travail : Characterisation of discourse types in works situations. (Doctoral Dissertation). Université Nancy II. Retrieved from http://www.theses.fr/2011NAN21021

Chicago Manual of Style (16th Edition):

Husianycia, Magali. “Caractérisation de types de discours dans des situations de travail : Characterisation of discourse types in works situations.” 2011. Doctoral Dissertation, Université Nancy II. Accessed October 28, 2020. http://www.theses.fr/2011NAN21021.

MLA Handbook (7th Edition):

Husianycia, Magali. “Caractérisation de types de discours dans des situations de travail : Characterisation of discourse types in works situations.” 2011. Web. 28 Oct 2020.

Vancouver:

Husianycia M. Caractérisation de types de discours dans des situations de travail : Characterisation of discourse types in works situations. [Internet] [Doctoral dissertation]. Université Nancy II; 2011. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2011NAN21021.

Council of Science Editors:

Husianycia M. Caractérisation de types de discours dans des situations de travail : Characterisation of discourse types in works situations. [Doctoral Dissertation]. Université Nancy II; 2011. Available from: http://www.theses.fr/2011NAN21021


Université de Sherbrooke

26. Gervais, Catherine. Profils de facteurs de risque individuels et organisationnels de l'épuisement professionnel clinique.

Degree: 2019, Université de Sherbrooke

 L’épuisement professionnel est une affliction de notre société de plus en plus répandue. Les organisations tentent de mettre en place des plans adaptés de prévention… (more)

Subjects/Keywords: Épuisement professionnel; Facteurs de risque individuels; Facteurs de risque organisationnels; Profils de facteurs de risque; Types d'épuisement professionnel

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gervais, C. (2019). Profils de facteurs de risque individuels et organisationnels de l'épuisement professionnel clinique. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/16000

Chicago Manual of Style (16th Edition):

Gervais, Catherine. “Profils de facteurs de risque individuels et organisationnels de l'épuisement professionnel clinique.” 2019. Doctoral Dissertation, Université de Sherbrooke. Accessed October 28, 2020. http://hdl.handle.net/11143/16000.

MLA Handbook (7th Edition):

Gervais, Catherine. “Profils de facteurs de risque individuels et organisationnels de l'épuisement professionnel clinique.” 2019. Web. 28 Oct 2020.

Vancouver:

Gervais C. Profils de facteurs de risque individuels et organisationnels de l'épuisement professionnel clinique. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2019. [cited 2020 Oct 28]. Available from: http://hdl.handle.net/11143/16000.

Council of Science Editors:

Gervais C. Profils de facteurs de risque individuels et organisationnels de l'épuisement professionnel clinique. [Doctoral Dissertation]. Université de Sherbrooke; 2019. Available from: http://hdl.handle.net/11143/16000

27. Minarova, Jana. Extreme precipitation in low mountain ranges in Central Europe : a comparative study between the Vosges and the Ore Mountains : Fortes précipitations en moyenne montagne en Europe centrale : étude de comparaison des Vosges et Monts Métallifères.

Degree: Docteur es, Géographie, 2017, Strasbourg; Univerzita Karlova (Prague)

L’objectif principal de cette thèse est de s’intéresser aux fortes pluies dans les Monts Métallifères (OM) et les Vosges (VG) en Europe centrale. La méthode… (more)

Subjects/Keywords: Fortes précipitations; Weather Extremity Index; Types de temps synoptiques; Continentalité; Vosges; Monts Métallifères; Heavy rainfall; Weather Extremity Index; Weather types; Continentality; Vosges Mountains; Ore Mountains; 551.694 3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Minarova, J. (2017). Extreme precipitation in low mountain ranges in Central Europe : a comparative study between the Vosges and the Ore Mountains : Fortes précipitations en moyenne montagne en Europe centrale : étude de comparaison des Vosges et Monts Métallifères. (Doctoral Dissertation). Strasbourg; Univerzita Karlova (Prague). Retrieved from http://www.theses.fr/2017STRAH007

Chicago Manual of Style (16th Edition):

Minarova, Jana. “Extreme precipitation in low mountain ranges in Central Europe : a comparative study between the Vosges and the Ore Mountains : Fortes précipitations en moyenne montagne en Europe centrale : étude de comparaison des Vosges et Monts Métallifères.” 2017. Doctoral Dissertation, Strasbourg; Univerzita Karlova (Prague). Accessed October 28, 2020. http://www.theses.fr/2017STRAH007.

MLA Handbook (7th Edition):

Minarova, Jana. “Extreme precipitation in low mountain ranges in Central Europe : a comparative study between the Vosges and the Ore Mountains : Fortes précipitations en moyenne montagne en Europe centrale : étude de comparaison des Vosges et Monts Métallifères.” 2017. Web. 28 Oct 2020.

Vancouver:

Minarova J. Extreme precipitation in low mountain ranges in Central Europe : a comparative study between the Vosges and the Ore Mountains : Fortes précipitations en moyenne montagne en Europe centrale : étude de comparaison des Vosges et Monts Métallifères. [Internet] [Doctoral dissertation]. Strasbourg; Univerzita Karlova (Prague); 2017. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2017STRAH007.

Council of Science Editors:

Minarova J. Extreme precipitation in low mountain ranges in Central Europe : a comparative study between the Vosges and the Ore Mountains : Fortes précipitations en moyenne montagne en Europe centrale : étude de comparaison des Vosges et Monts Métallifères. [Doctoral Dissertation]. Strasbourg; Univerzita Karlova (Prague); 2017. Available from: http://www.theses.fr/2017STRAH007

28. Brunerie, Guillaume. Sur les groupes d’homotopie des sphères en théorie des types homotopiques : On the homotopy groups of spheres in homotopy type theory.

Degree: Docteur es, Mathématiques, 2016, Nice

L’objectif de cette thèse est de démontrer que π4(S3) ≃ Z/2Z en théorie des types homotopiques. En particulier, c’est une démonstration constructive et purement homotopique.… (more)

Subjects/Keywords: Théorie des types homotopiques; Théorie de l'homotopie; Topologie algébrique; Cohomologie; Théorie des types; Logique; Mathématiques constructives; Homotopy type theory; Homotopy theory; Algebraic topology; Cohomology; Type theory; Logic; Constructive mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Brunerie, G. (2016). Sur les groupes d’homotopie des sphères en théorie des types homotopiques : On the homotopy groups of spheres in homotopy type theory. (Doctoral Dissertation). Nice. Retrieved from http://www.theses.fr/2016NICE4029

Chicago Manual of Style (16th Edition):

Brunerie, Guillaume. “Sur les groupes d’homotopie des sphères en théorie des types homotopiques : On the homotopy groups of spheres in homotopy type theory.” 2016. Doctoral Dissertation, Nice. Accessed October 28, 2020. http://www.theses.fr/2016NICE4029.

MLA Handbook (7th Edition):

Brunerie, Guillaume. “Sur les groupes d’homotopie des sphères en théorie des types homotopiques : On the homotopy groups of spheres in homotopy type theory.” 2016. Web. 28 Oct 2020.

Vancouver:

Brunerie G. Sur les groupes d’homotopie des sphères en théorie des types homotopiques : On the homotopy groups of spheres in homotopy type theory. [Internet] [Doctoral dissertation]. Nice; 2016. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2016NICE4029.

Council of Science Editors:

Brunerie G. Sur les groupes d’homotopie des sphères en théorie des types homotopiques : On the homotopy groups of spheres in homotopy type theory. [Doctoral Dissertation]. Nice; 2016. Available from: http://www.theses.fr/2016NICE4029

29. Boulier, Simon Pierre. Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques.

Degree: Docteur es, Informatique, 2018, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Cette thèse s'intéresse à la métathéorie de la théorie des types intuitionniste. Les systèmes que nous considérons sont des variantes de la théorie des types(more)

Subjects/Keywords: Théorie des types; Modèles; Traduction de programme; Métaprogrammation; Théorie des types homotopique; Modèle cubique; Type theory; Models; Program translation; Metaprogramming; Homotopy type theory; Cubical model; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Boulier, S. P. (2018). Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques. (Doctoral Dissertation). Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire. Retrieved from http://www.theses.fr/2018IMTA0110

Chicago Manual of Style (16th Edition):

Boulier, Simon Pierre. “Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques.” 2018. Doctoral Dissertation, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire. Accessed October 28, 2020. http://www.theses.fr/2018IMTA0110.

MLA Handbook (7th Edition):

Boulier, Simon Pierre. “Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques.” 2018. Web. 28 Oct 2020.

Vancouver:

Boulier SP. Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques. [Internet] [Doctoral dissertation]. Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire; 2018. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2018IMTA0110.

Council of Science Editors:

Boulier SP. Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques. [Doctoral Dissertation]. Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire; 2018. Available from: http://www.theses.fr/2018IMTA0110


Université de Lorraine

30. Ahmed-Nacer, Mehdi. Méthodologie d'évaluation pour les types de données répliqués : Evaluation methodology for replicated data types.

Degree: Docteur es, Informatique, 2015, Université de Lorraine

Pour fournir une disponibilité permanente des données et réduire la latence réseau, les systèmes de partage de données se basent sur la réplication optimiste. Dans… (more)

Subjects/Keywords: Réplication optimiste; Types de données répliqués; Méthodologie d'évaluation; Systèmes collaboratifs; Informatique en nuage; Optimistic replication; Replicated data types; Evaluation methodology; Collaborative systems; Cloud computing; 006.7; 004.678

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ahmed-Nacer, M. (2015). Méthodologie d'évaluation pour les types de données répliqués : Evaluation methodology for replicated data types. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2015LORR0039

Chicago Manual of Style (16th Edition):

Ahmed-Nacer, Mehdi. “Méthodologie d'évaluation pour les types de données répliqués : Evaluation methodology for replicated data types.” 2015. Doctoral Dissertation, Université de Lorraine. Accessed October 28, 2020. http://www.theses.fr/2015LORR0039.

MLA Handbook (7th Edition):

Ahmed-Nacer, Mehdi. “Méthodologie d'évaluation pour les types de données répliqués : Evaluation methodology for replicated data types.” 2015. Web. 28 Oct 2020.

Vancouver:

Ahmed-Nacer M. Méthodologie d'évaluation pour les types de données répliqués : Evaluation methodology for replicated data types. [Internet] [Doctoral dissertation]. Université de Lorraine; 2015. [cited 2020 Oct 28]. Available from: http://www.theses.fr/2015LORR0039.

Council of Science Editors:

Ahmed-Nacer M. Méthodologie d'évaluation pour les types de données répliqués : Evaluation methodology for replicated data types. [Doctoral Dissertation]. Université de Lorraine; 2015. Available from: http://www.theses.fr/2015LORR0039

[1] [2] [3] [4] [5] … [11756]

.