دانلود کتاب Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
استدلال خودکار: سومین کنفرانس مشترک بین المللی، IJCAR 2006، سیاتل، WA، ایالات متحده آمریکا، 17-20 اوت 2006. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 688 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540371877,9783540371878 |
| نوبت چاپ | 1 |
دانلود کتاب Computer Aided Systems Theory — EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers
نظریه سیستم های به کمک رایانه — EUROCAST 2001: مجموعه ای از مقالات از هشتمین کارگاه بین المللی نظریه سیستم های به کمک رایانه Las Palmas de Gran Canaria، اسپانیا، 19 تا 23 فوریه، 2001 مقالات تجدید نظر شده
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 672 |
| حجم فایل | 9 مگابایت |
| کد کتاب | 354042959X,9783540429593 |
| نوبت چاپ | 1 |
