• انگلیسی
  • اسپانیایی
  • فرانسوی
  • آلمانی
  • پرتغالی
  • ایتالیایی
  • روسی
  • چینی (ساده شده)
  • چینی (سنتی)
  • ژاپنی
  • کره‌ای
  • هلندی
  • سوئدی
  • فارسی
  • عربی
  • لهستانی
  • خانه
  • کشف کردن
  • مقالات
  • ورود
  • ثبت نام
  • انگلیسی
  • اسپانیایی
  • فرانسوی
  • آلمانی
  • پرتغالی
  • ایتالیایی
  • روسی
  • چینی (ساده شده)
  • چینی (سنتی)
  • ژاپنی
  • کره‌ای
  • هلندی
  • سوئدی
  • فارسی
  • عربی
  • لهستانی
اسکنر بارکد ISBN
کتاب‌ها را در چند ثانیه با اسکن بارکد اضافه کنید.

فقط یک ISBN را اسکن کنید تا بلافاصله به کتابخانه شما اضافه شود. هم اکنون در دسترس برای iOS و Android.

فروشگاه اپ گوگل پلی
Michael Hanus

Michael Hanus

بررسی اجمالی کتاب‌ها
Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

Michael Hanus

Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996. Proceedings

Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996. Proceedings

Michael Hanus

Applications of Declarative Programming and Knowledge Management

Applications of Declarative Programming and Knowledge Management

Dietmar Seipel

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, ...

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, ...

Dietmar Seipel

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Michael Hanus

Applications of Declarative Programming and Knowledge Management

Applications of Declarative Programming and Knowledge Management

Dietmar Seipel

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings

Michael Hanus

Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Michael Hanus

Problemlösen mit PROLOG (MikroComputer-Praxis)

Problemlösen mit PROLOG (MikroComputer-Praxis)

Michael Hanus

مسیر خواندن خود را دنبال کنید، کتاب‌های جدید کشف کنید و با BookPine به اهداف خواندن خود برسید.

فروشگاه اپ گوگل پلی
کشف کردن
  • کشف کردن
حساب
  • ورود
  • ثبت نام
پشتیبانی
  • سوالات متداول
  • درخواست‌های ویژگی
  • تماس
شرایط
  • شرایط خدمات
  • سیاست حفظ حریم خصوصی
  • سیاست کوکی
  • مدیریت کوکی‌ها

حق نشر © 2026 BookPine. تمام حقوق محفوظ است.

ارسال بازخورد

ما از کوکی‌ها برای بهبود تجربه شما و تجزیه و تحلیل ترافیک سایت استفاده می‌کنیم. شما می‌توانید انتخاب کنید کدام کوکی‌ها را بپذیرید.

ضروری

برای کارکرد وب‌سایت لازم است. نمی‌توان غیرفعال کرد.

تجزیه و تحلیل

به ما کمک کنید تا درک کنیم بازدیدکنندگان چگونه با وب‌سایت ما تعامل دارند.

بازاریابی

برای ارائه تبلیغات مرتبط و ردیابی کمپین‌ها استفاده می‌شود.