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

۰ از ۵

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

دانلود کتاب Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

Name: دانلود کتاب Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
Brand: سلکتد

خرید از بلیان

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

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

بلیان

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

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

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

گزارش

~~۳۶,۰۰۰~~

٪۴۶

۱۹,۵۰۰

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

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

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

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

مشخصات فنی

مشخصات فنی دانلود کتاب Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

مشخصات

تعداد صفحه 241

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

زبان انگلیسی

سال انتشار 2002

فرمت PDF

کد کتاب 9089640266 , 9789089640260

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

ناشر Amsterdam University Press

نوبت چاپ 1

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

نویسنده Alberto Pettorossi (eds.) , Natarajan Shankar (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

از ۱۹,۵۰۰