دانلود کتاب Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II
دانلود کتاب Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II
دانلود کتاب Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
دانلود کتاب Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
دانلود کتاب Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
دانلود کتاب Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
روندهای اخیر در تکنیک های توسعه جبری: هجدهمین کارگاه بین المللی، WADT 2006، La Roche en Ardenne، بلژیک، 1-3 ژوئن 2006، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 174 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540719970,9783540719977 |
| نوبت چاپ | 1 |