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

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

فروشگاه اپ گوگل پلی
Mario Bravetti

Mario Bravetti

بررسی اجمالی کتاب‌ها
Behavioral Types in Programming Languages

Behavioral Types in Programming Languages

Davide Ancona

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Robert Hierons

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Mario Bravetti

CONCUR 2009 - Concurrency Theory

CONCUR 2009 - Concurrency Theory

Mario Bravetti

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

Mario Bravetti

Web Services and Formal Methods

Web Services and Formal Methods

Mario Bravetti

Formal Techniques for Computer Systems and Business Processes

Formal Techniques for Computer Systems and Business Processes

Mario Bravetti

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Mario Bravetti

Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web ...

Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web ...

Mario Bravetti

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Mario Bravetti

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

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

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

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

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

ضروری

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

تجزیه و تحلیل

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

بازاریابی

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