دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen
دانلود کتاب مدل سازی سیستم های توزیع شده: تصور ، مشخصات رسمی و تأیید با شبکه های محصول
مشخصات کتاب
Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen
ویرایش: 1
نویسندگان: Peter Ochsenschläger. Rainer Prinoth (auth.)
سری: Programm Angewandte Informatik
ISBN (شابک) : 9783528054335, 9783322888419
ناشر: Vieweg+Teubner Verlag
سال نشر: 1995
تعداد صفحات: 289
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب مدل سازی سیستم های توزیع شده: تصور ، مشخصات رسمی و تأیید با شبکه های محصول: شبیه سازی و مدل سازی، کنترل کیفیت، قابلیت اطمینان، ایمنی و ریسک، علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل سازی سیستم های توزیع شده: تصور ، مشخصات رسمی و تأیید با شبکه های محصول نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages I-VIII
Einleitung....Pages 1-6
Unbeschriftete Netze....Pages 7-40
Ein Modell zur Flußkontrolle....Pages 41-52
Auf- und Abbau von Verbindungen....Pages 53-74
Produktnetze....Pages 75-102
Beispiele....Pages 103-116
Ausdrucksstärke der Produktnetze....Pages 117-122
Das Alternating Bit Protokoll....Pages 123-140
Das ISDN-D-Kanalprotokoll....Pages 141-158
Zählermodell und Synchronisation....Pages 159-186
Schaltfolgenhomomorphismen....Pages 187-210
Reduzierte Erreichbarkeitsgraphen....Pages 211-218
Deadlocksprachen....Pages 219-230
Die Produktnetzmaschine....Pages 231-240
Schlichte Homomorphismen....Pages 241-268
Back Matter....Pages 269-280
نظرات کاربران
کتاب های تصادفی
دانلود کتاب TeX reference card (A4 paper)
دانلود کتاب Zum Umgang mit aquatischen Organismen: Versuchstierkundliche Grundlagen
دانلود کتاب A Systematic Catalogue of the Genus Zygaena Fabricius (Lepidoptera: Zygaenidae)
دانلود کتاب 剧变：人类社会与国家危机的转折点(一部恰逢其时的巨制。普利策奖得主《枪炮、病菌与钢铁》作者新书，探讨危机应对的解决方案。)
