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

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

فروشگاه اپ گوگل پلی
Alexander Knapp

Alexander Knapp

بررسی اجمالی کتاب‌ها سری
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Alexandre Madeira

Ernest Bloch Studies

Ernest Bloch Studies

Alexander Knapp

Critical Systems: Formal Methods and Automated Verification (Joint 21st International Workshop on Formal Methods for Industrial Critical Systems)

Critical Systems: Formal Methods and Automated Verification (Joint 21st International Workshop on Formal Methods for Industrial Critical Systems)

Maurice H. ter Beek

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th ... Notes in Computer Science Book 9933)

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th ... Notes in Computer Science Book 9933)

Maurice H. ter Beek

Radical Innovations of Software and Systems Engineering in the Future

Radical Innovations of Software and Systems Engineering in the Future

Alexander Knapp

A Formal Approach to Object-oriented Software Engineering

A Formal Approach to Object-oriented Software Engineering

Alexander Knapp

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

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

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

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

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

ضروری

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

تجزیه و تحلیل

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

بازاریابی

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