ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Semantics of Parallelism: Non-Interleaving Representation of Behaviour

دانلود کتاب معناشناسی موازی گرایی: بازنمایی غیر درهم تنیده رفتار

Semantics of Parallelism: Non-Interleaving Representation of Behaviour

مشخصات کتاب

Semantics of Parallelism: Non-Interleaving Representation of Behaviour

ویرایش: 1 
نویسندگان: ,   
سری:  
ISBN (شابک) : 9783540760597, 9781447109334 
ناشر: Springer-Verlag London 
سال نشر: 1997 
تعداد صفحات: 483 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 18 مگابایت 

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



کلمات کلیدی مربوط به کتاب معناشناسی موازی گرایی: بازنمایی غیر درهم تنیده رفتار: شبکه های ارتباطی کامپیوتری، کاربردهای سیستم های اطلاعاتی (شامل اینترنت)، مدل سازی ریاضی و ریاضیات صنعتی، نظریه K، دستکاری نمادین و جبری، تئوری محاسبات



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

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


در صورت تبدیل فایل کتاب Semantics of Parallelism: Non-Interleaving Representation of Behaviour به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب معناشناسی موازی گرایی: بازنمایی غیر درهم تنیده رفتار



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


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

Semantics of Parallelism is the only book which provides a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleaving approach of the process algebraists). Many results found in this book are collected for the first time outside conference and journal articles on the mathematics of non-interleaving semantics. It gives the reader a unified view of various attempts to model parallelism within one conceptual frame work. It is aimed at postgraduates in theoretical computer science and academics who are teaching and researching in the modelling of discrete, concurrent/distributed systems. Workers in the information technology industry who are interested in available theoretical studies on parallelism will also be interested in this book.



فهرست مطالب

Front Matter....Pages i-xiii
Whys and Wherefores....Pages 1-15
Behavioural Presentations....Pages 16-25
Discrete Behavioural Presentations....Pages 26-37
Order Theoretic Properties of Left-Closed Behavioural Presentations....Pages 38-43
Event Structures and Closures of Behavioural Presentations....Pages 44-55
Another Event Structure Model....Pages 56-65
Properties of Behavioural Presentations....Pages 66-74
Karp and Miller Computation Graphs....Pages 75-92
Trace and Vector Languages....Pages 93-104
Order Theoretic Properties of Vector Languages....Pages 105-121
Determinacy....Pages 122-133
Linguistic Behavioural Presentations....Pages 134-151
Unambiguous Transition Systems....Pages 152-172
General Transition Systems....Pages 173-182
Asynchronous Transition Systems....Pages 183-189
Condition/Event Systems: Process and Occurrence Net Semantics....Pages 190-199
Condition/Event Systems: Asynchronous Transition System Semantics....Pages 200-223
Loosely Coupled Systems....Pages 224-230
Categorical Connections....Pages 231-250
Categorical Applications....Pages 251-265
An Application: Realisation by Nets....Pages 266-280
Hybrid Transition Systems....Pages 281-303
The Keller Parallel Computation Model....Pages 304-319
From Path Expressions to TCSP....Pages 320-341
The Nivat/Arnold Process Model....Pages 342-367
Constructions on Hybrid Transition Systems....Pages 368-382
Process Calculus (CCS)....Pages 383-414
Theoretical CSP....Pages 415-451
Conclusions: Theories of Parallelism....Pages 452-455
Back Matter....Pages 457-473




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