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

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

فروشگاه اپ گوگل پلی
Neil D. Jones

Neil D. Jones

بررسی اجمالی کتاب‌ها
Computability and Complexity: From a Programming Perspective Neil D. Jones

Computability and Complexity: From a Programming Perspective

Neil D. Jones

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Neil D. Jones

Logic, Language, and Computation: Festschrift in Honor of Satoru Takasu

Logic, Language, and Computation: Festschrift in Honor of Satoru Takasu

Neil D. Jones

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science

Neil D. Jones

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Neil D. Jones

Partial Evaluation and Automatic Program Generation

Partial Evaluation and Automatic Program Generation

Neil D. Jones

ESOP '90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings

ESOP '90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings

Neil D. Jones

Esop '90: Proceedings

Esop '90: Proceedings

Neil D. Jones

Program Flow Analysis: Theory and Applications

Program Flow Analysis: Theory and Applications

Neil D. Jones

Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Neil D. Jones

Semantics-Directed Compiler Generation: Proceedings of a Workshop (Aarhus, Denmark, January, 1980)

Semantics-Directed Compiler Generation: Proceedings of a Workshop (Aarhus, Denmark, January, 1980)

Neil D. Jones

Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

Neil D. Jones

Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

Neil D. Jones

Computability theory: an introduction

Computability theory: an introduction

Neil D. Jones

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

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

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

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

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

ضروری

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

تجزیه و تحلیل

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

بازاریابی

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