specifying

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

    دانلود کتاب Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (به فارسی: دانش در عمل: مبانی منطقی برای تعیین و پیاده سازی سیستم های دینامیکی) نوشته شده توسط «Raymond Reiter» اطلاعات کتاب دانش در عمل: مبانی منطقی برای تعیین و پیاده سازی سیستم های دینامیکی موضوع اصلی: سیستم های دینامیکی نوع: کتاب الکترونیکی ناشر: The MIT Press نویسنده: Raymond Reiter زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001 تعداد صفحه: 445 حجم کتاب: 2 مگابایت کد کتاب: 9780262182188 , 0262182181 نوبت چاپ: illustrated edition توضیحات کتاب دانش در عمل: مبانی منطقی…

  • راهنمای GSA برای مشخص کردن سیستم‌های کنترل و اتوماسیون ساختمان‌های متقابل با استفاده از استاندارد ANSI-ASHRAE 135-1995، BACne NISTIR 6392

    دانلود کتاب GSA Guide to Specifying Interoperable Building Automation and Control Systems Using ANSI-ASHRAE Standard 135-1995, BACne NISTIR 6392 (به فارسی: راهنمای GSA برای مشخص کردن سیستم‌های کنترل و اتوماسیون ساختمان‌های متقابل با استفاده از استاندارد ANSI-ASHRAE 135-1995، BACne NISTIR 6392) اطلاعات کتاب راهنمای GSA برای مشخص کردن سیستم‌های کنترل و اتوماسیون ساختمان‌های متقابل با استفاده از استاندارد ANSI-ASHRAE 135-1995، BACne NISTIR 6392 موضوع اصلی: تئوری کنترل خودکار نوع: کتاب الکترونیکی ناشر: NIST زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1995 تعداد صفحه: 80 حجم کتاب: 1 مگابایت دانلود کتاب «راهنمای GSA برای مشخص…

  • اجزای UML: یک فرآیند ساده برای تعیین نرم افزار مبتنی بر کامپوننت

    دانلود کتاب UML Components: A Simple Process for Specifying Component-Based Software (به فارسی: اجزای UML: یک فرآیند ساده برای تعیین نرم افزار مبتنی بر کامپوننت) نوشته شده توسط «John Cheesman – John Daniels» اطلاعات کتاب اجزای UML: یک فرآیند ساده برای تعیین نرم افزار مبتنی بر کامپوننت موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Addison-Wesley Professional نویسنده: John Cheesman – John Daniels زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2000 تعداد صفحه: 191 حجم کتاب: 4 مگابایت کد کتاب: 9780201708516 , 0201708515 توضیحات کتاب اجزای UML: یک فرآیند ساده برای تعیین نرم افزار…

  • روش های رسمی برای کاربردهای صنعتی: تعیین و برنامه ریزی کنترل دیگ بخار

    دانلود کتاب Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (به فارسی: روش های رسمی برای کاربردهای صنعتی: تعیین و برنامه ریزی کنترل دیگ بخار) نوشته شده توسط «Jean-Raymond Abrial – Egon Börger (auth.) – Jean-Raymond Abrial – Egon Börger – Hans Langmaack (eds.)» اطلاعات کتاب روش های رسمی برای کاربردهای صنعتی: تعیین و برنامه ریزی کنترل دیگ بخار موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Jean-Raymond Abrial – Egon Börger (auth.) – Jean-Raymond Abrial – Egon Börger – Hans Langmaack (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر…

  • تعیین سیستم‌های ارسال پیام و زمان بحرانی با منطق زمانی

    دانلود کتاب Specifying Message Passing and Time-Critical Systems with Temporal Logic (به فارسی: تعیین سیستم‌های ارسال پیام و زمان بحرانی با منطق زمانی) نوشته شده توسط «Ron Koymans (eds.)» اطلاعات کتاب تعیین سیستم‌های ارسال پیام و زمان بحرانی با منطق زمانی موضوع اصلی: کامپیوتر – برنامه نویسی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Ron Koymans (eds.) زبان: english فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها) سال انتشار: 1992 تعداد صفحه: 166 / 169 حجم فایل: 1.15 مگابایت کد کتاب: 3540562834 , 9783540562832 نوبت چاپ: 1 توضیحات کتاب تعیین سیستم‌های ارسال پیام و زمان بحرانی با منطق…

  • کتاب مقدس مرکز داده – کتاب 1: تعریف الزامات مرکز داده: تعیین، طراحی، ساخت و مهاجرت به مراکز داده جدید

    دانلود کتاب The Data Center Builder’s Bible – Book 1: Defining Your Data Center Requirements: Specifying, Designing, Building and Migrating to New Data Centers (به فارسی: کتاب مقدس مرکز داده – کتاب 1: تعریف الزامات مرکز داده: تعیین، طراحی، ساخت و مهاجرت به مراکز داده جدید) نوشته شده توسط «Art Carapola» اطلاعات کتاب کتاب مقدس مرکز داده – کتاب 1: تعریف الزامات مرکز داده: تعیین، طراحی، ساخت و مهاجرت به مراکز داده جدید موضوع اصلی: کامپیوتر – علوم کامپیوتر نوع: کتاب الکترونیکی ناشر: NewVista Advisors llc نویسنده: Art Carapola زبان: english فرمت کتاب: EPUB (قابل تبدیل به سایر فرمت ها)…

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان