دانلود کتاب Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
دانلود کتاب Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
استدلال خودکار: دومین کنفرانس بین المللی مشترک، IJCAR 2004، کورک، ایرلند، 4-8 ژوئیه، 2004. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 491 |
| حجم فایل | 9 مگابایت |
| کد کتاب | 9783540223450,3540223452,3540259848 |
| نوبت چاپ | 1 |
دانلود کتاب Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
دانلود کتاب Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
دانلود کتاب Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
منطق علوم کامپیوتر: بیست و چهارمین کارگاه بین المللی، CSL 2010، نوزدهمین کنفرانس سالانه EACSL، برنو، جمهوری چک، 23-27 اوت 2010. مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 548 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 364215204X,9783642152047 |
| نوبت چاپ | 1 |
