ijcar

  • استدلال خودکار: دومین کنفرانس بین المللی مشترک، IJCAR 2004، کورک، ایرلند، 4-8 ژوئیه، 2004. مجموعه مقالات

    دانلود کتاب Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings (به فارسی: استدلال خودکار: دومین کنفرانس بین المللی مشترک، IJCAR 2004، کورک، ایرلند، 4-8 ژوئیه، 2004. مجموعه مقالات) نوشته شده توسط «José Meseguer – Grigore Roşu (auth.) – David Basin – Michaël Rusinowitch (eds.)» اطلاعات کتاب استدلال خودکار: دومین کنفرانس بین المللی مشترک، IJCAR 2004، کورک، ایرلند، 4-8 ژوئیه، 2004. مجموعه مقالات موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: José Meseguer – Grigore Roşu (auth.) – David Basin – Michaël Rusinowitch (eds.) زبان: English…

  • استدلال خودکار: چهارمین کنفرانس بین المللی مشترک، IJCAR 2008 سیدنی، استرالیا، 12-15 اوت، 2008 مجموعه مقالات

    دانلود کتاب Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings (به فارسی: استدلال خودکار: چهارمین کنفرانس بین المللی مشترک، IJCAR 2008 سیدنی، استرالیا، 12-15 اوت، 2008 مجموعه مقالات) نوشته شده توسط «Aarti Gupta (auth.) – Alessandro Armando – Peter Baumgartner – Gilles Dowek (eds.)» اطلاعات کتاب استدلال خودکار: چهارمین کنفرانس بین المللی مشترک، IJCAR 2008 سیدنی، استرالیا، 12-15 اوت، 2008 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Aarti Gupta (auth.) – Alessandro Armando – Peter Baumgartner – Gilles Dowek (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به…

  • استدلال خودکار: دومین کنفرانس بین المللی مشترک، IJCAR 2004، کورک، ایرلند، 4-8 ژوئیه، 2004. مجموعه مقالات

    دانلود کتاب Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings (به فارسی: استدلال خودکار: دومین کنفرانس بین المللی مشترک، IJCAR 2004، کورک، ایرلند، 4-8 ژوئیه، 2004. مجموعه مقالات) نوشته شده توسط «José Meseguer – Grigore Roşu (auth.) – David Basin – Michaël Rusinowitch (eds.)» اطلاعات کتاب استدلال خودکار: دومین کنفرانس بین المللی مشترک، IJCAR 2004، کورک، ایرلند، 4-8 ژوئیه، 2004. مجموعه مقالات موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: José Meseguer – Grigore Roşu (auth.) – David Basin – Michaël Rusinowitch (eds.) زبان: English…

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