tableaux

  • استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX’99 Saratoga Springs، نیویورک، ایالات متحده آمریکا، 7-11 ژوئن، 1999 مجموعه مقالات

    دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings (به فارسی: استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX’99 Saratoga Springs، نیویورک، ایالات متحده آمریکا، 7-11 ژوئن، 1999 مجموعه مقالات) نوشته شده توسط «Randal E. Bryant – Steven German – Miroslav N. Velev (auth.) – Neil V. Murray (eds.)» اطلاعات کتاب استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX’99 Saratoga Springs، نیویورک، ایالات متحده آمریکا، 7-11 ژوئن، 1999 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی…

  • استدلال خودکار با جدول‌های تحلیلی و روش‌های مرتبط: کنفرانس بین‌المللی، TABLEAUX’98 Oisterwijk، هلند، 5 تا 8 مه، 1998 مجموعه مقالات

    دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings (به فارسی: استدلال خودکار با جدول‌های تحلیلی و روش‌های مرتبط: کنفرانس بین‌المللی، TABLEAUX’98 Oisterwijk، هلند، 5 تا 8 مه، 1998 مجموعه مقالات) نوشته شده توسط «N. G. de Bruijn (auth.) – Harrie de Swart (eds.)» اطلاعات کتاب استدلال خودکار با جدول‌های تحلیلی و روش‌های مرتبط: کنفرانس بین‌المللی، TABLEAUX’98 Oisterwijk، هلند، 5 تا 8 مه، 1998 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer Berlin Heidelberg نویسنده: N. G. de Bruijn (auth.) – Harrie de Swart (eds.) زبان: English…

  • استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX’97 Pont-à -Mousson، فرانسه، 13–16 مه، 1997 مجموعه مقالات

    دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’97 Pont-à -Mousson, France, May 13–16, 1997 Proceedings (به فارسی: استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX’97 Pont-à -Mousson، فرانسه، 13–16 مه، 1997 مجموعه مقالات) نوشته شده توسط «Ryuzo Hasegawa – Hiroshi Fujita (auth.) – Didier Galmiche (eds.)» اطلاعات کتاب استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX’97 Pont-à -Mousson، فرانسه، 13–16 مه، 1997 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer Berlin Heidelberg نویسنده: Ryuzo Hasegawa – Hiroshi Fujita (auth.) – Didier…

  • تقابل بین تابلوهای لیتل‌وود-ریچاردسون و پیکربندی‌های تقلبی

    دانلود کتاب A bijection between Littlewood-Richardson tableaux and rigged configurations (به فارسی: تقابل بین تابلوهای لیتل‌وود-ریچاردسون و پیکربندی‌های تقلبی) نوشته شده توسط «Kirillov A.N. – Schilling A. – Shimozono M.» اطلاعات کتاب تقابل بین تابلوهای لیتل‌وود-ریچاردسون و پیکربندی‌های تقلبی موضوع اصلی: مدیریت سیستم نوع: کتاب الکترونیکی نویسنده: Kirillov A.N. – Schilling A. – Shimozono M. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 69 حجم کتاب: 1 مگابایت دانلود کتاب «تقابل بین تابلوهای لیتل‌وود-ریچاردسون و پیکربندی‌های تقلبی»

  • تابلوهای جوان، با کاربرد در نظریه و هندسه بازنمایی [بدون صفحات 46-47]

    دانلود کتاب Young tableaux, with applications to representation theory and geometry [no pp. 46-47] (به فارسی: تابلوهای جوان، با کاربرد در نظریه و هندسه بازنمایی [بدون صفحات 46-47]) نوشته شده توسط «William Fulton» اطلاعات کتاب تابلوهای جوان، با کاربرد در نظریه و هندسه بازنمایی [بدون صفحات 46-47] موضوع اصلی: هندسه و توپولوژی نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: William Fulton زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1997 تعداد صفحه: 139 حجم کتاب: 3 مگابایت کد کتاب: 0521561442 , 9780521561440 توضیحات کتاب تابلوهای جوان، با کاربرد در نظریه و هندسه بازنمایی [بدون…

  • آمار OECD در مورد تجارت بین المللی خدمات. / جلد 2، جداول تفصیلی بر اساس کشور شریک، 1999-2002 جلد 2، جداول تفصیلی بر اساس کشور شریک، 1999-2002 / OECD، سازمان همکاری اقتصادی و توسعه.

    دانلود کتاب OECD statistics on international trade in services. / Volume 2, Detailed tables by partner country, 1999-2002 Volume 2, Tableaux détaillés par pays partenaires, 1999-2002 / OCDE, Organisation de coopération et de dévelopement économiques. (به فارسی: آمار OECD در مورد تجارت بین المللی خدمات. / جلد 2، جداول تفصیلی بر اساس کشور شریک، 1999-2002 جلد 2، جداول تفصیلی بر اساس کشور شریک، 1999-2002 / OECD، سازمان همکاری اقتصادی و توسعه.) نوشته شده توسط «OECD» اطلاعات کتاب آمار OECD در مورد تجارت بین المللی خدمات. / جلد 2، جداول تفصیلی بر اساس کشور شریک، 1999-2002 جلد 2، جداول تفصیلی بر…

  • آمار OECD در مورد تجارت بین المللی خدمات: جداول تفصیلی بر اساس کشور شریک = آمار OECD در مورد تجارت بین المللی خدمات: جداول تفصیلی بر اساس کشور شریک.

    دانلود کتاب OECD statistics on international trade in services : Detailed tables by partner country = Statiques de l’OECD sur les èchanges internationaux de services : Tableaux détaillés par pays partenaires. (به فارسی: آمار OECD در مورد تجارت بین المللی خدمات: جداول تفصیلی بر اساس کشور شریک = آمار OECD در مورد تجارت بین المللی خدمات: جداول تفصیلی بر اساس کشور شریک.) نوشته شده توسط «OECD» اطلاعات کتاب آمار OECD در مورد تجارت بین المللی خدمات: جداول تفصیلی بر اساس کشور شریک = آمار OECD در مورد تجارت بین المللی خدمات: جداول تفصیلی بر اساس کشور شریک. موضوع اصلی: ریاضیات…

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