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

۰ از ۵

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

دانلود کتاب Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

Name: دانلود کتاب Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers
Brand: سلکتد

خرید از بلیان

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

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

بلیان

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

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

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

گزارش

~~۳۶,۰۰۰~~

٪۵۸

۱۵,۰۰۰

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

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

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

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

مشخصات فنی

مشخصات فنی دانلود کتاب Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

مشخصات

تعداد صفحه 312

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

زبان انگلیسی

سال انتشار 2000

فرمت PDF

کد کتاب 3030030342 , 9783030030346

موضوع اصلی کامپیوتر - برنامه نویسی

ناشر Packt Publishing

نوبت چاپ 1

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

نویسنده Annalisa Bossi (eds.) , Donald Sannella (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

از ۱۵,۰۰۰