ictac

  • جنبه های نظری محاسبات – ICTAC 2007: چهارمین کنفرانس بین المللی، ماکائو، چین، 26-28 سپتامبر 2007. مجموعه مقالات

    دانلود کتاب Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings (به فارسی: جنبه های نظری محاسبات – ICTAC 2007: چهارمین کنفرانس بین المللی، ماکائو، چین، 26-28 سپتامبر 2007. مجموعه مقالات) نوشته شده توسط «Dines Bjørner (auth.) – Cliff B. Jones – Zhiming Liu – Jim Woodcock (eds.)» اطلاعات کتاب جنبه های نظری محاسبات – ICTAC 2007: چهارمین کنفرانس بین المللی، ماکائو، چین، 26-28 سپتامبر 2007. مجموعه مقالات موضوع اصلی: سازمان و پردازش داده ها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Dines Bjørner (auth.) – Cliff B. Jones – Zhiming Liu…

  • جنبه های نظری محاسبات – ICTAC 2008: 5th International Colloquium، استانبول، ترکیه، 1-3 سپتامبر 2008. مجموعه مقالات

    دانلود کتاب Theoretical Aspects of Computing – ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (به فارسی: جنبه های نظری محاسبات – ICTAC 2008: 5th International Colloquium، استانبول، ترکیه، 1-3 سپتامبر 2008. مجموعه مقالات) نوشته شده توسط «J. -R. Abrial – Thai Son Hoang (auth.) – John S. Fitzgerald – Anne E. Haxthausen – Husnu Yenigun (eds.)» اطلاعات کتاب جنبه های نظری محاسبات – ICTAC 2008: 5th International Colloquium، استانبول، ترکیه، 1-3 سپتامبر 2008. مجموعه مقالات موضوع اصلی: سازمان و پردازش داده ها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: J. -R. Abrial – Thai Son…

  • جنبه های نظری محاسبات – ICTAC 2006: سومین کنفرانس بین المللی، تونس، تونس، 20-24 نوامبر 2006. مجموعه مقالات

    دانلود کتاب Theoretical Aspects of Computing – ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings (به فارسی: جنبه های نظری محاسبات – ICTAC 2006: سومین کنفرانس بین المللی، تونس، تونس، 20-24 نوامبر 2006. مجموعه مقالات) نوشته شده توسط «Tobias Nipkow (auth.) – Kamel Barkaoui – Ana Cavalcanti – Antonio Cerone (eds.)» اطلاعات کتاب جنبه های نظری محاسبات – ICTAC 2006: سومین کنفرانس بین المللی، تونس، تونس، 20-24 نوامبر 2006. مجموعه مقالات موضوع اصلی: سازمان و پردازش داده ها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Tobias Nipkow (auth.) – Kamel Barkaoui – Ana Cavalcanti – Antonio…

  • جنبه های نظری محاسبات – ICTAC 2005: دومین کنفرانس بین المللی، هانوی، ویتنام، 17-21 اکتبر 2005. مجموعه مقالات

    دانلود کتاب Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings (به فارسی: جنبه های نظری محاسبات – ICTAC 2005: دومین کنفرانس بین المللی، هانوی، ویتنام، 17-21 اکتبر 2005. مجموعه مقالات) نوشته شده توسط «José Meseguer (auth.) – Dang Van Hung – Martin Wirsing (eds.)» اطلاعات کتاب جنبه های نظری محاسبات – ICTAC 2005: دومین کنفرانس بین المللی، هانوی، ویتنام، 17-21 اکتبر 2005. مجموعه مقالات موضوع اصلی: سازمان و پردازش داده ها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: José Meseguer (auth.) – Dang Van Hung – Martin Wirsing (eds.) زبان: English…

  • جنبه های نظری محاسبات – ICTAC 2004: اولین کنفرانس بین المللی، گوئیانگ، چین، 20-24 سپتامبر 2004، مقالات منتخب اصلاح شده

    دانلود کتاب Theoretical Aspects of Computing – ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers (به فارسی: جنبه های نظری محاسبات – ICTAC 2004: اولین کنفرانس بین المللی، گوئیانگ، چین، 20-24 سپتامبر 2004، مقالات منتخب اصلاح شده) نوشته شده توسط «José Luiz Fiadeiro (auth.) – Zhiming Liu – Keijiro Araki (eds.)» اطلاعات کتاب جنبه های نظری محاسبات – ICTAC 2004: اولین کنفرانس بین المللی، گوئیانگ، چین، 20-24 سپتامبر 2004، مقالات منتخب اصلاح شده موضوع اصلی: سازمان و پردازش داده ها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: José Luiz Fiadeiro (auth.) – Zhiming Liu…

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