ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

دانلود کتاب NAPAW 92: مجموعه مقالات اولین کارگاه جبر فرآیند آمریکای شمالی، استونی بروک، نیویورک، ایالات متحده آمریکا، 28 اوت 1992

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

مشخصات کتاب

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

ویرایش: [1 ed.] 
نویسندگان: , , ,   
سری: Workshops in Computing 
ISBN (شابک) : 9783540198222, 9781447132172 
ناشر: Springer-Verlag London 
سال نشر: 1993 
تعداد صفحات: 243
[244] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 Mb 

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



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

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


در صورت تبدیل فایل کتاب NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب NAPAW 92: مجموعه مقالات اولین کارگاه جبر فرآیند آمریکای شمالی، استونی بروک، نیویورک، ایالات متحده آمریکا، 28 اوت 1992 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب NAPAW 92: مجموعه مقالات اولین کارگاه جبر فرآیند آمریکای شمالی، استونی بروک، نیویورک، ایالات متحده آمریکا، 28 اوت 1992

این جلد شامل مقالاتی از کارگاه جبر فرآیند آمریکای شمالی است که در استونی بروک، نیویورک، 28 اوت 1992 برگزار شد. این اولین کارگاه از یک سری کارگاه های پیشنهادی بود که هدف آن افزایش آگاهی از جبرهای فرآیندی در ایالات متحده و کانادا بود. برای ترویج استفاده و توسعه آنها. این کارگاه همزمان با کنفرانس سالانه تئوری های همزمانی CONCUR 92 برگزار شد. این یک انجمن مهم برای بحث و تبادل نظر فراهم کرد، و اجازه داد پیشرفت‌های اخیر در کاربرد تکنیک‌های جبری در نظریه همزمانی ارائه شود. حجم حاصل، مقطع خوبی از کار تحقیقاتی جاری در کانادا، ایالات متحده آمریکا و اروپا را ارائه می دهد. از جمله موضوعات خاص تحت پوشش عبارتند از: محاسبات بلادرنگ و قضایای بسط. منطق مودال در جبر فرآیند زماندار محیط ارتباطی فرآیند؛ محاسبات فرآیندی با اولویت های غیر قابل مقایسه؛ رسیدگی به استثنا در جبر فرآیندی. دو شبیه سازی در ساختارهای مشاهده محاسبات شبیه سازی های آماده به طور کارآمد؛ تجزیه و تحلیل عوامل CCS عبور دهنده ارزش با انواع بی نهایت. گسترش روش تست برای فرآیندهایی که مقادیر بی نهایت را رد می کنند. معناشناسی سازنده؛ یک معناشناسی مبتنی بر علیت برای CCS. NAPAW 92 نمای کلی جامعی از این حوزه مهم و نوظهور علوم کامپیوتر ارائه می دهد. این مطالعه ضروری را هم برای دانشجویان کارشناسی ارشد و هم برای محققان در صنعت و دانشگاه فراهم می کند.


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

This volume contains papers from the North American Process Algebra Workshop, held in Stony Brook, New York, 28 August 1992. This was the first in a proposed series of workshops, intended to increase awareness of process algebras in the United States and Canada, and to promote their use and development. The workshop was held simultaneously with CONCUR 92, the annual conference on concurrency theories. It provided an important forum for the discussion and exchange of ideas, and allowed recent developments in the application of algebraic techniques to concurrency theory to be presented. The resulting volume provides a good cross-section of current research work in Canada, USA and Europe. Among the specific topics covered are: real-time calculi and expansion theorems; modal logics in timed process algebra; process communication environment; a process calculus with incomparable priorities; exception handling in process algebra; bisimulations on observation structures; computing ready simulations efficiently; analysis of value-passing CCS agents with infinite sorts; an extension of the testing method for processes passing infinite values; constructive semantics; a causality-based semantics for CCS. NAPAW 92 provides an comprehensive overview of this important, up-and-coming area of computer science. It will provide essential reading for both postgraduate students and researchers in industry and academia.





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