ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000

دانلود کتاب سیستم های مبتنی بر ارتباطات: مجموعه مقالات سومین کارگاه بین المللی برگزار شده در TU برلین، آلمان، 31 مارس - 1 آوریل 2000

Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000

مشخصات کتاب

Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000

ویرایش: 1 
نویسندگان: , , ,   
سری:  
ISBN (شابک) : 9789048153992, 9789401596084 
ناشر: Springer Netherlands 
سال نشر: 2000 
تعداد صفحات: 198 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

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



کلمات کلیدی مربوط به کتاب سیستم های مبتنی بر ارتباطات: مجموعه مقالات سومین کارگاه بین المللی برگزار شده در TU برلین، آلمان، 31 مارس - 1 آوریل 2000: تئوری دسته، جبر همسانی، نظریه سیستم ها، کنترل، معماری پردازنده، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل



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

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


در صورت تبدیل فایل کتاب Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سیستم های مبتنی بر ارتباطات: مجموعه مقالات سومین کارگاه بین المللی برگزار شده در TU برلین، آلمان، 31 مارس - 1 آوریل 2000 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب سیستم های مبتنی بر ارتباطات: مجموعه مقالات سومین کارگاه بین المللی برگزار شده در TU برلین، آلمان، 31 مارس - 1 آوریل 2000

این کارگاه در مورد سیستم های مبتنی بر ارتباطات در نظر گرفته شده است تا نتایج تحقیقات دانشجویان Graduiertenkolleg "سیستم های مبتنی بر ارتباطات" را به جامعه بین المللی ارائه دهد. برای تحریک بحث علمی، از کارشناسان مشهور دعوت شد تا نظرات خود را در زمینه‌های تحقیقاتی زیر بیان کنند:
  • مشخصات رسمی و مبانی ریاضی سیستم‌های توزیع‌شده با استفاده از جبر فرآیند، تبدیل‌های نمودار، محاسبات فرآیند، و منطق‌های زمانی.
  • ارزیابی عملکرد، مدل‌سازی قابلیت اطمینان و تحلیل سیستم‌های بلادرنگ با انواع مختلف شبکه‌های پتری زمان‌دار.
  • مشخصات و تحلیل پروتکل های ارتباطی;
  • قابلیت اطمینان، امنیت و قابلیت اطمینان در سیستم های توزیع شده؛
  • شی گرایی در معماری سیستم های توزیع شده.
  • توسعه نرم افزار و مفاهیم برای برنامه های کاربردی توزیع شده؛
  • معماری و مدیریت شبکه های کامپیوتری؛
  • مفاهیم زبان برای سیستم های توزیع شده.

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

This workshop on Communication-Based Systems is intended to present the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts were invited to give their views on the following research areas:
  • Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi, and temporal logics;
  • Performance evaluation, dependability modeling, and analysis of real-time systems with different kinds of timed Petri-Nets;
  • Specification and analysis of communication protocols;
  • Reliability, security, and dependability in distributed systems;
  • Object orientation in distributed systems architecture;
  • Software development and concepts for distributed applications;
  • Computer network architecture and management;
  • Language concepts for distributed systems.


فهرست مطالب

Front Matter....Pages i-x
GSPN Models of Dual-Band GSM Networks....Pages 1-15
Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets....Pages 17-31
Safe System-Level Diagnosis for Selected Fault Models....Pages 33-42
Fault-Tolerance Mechanisms for a Parallel Programming System — A Responsiveness Perspective....Pages 43-54
Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Construction....Pages 55-72
Compositional Specification of Distributed Systems by Distributed Graph Transformation....Pages 73-91
Specifying, Analyzing and Programming Communication Systems in Maude....Pages 93-101
Towards Dynamic Shaping....Pages 103-110
A Personal, Historical Perspective of Parallel Programming for High Performance....Pages 111-118
Automatic Distribution in Pangaea....Pages 119-129
Multiphase Consensus Communication in Collaborative Problem Solving....Pages 131-146
Efficient and Secure Information Sharing in Distributed, Collaborative Environments....Pages 147-162
AI Planning in a Constraint Programming Framework....Pages 163-178
Atomic Broadcast In A Byzantine Model....Pages 179-195




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

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