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

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

فروشگاه اپ گوگل پلی
Benjamin C. Pierce

Benjamin C. Pierce

بررسی اجمالی کتاب‌ها سری
Software Foundations, Volume 1: Logical Foundations

Software Foundations, Volume 1: Logical Foundations

Benjamin C. Pierce

Software Foundations, Volume 2: Programming Language Foundations

Software Foundations, Volume 2: Programming Language Foundations

Benjamin C. Pierce

Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

Benjamin C. Pierce

Types and Programming Languages

Types and Programming Languages

Benjamin C. Pierce

Типы в языках программирования

Типы в языках программирования

Benjamin C. Pierce

Software Foundations

Software Foundations

Benjamin C. Pierce

Advanced Topics In Types And Programming Languages

Advanced Topics In Types And Programming Languages

Benjamin C. Pierce

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings

Benjamin C. Pierce

Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists

Benjamin C. Pierce

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Lecture Notes in Computer Science)

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Lecture Notes in Computer Science)

Benjamin C. Pierce

Software Foundations (Volume 4): QuickChick: Property-Based Testing in Coq

Software Foundations (Volume 4): QuickChick: Property-Based Testing in Coq

Leonidas Lampropoulos

Basic Category Theory for Computer Scientists (Foundations of Computing)

Basic Category Theory for Computer Scientists (Foundations of Computing)

Benjamin C. Pierce

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

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

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

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

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

ضروری

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

تجزیه و تحلیل

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

بازاریابی

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