ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Communicating and Mobile Systems. the Pi-Calculus

دانلود کتاب سیستمهای ارتباطی و موبایل. پی حساب

Communicating and Mobile Systems. the Pi-Calculus

مشخصات کتاب

Communicating and Mobile Systems. the Pi-Calculus

دسته بندی: تحلیل و بررسی
ویرایش: 1st 
نویسندگان:   
سری:  
ISBN (شابک) : 9780521643207, 0521658691 
ناشر: Cambridge University Press 
سال نشر: 1999 
تعداد صفحات: 87 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Communicating and Mobile Systems. the Pi-Calculus به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب سیستمهای ارتباطی و موبایل. پی حساب

ارتباطات یک بخش اساسی و جدایی ناپذیر از محاسبات است، چه بین رایانه های مختلف در یک شبکه و چه بین اجزای یک رایانه. در این کتاب رابین میلنر روش جدیدی از مدل سازی ارتباطات را معرفی می کند که موقعیت آن را منعکس می کند. او با کامپیوترها و برنامه‌های آنها به‌جای افزودن ارتباطات به‌عنوان سطح اضافی از فعالیت، آن‌گونه رفتار می‌کند که خود از قطعات ارتباطی ساخته شده‌اند. همه چیز با استفاده از مثال‌هایی مانند تلفن‌های همراه، برنامه‌ریزی‌های شغلی، ماشین‌های فروش خودکار، ساختارهای داده و اشیاء برنامه‌نویسی شی‌گرا معرفی می‌شوند. اما هدف این کتاب توسعه یک نظریه به نام پی-حساب است که در آن می توان با این موارد به شدت برخورد کرد. حساب پی با سایر مدل‌های رفتار ارتباطی عمدتاً در درمان تحرک متفاوت است. حرکت یک قطعه داده در داخل یک برنامه کامپیوتری دقیقاً مانند انتقال یک پیام - یا در واقع یک برنامه کامپیوتری کامل - در سراسر اینترنت است. همچنین می توان شبکه هایی را توصیف کرد که خود را مجدداً پیکربندی می کنند. حساب دیفرانسیل و انتگرال بسیار ساده اما قدرتمند است. برجسته ترین عنصر آن مفهوم نام است. نظریه آن دارای دو عنصر مهم است: مفهوم هم ارزی رفتاری (یا مشاهده ای)، و استفاده از یک نظریه جدید از انواع برای طبقه بندی الگوهای رفتار تعاملی. اینترنت و پروتکل‌های ارتباطی آن به اندازه برنامه‌های کامپیوتری، ساختارهای داده، الگوریتم‌ها و زبان‌های برنامه‌نویسی در محدوده نظریه قرار می‌گیرند. این کتاب اولین کتاب درسی در این زمینه است. مدتها مورد انتظار متخصصان بوده است و مورد استقبال آنها و دانشجویانشان قرار خواهد گرفت.


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

Communication is a fundamental and integral part of computing, whether between different computers on a network, or between components within a single computer. In this book Robin Milner introduces a new way of modelling communication that reflects its position. He treats computers and their programs as themselves built from communicating parts, rather than adding communication as an extra level of activity. Everything is introduced by means of examples, such as mobile phones, job schedualers, vending machines, data structures, and the objects of object-oriented programming. But the aim of the book is to develop a theory, the pi-calculus, in which these things can be treated rigorously. The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message--or indeed an entire computer program--across the internet. One can also describe networks which reconfigure themselves. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols, fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first textbook on the subject; it has been long-awaited by professionals and will be welcome by them, and their students.





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