• التعليم وحلول الأعمال يفتح في نافذة جديدة
صورة الغلاف: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure 9783834814944

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

  • المؤلف (المؤلفون) Christian Herde
  • الناشر نشر بواسطة Vieweg+Teubner Verlag حقوق الطبع والنشر © 2011
  • ISBN-13 9783834814944
  • شكل التنسيق المحدد

الكتاب الالكتروني

ترخيص eTextbook
‌
﷼‎71.16 SAR
‌
‌

  • أدوات الدراسة

    أضف أدوات دراسة مثل التمييزات وغيرها

  • القراءة بصوت مسموع

    استمع وانصت أثناء قراءة Bookshelf لك

  • الوصول دون اتصال بالإنترنت

    قم بالوصول إلى الكتاب الدراسي الإلكتروني الخاص بك في أي وقت وأي مكان.

  • بحث عام

    ابحث في محتوى الكتاب والرسومات التوضيحية وكراس التمارين.

أعرف المزيد

VitalSource أكثر من 25 عامًا من التحول الرقمي

  • 4500 المعاهد

  • أكثر من 230 البلدان والأقاليم

  • أكثر من 10 آلاف الناشرون

  • أكثر من 18 مليون المستخدمون النشطون

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems تمت الكتابة بواسطة Christian Herde وتم النشر بواسطة Vieweg+Teubner Verlag. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure هي 9783834899491, 3834899496 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783834814944, 3834814946. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

العودة إلى الأعلى