دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Temporal logic for real-time systems
دانلود کتاب منطق زمانی برای سیستم های بلادرنگ
مشخصات کتاب
Temporal logic for real-time systems
ویرایش:
نویسندگان: Ostroff J.S.
سری: Advanced Software Development Series
ISBN (شابک) : 0471924024, 9780471924029
ناشر: Wiley
سال نشر: 1989
تعداد صفحات: 224
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Temporal logic for real-time systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق زمانی برای سیستم های بلادرنگ نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق زمانی برای سیستم های بلادرنگ
تعداد زیادی از نتایج تحقیقات اخیر را که قبلاً در قالب کتاب در دسترس نبوده اند ارائه می دهد. در ابتدا به مدل‌های محاسباتی شناخته شده می‌پردازد و به انواع خاصی از مدارها، رایانه‌های موازی و برنامه‌های انشعاب می‌پردازد. شامل نظریه پایه و همچنین یافته های تحقیقات اخیر است. هر فصل شامل تمریناتی است
توضیحاتی درمورد کتاب به خارجی
Presents a large number of recent research results previously unavailable in book form. Initially deals with the wee-known computation models, and goes on to special types of circuits, parallel computers, and branching programs. Includes basic theory as well recent research findings. Each chapter includes exercises
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Multi-Resolution Methods for Modeling and Control of Dynamical Systems (Chapman & Hall CRC Applied Mathematics & Nonlinear Science)
دانلود کتاب Paraguay
دانلود کتاب Arab Soccer in a Jewish State: The Integrative Enclave
دانلود کتاب Cell Types and Connectivity Patterns in Mosaic Retinas
