قیمت۱۵,۰۰۰ تومان

۰ از ۵

از میانگین ۰ نظر دهنده

دانلود کتاب Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Name: دانلود کتاب Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Brand: سلکتد

خرید از بلیان

ارزان‌ترین۱۵,۰۰۰

فروشنده‌ها ۱ مشخصات نظرات مشابه

بلیان

فارس بدون امتیاز

۱ سال و ۱۰ ماه گزارش

دانلود کتاب Logic Based Program Synthesis and Transformation...

گزارش

~~۳۶,۰۰۰~~

٪۵۸

۱۵,۰۰۰

بروزشده در ۱۲ ساعت پیش

مشاهده پیشنهاد

بروزشده در ۱۲ ساعت پیش

پیشنهاد ویژه فروشندگان

مشخصات فنی

مشخصات فنی دانلود کتاب Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

مشخصات

تعداد صفحه 324 / 347

حجم فایل 9.92 مگابایت

زبان انگلیسی

سال انتشار 2004

فرمت DJVU

کد کتاب 1526508370 , 9781526508379

موضوع اصلی ارجاع

ناشر Wiley-IEEE Press

نوبت چاپ 1

نوع کالا کتاب الکترونیکی

نویسنده Helko Lehmann , Maurice Bruynooghe (eds.) , Michael Leuschel (auth.)

مشاهده بیشتر

نظرات کاربران

هیچ نظری ثبت نشده است.

کالاهای مشابه

جدیدترین‌های محتوای آموزشی سلکتد

محتوای آموزشی دانلود کتاب Digital Image Analysis: Selected Techniques and Applications

از ۱۵,۰۰۰

دانلود کتاب BTEC First ICT Practitioners: Core units and selected specialist units for the BTEC First Certificate and Diploma for ICT Practitioners

از ۱۵,۰۰۰

دانلود کتاب BTEC First ICT Practitioners Curriculum Support Pack: Core units and selected specialist units for the BTEC First Certificate and Diploma for ICT Practitioners

از ۱۵,۰۰۰

دانلود کتاب Advances in Technological Applications of Logical and Intelligent Systems: Selected Papers from the Sixth Congress on Logic Applied to Technology - Volume

از ۱۵,۰۰۰

محتوای آموزشی دانلود کتاب Richard Keating: Selected and Current Works

از ۱۵,۰۰۰

دانلود کتاب Recent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers

از ۱۵,۰۰۰

دانلود کتاب Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

از ۱۵,۰۰۰

دانلود کتاب Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

از ۱۵,۰۰۰

دانلود کتاب Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

از ۱۵,۰۰۰

دانلود کتاب Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers

از ۱۵,۰۰۰

محتوای آموزشی دانلود کتاب Selected problems from the era problem tournament

از ۱۵,۰۰۰

$دانلود کتاب Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT\\'97 Tarquinia, Italy, June 3–7, 1997 Selected Papers$

دانلود کتاب Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT\\'97 Tarquinia, Italy, June 3–7, 1997 Selected Papers

از ۱۵,۰۰۰

دانلود کتاب Software language engineering first international conference; revised selected papers SLE

از ۱۵,۰۰۰

دانلود کتاب Software Engineering Research and Applications: First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers

از ۱۵,۰۰۰

دانلود کتاب Security Protocols: 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers

از ۱۵,۰۰۰

دانلود کتاب Multisensor Fusion and Integration for Intelligent Systems: An Edition of the Selected Papers from the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems 2008

از ۱۵,۰۰۰

دانلود کتاب Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

از ۱۵,۰۰۰