timee
معناشناسی عملیاتی برای سیستم‌های زمان‌دار: رویکردی غیر استاندارد برای مدل‌سازی یکنواخت سیستم‌های زمان‌دار و ترکیبی
دانلود کتاب Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (به فارسی: معناشناسی عملیاتی برای سیستم‌های زمان‌دار: رویکردی غیر استاندارد برای مدل‌سازی یکنواخت سیستم‌های زمان‌دار و ترکیبی) نوشته شده توسط «Heinrich Rust (auth.)» اطلاعات کتاب معناشناسی عملیاتی برای سیستم‌های زمان‌دار: رویکردی غیر استاندارد برای مدل‌سازی یکنواخت سیستم‌های زمان‌دار و ترکیبی موضوع اصلی: کامپیوتر – علوم کامپیوتر نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Heinrich Rust (auth.) زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 224 / 218 حجم فایل: 1.73 مگابایت کد کتاب:…
تکنیک‌های رسمی، مدل‌سازی و تحلیل سیستم‌های زمان‌دار و متحمل خطا: کنفرانس‌های بین‌المللی مشترک در مورد مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، فرمت‌های 2004، و تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا، FTRTFT 2004، Gre
دانلود کتاب Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre (به فارسی: تکنیک‌های رسمی، مدل‌سازی و تحلیل سیستم‌های زمان‌دار و متحمل خطا: کنفرانس‌های بین‌المللی مشترک در مورد مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، فرمت‌های 2004، و تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا، FTRTFT 2004، Gre) نوشته شده توسط «Paul Feautrier (auth.) – Yassine Lakhnech – Sergio Yovine (eds.)» اطلاعات کتاب تکنیک‌های رسمی، مدل‌سازی و تحلیل سیستم‌های زمان‌دار و متحمل خطا:…
تکنیک‌های رسمی، مدل‌سازی و تحلیل سیستم‌های زمان‌دار و متحمل خطا: کنفرانس‌های بین‌المللی مشترک در مورد مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، فرمت‌های 2004، و تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا، FTRTFT 2004، Gre
دانلود کتاب Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre (به فارسی: تکنیک‌های رسمی، مدل‌سازی و تحلیل سیستم‌های زمان‌دار و متحمل خطا: کنفرانس‌های بین‌المللی مشترک در مورد مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، فرمت‌های 2004، و تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا، FTRTFT 2004، Gre) نوشته شده توسط «Paul Feautrier (auth.) – Yassine Lakhnech – Sergio Yovine (eds.)» اطلاعات کتاب تکنیک‌های رسمی، مدل‌سازی و تحلیل سیستم‌های زمان‌دار و متحمل خطا:…