خرید و دانلود نسخه کامل کتاب Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

انتزاع ، اصلاح و تقریب: چهارمین سمپوزیوم بین المللی ، SARA 2000 Horseshoe Bay ، ایالات متحده آمریکا ، 26 تا 29 ژوئیه ، مجموعه مقالات

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

نویسنده: Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2000

تعداد صفحات: 342

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 5 مگابایت