نتایج جستجو برای: having been illustrated in a logical framework

تعداد نتایج: 20407812  

پایان نامه :وزارت علوم، تحقیقات و فناوری - پژوهشکده علوم زمین سازمان زمین شناسی و اکتشافات مع 1390

the neogene intrusion masses in the noudeh-enghelab area located to the north of sabzevar ophiolite have cut the late cretaceous ophiolitic rocks, sedimentary- volcanic and eocene volcanic rocks and have been covered by pliocene and quaternary deposits. the margin is of lava with basalt, phyric andesite-basalt and andesite and the central parts (dome shaped) composed of phyric andesite-trachyan...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده ادبیات و علوم انسانی دکتر علی شریعتی 1392

just as motivation is important in sla research, demotivation constitutes an important factor, too. there are many studies done on demotivation and burnout of teachers. many of these studies have been conducted on one or two aspects of english instruction. consequently, there are few studies which have been done on more than two aspects of english teaching. the aim of this study is to find out ...

Journal: :Canadian Respiratory Journal 2001

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت دبیر شهید رجایی - دانشکده علوم انسانی 1392

abstract due to the growing importance and influence of the self of the teacher in the field of educational and cognitive psychology, the current study intended to investigate the relationship between three teacher qualities and characteristics, i.e. teacher self efficacy, self regulation, and success as perceived by their learners. the study aimed at finding whether teacher self efficacy an...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه گیلان - دانشکده فنی و مهندسی 1390

magnetic resonance imaging (mri) is a notable medical imaging technique that makes of phenomenon of nuclear magnetic resonance. because of the resolution and the technology being harmless, mri has considered as the most desirable imaging technique in clinical applications. the visual quality of mri plays an important role in accuracy of medical delineations that can be seriously degraded by exi...

Journal: :Electronic Notes in Theoretical Computer Science 2008

Journal: :Proceedings of the ACM on programming languages 2022

We present calf , a c ost- ware l ogical f ramework for studying quantitative aspects of functional programs. Taking inspiration from recent work that reconstructs traditional programming languages in terms modal account phase distinctions we argue the cost structure programs motivates distinction between intension and extension . Armed with this technology, contribute synthetic as computationa...

پایان نامه :دانشگاه تربیت معلم - تهران - دانشکده ادبیات و علوم انسانی 1391

abstract global financial crisis has created too many problems in relations among governments. among these problems, the issue of global monetary management, more than every time in the past four decades, has been moved in the center of international economic attentions. a problem which is specially known with the monetary hostility between united states and public republic of china. where ar...

پایان نامه :0 1374

the following null hypothesis was proposed: h : there is no significant difference between the use of semantically or communicatively translates scientific texts. to test the null hypothesis, a number of procedures were taken first, two passages were selected form soyrcebooks of food and nutrition industry and gardening deciplines. each, in turn, was following by a number of comprehension quest...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم 1392

gol-e-gohar iron ore mine of sirjan in southern part of iran is a large open pit that operates below the groundwater table and during mining operation, dewatering is required to prevent operation processes from flooding. current operation is going on by digging wells in or out of the pit and pumping to prevent flooding. as a result of the former dewatering operation a vast deep cone of depressi...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید