ابحث في المكتبة الالكترونية
ابحث في المكتبة باستخدام Google:
Download File
You have requested: https://www.jamaa.net/books.library/The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types.pdf
The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types.pdf

ملفات وكتب متعلقة

تحميل كتاب Toward a Concurrent Programming Model with Modular Reasoning

Toward a Concurrent Programming Model with Modular Reasoning

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1014 ) :: Toward a Concurre

تحميل كتاب PaniniJ adding the capsule programming abstraction to Java to provide linguistic support for modular reasoning in concurrent program design

PaniniJ adding the capsule programming abstraction to Java to provide linguistic support for modular reasoning in concurrent program design

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1009 ) :: PaniniJ adding th

أكثر الكتب زيارة وتحميلاً:

أضف كتاباً

سـاهم في إثراء المكتبة العربية

مكتبة ملتقى جامعة دمشق الإلكترونية التفاعلية
أحد مشاريع شركة Shabab SY البرمجية
معا نرتقي...

جميع الحقوق محفوظة لمؤلفي الكتب ولدور النشر
موقعنا لا ينتهك أى حقوق طبع أو تأليف وكل ما هو متاح عليه من رفع ونشر أعضاء الموقع الكرام، وفى حال وجود أى كتاب ينتهك حقوق الملكية برجى الإتصال بنا على [email protected]
الرؤية والأهداف | سياسة الخصوصية | إتفاقية الاستخدام | DMCA