satisfiability

  • مقدمه‌ای بر ریاضیات رضایت‌پذیری

    دانلود کتاب Introduction to mathematics of satisfiability (به فارسی: مقدمه‌ای بر ریاضیات رضایت‌پذیری) نوشته شده توسط «Victor W. Marek» اطلاعات کتاب مقدمه‌ای بر ریاضیات رضایت‌پذیری موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Chapman and Hall/CRC نویسنده: Victor W. Marek زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2009 تعداد صفحه: 365 حجم کتاب: 5 مگابایت کد کتاب: 1439801673 , 9781439801673 نوبت چاپ: 1 توضیحات کتاب مقدمه‌ای بر ریاضیات رضایت‌پذیری اگرچه این منطقه بیش از 80 سال سابقه دارد، اما تا زمانی که در اواسط دهه 1990 راه حل های SAT کارآمد ایجاد شد، اهمیت عملی…

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

    دانلود کتاب A Survey of Lower Bounds for Satisfiability and Related Problems (به فارسی: بررسی مرزهای پایین برای رضایتمندی و مشکلات مرتبط) نوشته شده توسط «Dieter Melkebeek van» اطلاعات کتاب بررسی مرزهای پایین برای رضایتمندی و مشکلات مرتبط موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: Now Publishers Inc نویسنده: Dieter Melkebeek van زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 125 حجم کتاب: 1 مگابایت کد کتاب: 1601980841 , 9781601980847 , 9781601980854 توضیحات کتاب بررسی مرزهای پایین برای رضایتمندی و مشکلات مرتبط NP-completeness مسلماً فراگیرترین مفهوم از علوم رایانه را تشکیل می…

  • مشکل رضایتمندی: نظریه و کاربردها

    دانلود کتاب Satisfiability problem: theory and applications (به فارسی: مشکل رضایتمندی: نظریه و کاربردها) نوشته شده توسط «Jun Gu – Panos M. Pardalos – Jun Gu – Panos M. Pardalos – NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science» اطلاعات کتاب مشکل رضایتمندی: نظریه و کاربردها موضوع اصلی: احتمال نوع: کتاب الکترونیکی ناشر: American Mathematical Society نویسنده: Jun Gu – Panos M. Pardalos – Jun Gu – Panos M. Pardalos – NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار:…

  • هنر برنامه نویسی کامپیوتری، جلد 4، بخش 6: رضایت پذیری

    دانلود کتاب The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability (به فارسی: هنر برنامه نویسی کامپیوتری، جلد 4، بخش 6: رضایت پذیری) نوشته شده توسط «Donald E. Knuth» اطلاعات کتاب هنر برنامه نویسی کامپیوتری، جلد 4، بخش 6: رضایت پذیری موضوع اصلی: کامپیوتر – شبکه نوع: کتاب الکترونیکی ناشر: Addison-Wesley Professional نویسنده: Donald E. Knuth زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2015 تعداد صفحه: 320 حجم فایل: 9.14 مگابایت کد کتاب: 0134397606 , 9780134397603 نوبت چاپ: 1 توضیحات کتاب هنر برنامه نویسی کامپیوتری، جلد 4، بخش 6: رضایت پذیری این کار…

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