دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
دانلود کتاب دامنه ها و فرآیندها: مجموعه مقالات اولین سمپوزیوم بین المللی نظریه دامنه شانگهای، چین، اکتبر 1999
مشخصات کتاب
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
ویرایش: 1 نویسندگان: Jimmie D. Lawson (auth.), Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen (eds.) سری: Semantic Structures in Computation 1 ISBN (شابک) : 9789401038591, 9789401006545 ناشر: Springer Netherlands سال نشر: 2001 تعداد صفحات: 282 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 60,000
کلمات کلیدی مربوط به کتاب دامنه ها و فرآیندها: مجموعه مقالات اولین سمپوزیوم بین المللی نظریه دامنه شانگهای، چین، اکتبر 1999: منطق، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب دامنه ها و فرآیندها: مجموعه مقالات اولین سمپوزیوم بین المللی نظریه دامنه شانگهای، چین، اکتبر 1999 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب دامنه ها و فرآیندها: مجموعه مقالات اولین سمپوزیوم بین المللی نظریه دامنه شانگهای، چین، اکتبر 1999
نظریه دامنه یک حوزه بین رشته ای غنی در تقاطع منطق، علوم
کامپیوتر و ریاضیات است. این جلد شامل مقالات منتخب ارائه شده
در سمپوزیوم بین المللی نظریه دامنه است که در شانگهای در اکتبر
1999 برگزار شد. موضوعات مقالات از برخورد بین توپولوژی و نظریه
دامنه، فضاهای هوشیار، توپولوژی لاوسون، محاسبه عدد واقعی و
تابع های پیوسته تا مدل سازی فازی را شامل می شود. ، برنامه
نویسی منطقی و محاسبات pi.
این کتاب مرجع ارزشمندی برای محققان و دانشجویان علاقه مند به
این حوزه به سرعت در حال توسعه از علم کامپیوتر نظری است.
توضیحاتی درمورد کتاب به خارجی
Domain theory is a rich interdisciplinary area at the
intersection of logic, computer science, and mathematics.
This volume contains selected papers presented at the
International Symposium on Domain Theory which took place in
Shanghai in October 1999. Topics of papers range from the
encounters between topology and domain theory, sober spaces,
Lawson topology, real number computability and continuous
functionals to fuzzy modelling, logic programming, and
pi-calculi.
This book is a valuable reference for researchers and
students interested in this rapidly developing area of
theoretical computer science.
فهرست مطالب
Front Matter....Pages i-xiv
Encounters Between Topology and Domain Theory....Pages 1-32
The Lawson Topology on Quasicontinuous Domains....Pages 33-40
U K -Admitting DCPOS Need not be Sober....Pages 41-50
The Largest Topologically Cartesian Closed Categories of Domains as Topological Spaces....Pages 51-66
On The Equivalence of Some Approaches to Computability on the Real Line....Pages 67-101
The Continuous Functionals of Finite Types Over the Reals....Pages 103-124
Compact Semantics on BC-Domains....Pages 125-136
Normal Subsets in Abstract Bases....Pages 137-149
Semantics of Logic Programs and Representation of Smyth Powerdomain....Pages 151-181
Domains of View: A Foundation for Specification and Analysis....Pages 183-218
Semantic Theory and Proof System of Open Bisimulation for the π-Calculus with Mismatching....Pages 219-244
Axiomatization Without Prefix Combinator....Pages 245-273
