ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Topology, Domain Theory and Theoretical Computer Science

دانلود کتاب توپولوژی ، نظریه دامنه و علوم نظری رایانه

Topology, Domain Theory and Theoretical Computer Science

مشخصات کتاب

Topology, Domain Theory and Theoretical Computer Science

دسته بندی: ریاضیات محاسباتی
ویرایش:  
نویسندگان:   
سری:  
 
ناشر: Elsevier 
سال نشر: 1997 
تعداد صفحات: 55 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 531 کیلوبایت

قیمت کتاب (تومان) : 58,000



کلمات کلیدی مربوط به کتاب توپولوژی ، نظریه دامنه و علوم نظری رایانه: تئوری دامنه قدرت توپولوژی اسکات حساب لامبدا بدون تایپ



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Topology, Domain Theory and Theoretical Computer Science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب توپولوژی ، نظریه دامنه و علوم نظری رایانه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب توپولوژی ، نظریه دامنه و علوم نظری رایانه

خلاصه در این مقاله به بررسی استفاده از توپولوژی نظم-نظری در کامپیوتر نظری می پردازیم علم، با تأکید بر کاربردهای نظریه دامنه. تمرکز ما روی موارد استفاده است توپولوژی نظم-نظری در معناشناسی زبان برنامه نویسی و مسائل مربوط به علاقه بالقوه به توپولوژیست ها که ناشی از نگرانی هایی است که معناشناسی ایجاد می کند.


توضیحاتی درمورد کتاب به خارجی

Abstract In this paper, we survey the use of order-theoretic topology in theoretical computer science, with an emphasis on applications of domain theory. Our focus is on the uses of order-theoretic topology in programming language semantics, and on problems of potential interest to topologists that stem from concerns that semantics generates.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی