نتایج جستجو برای: culture cible
تعداد نتایج: 277727 فیلتر نتایج به سال:
This paper describes the process of mechanically certifying a compiler with respect to the semantic speciication of the source and target languages. The proofs are performed in type theory using the Coq system. These proofs introduce speciic theoretical tools: fragmentation theorems and general induction principles. Un compilateur certiii pour un langage impratif RRsumm : Cet article ddcrit la ...
the present paper offers a postcolonial reading of two of the best novels by v. s. naipaul – half a life and the mimic men – in five chapters. the focus of this research is on different notions of postcolonial criticism and their application on the two novels as discussed from homi bhabha’s and frantz fanons points of view. having introduced the life and literary career of v. s. naipaul in th...
in this research the focus of the researcher is on the influence of american myths that have long been held and offered by the american culture and ideologies. sam shepard is conceived to be one of the greatest playwrights of the contemporary american theater. in his works he depicts broken characters who are struggling to keep up with the national expectations but are ceaselessly borne back to...
L’instrumentalisation des vestiges archeologiques comme levier politique ou cible de guerre fait regulierement l’actualite. Revenant sur les principes fondamentaux cette discipline, l’entreprise epistemologique d’Alain Schnapp fournit une matiere riche et originale pour repenser l’avenir l’archeologie sa place dans nos societes. Œuvre d’erudition, cet ouvrage brosse, a l’aide citations textes d...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید