ifiq
تکنیک های رسمی برای سیستم های توزیع شده: یازدهمین کنفرانس بین المللی مشترک IFIP WG 6.1 FMOODS 2009 و بیست و نهمین کنفرانس بین المللی IFIP WG 6.1 FORTE 2009، لیسبون، پرتغال، 9-12 ژوئن، 2009. مجموعه مقالات
دانلود کتاب Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings (به فارسی: تکنیک های رسمی برای سیستم های توزیع شده: یازدهمین کنفرانس بین المللی مشترک IFIP WG 6.1 FMOODS 2009 و بیست و نهمین کنفرانس بین المللی IFIP WG 6.1 FORTE 2009، لیسبون، پرتغال، 9-12 ژوئن، 2009. مجموعه مقالات) نوشته شده توسط «David Kitchin – Adrian Quark – William Cook – Jayadev Misra (auth.) – David Lee – Antónia Lopes – Arnd Poetzsch-Heffter (eds.)» اطلاعات کتاب تکنیک های رسمی…
هوش مصنوعی در تئوری و عمل: نوزدهمین کنگره جهانی کامپیوتر IFIP، جریان TC-12 IFIP AI 2006، 21-24 اوت 2006، سانتیاگو، شیلی
دانلود کتاب Artificial Intelligence in Theory and Practice: IFIP 19th World Computer Congress, TC-12 IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile (به فارسی: هوش مصنوعی در تئوری و عمل: نوزدهمین کنگره جهانی کامپیوتر IFIP، جریان TC-12 IFIP AI 2006، 21-24 اوت 2006، سانتیاگو، شیلی) نوشته شده توسط «Max Bramer» اطلاعات کتاب هوش مصنوعی در تئوری و عمل: نوزدهمین کنگره جهانی کامپیوتر IFIP، جریان TC-12 IFIP AI 2006، 21-24 اوت 2006، سانتیاگو، شیلی موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Max Bramer زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر…