0 رای
وضعیت موجودی موجود

قیمت قبلی: 3,460,000 ریال
قیمت: 3,060,000 ریال

 



جلد سخت سیاه و سفید

Product details

  • Publisher ‏ : ‎ Springer; 1st ed. 2022 edition (March 13, 2022)
  • Language ‏ : ‎ English
  • Paperback ‏ : ‎ 186 pages
  • ISBN-10 ‏ : ‎ 3030988686
  • ISBN-13 ‏ : ‎ 978-3030988685


 

کتاب Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290)

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*

The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk.

*Conference was held as a hybrid event due to the COVID-19 pandemic.

منابع کتاب کتاب Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290)

این کتاب مجموعه مقالات داوری سی و یکمین کنفرانس بین‌المللی سنتز و تحول برنامه‌های مبتنی بر منطق، LOPSTR 2021 است که در 7 تا 8 سپتامبر 2021 برگزار شد.*

8 مقاله ارائه شده در این جلد با دقت بررسی و از بین 15 مقاله ارسالی بررسی شده انتخاب شدند. علاوه بر این، کتاب همچنین حاوی 1 سخنرانی دعوت شده کامل است.

*کنفرانس به دلیل همه گیری کووید-19 به صورت یک رویداد ترکیبی برگزار شد.

نظرات کاربران درباره کتاب Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290)

نظری در مورد این محصول توسط کاربران ارسال نگردیده است.
اولین نفری باشید که در مورد کتاب Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290) نظر می دهد.

ارسال نظر درباره کتاب Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290)

لطفا توجه داشته باشید که ایمیل شما منتشر نخواهد شد.

برچسب های مرتبط با کتاب Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290)

Computers&Technology انتشارات طلایی

بر اساس سلیقه شما...

  این کتاب به صورت  رنگی  است. Product details ...
15,120,000 ریال

codebazan

طراحی و اجرا: فروشگاه ساز سبدخرید