typet

  • انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 2006، ناتینگهام، انگلستان، 18-21 آوریل، 2006، مقالات منتخب اصلاح شده

    دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (به فارسی: انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 2006، ناتینگهام، انگلستان، 18-21 آوریل، 2006، مقالات منتخب اصلاح شده) نوشته شده توسط «Robin Adams – Zhaohui Luo (auth.) – Thorsten Altenkirch – Conor McBride (eds.)» اطلاعات کتاب انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 2006، ناتینگهام، انگلستان، 18-21 آوریل، 2006، مقالات منتخب اصلاح شده موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Robin Adams – Zhaohui Luo (auth.) – Thorsten Altenkirch – Conor McBride…

  • انواع مدارک و برنامه ها: کنفرانس بین المللی، TYPES 2007، Cividale des Friuli، ایتالیا، 2-5 مه، 2007 مقالات منتخب اصلاح شده

    دانلود کتاب Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers (به فارسی: انواع مدارک و برنامه ها: کنفرانس بین المللی، TYPES 2007، Cividale des Friuli، ایتالیا، 2-5 مه، 2007 مقالات منتخب اصلاح شده) نوشته شده توسط «Lisa Allali (auth.) – Marino Miculan – Ivan Scagnetto – Furio Honsell (eds.)» اطلاعات کتاب انواع مدارک و برنامه ها: کنفرانس بین المللی، TYPES 2007، Cividale des Friuli، ایتالیا، 2-5 مه، 2007 مقالات منتخب اصلاح شده موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Lisa Allali (auth.) – Marino Miculan…

  • انواع مدارک و برنامه ها: کنفرانس بین المللی، TYPES 2008 تورینو، ایتالیا، 26-29 مارس، 2008 مقالات منتخب اصلاح شده

    دانلود کتاب Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (به فارسی: انواع مدارک و برنامه ها: کنفرانس بین المللی، TYPES 2008 تورینو، ایتالیا، 26-29 مارس، 2008 مقالات منتخب اصلاح شده) نوشته شده توسط «Davide Ancona – Giovanni Lagorio – Elena Zucca (auth.) – Stefano Berardi – Ferruccio Damiani – Ugo de’Liguoro (eds.)» اطلاعات کتاب انواع مدارک و برنامه ها: کنفرانس بین المللی، TYPES 2008 تورینو، ایتالیا، 26-29 مارس، 2008 مقالات منتخب اصلاح شده موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده:…

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