ابحث في المكتبة الالكترونية
ابحث في المكتبة باستخدام Google:
مكتبة ملتقى جامعة دمشق الالكترونية -> رسائل ماجستير ودكتوراه -> علم الحاسوب

Higher-Dimensional Types in the Mechanization of Homotopy Theory

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 664 ) :: Higher-Dimensional Types in the Mechanization of Homotopy Theory رسالة دكتوراه - تحميل مباشر

تفاصيل كتاب Higher-Dimensional Types in the Mechanization of Homotopy Theory

التصنيف: رسائل ماجستير ودكتوراه -> علم الحاسوب

حجم الملف: 639 KB
نوع الملف: pdf
أضيف بواسطة: Y4$$3R N3T
بتاريخ: 19-08-2018
عدد مرات التحميل: 1
مرات الزيارة: 378

عرض جميع الكتب التي أضيفت بواسطة: Y4$$3R N3T

تحميل كتاب Higher-Dimensional Types in the Mechanization of Homotopy Theory

« Knowledge Transfer by Employees Across Firm Boundaries- A MICRO PROCESS WITH CONSEQUENTIAL MACRO OUTCOMES

Underwater Cave Mapping and Reconstruction Using Stereo Vision »

اخترنا لك أيضاً

تحميل كتاب Knowledge Migration Strategies for Optimization of Multi-Populati

Knowledge Migration Strategies for Optimization of Multi-Populati

(3)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 386 ) :: Knowledge Migratio

تحميل كتاب Optimal grasping of soft objects with two robotic fingers

Optimal grasping of soft objects with two robotic fingers

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1071 ) :: Optimal grasping

تحميل كتاب AN EXTENDABLE VISUALIZATION AND USER INTERFACE DESIGN FOR TIME-VA

AN EXTENDABLE VISUALIZATION AND USER INTERFACE DESIGN FOR TIME-VA

(4)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 96 ) :: AN EXTENDABLE VISUA

تحميل كتاب Generating User-centric Dynamic and Adaptable Knowledge Models for World Wide Web

Generating User-centric Dynamic and Adaptable Knowledge Models for World Wide Web

(3)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 481 ) :: Generating User-ce

تحميل كتاب Practical Type Inference for the GADT Type System

Practical Type Inference for the GADT Type System

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 941 ) :: Practical Type Inf

تحميل كتاب Novel Cryptographic Primitives and Protocols for Censorship Resistance

Novel Cryptographic Primitives and Protocols for Censorship Resistance

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 930 ) :: Novel Cryptographi

تحميل كتاب Devices for safety-critical molecular programmed systems

Devices for safety-critical molecular programmed systems

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 999 ) :: Devices for safety

تحميل كتاب Improved Non-Local Means Algorithm Based on Dimensionality Reduction

Improved Non-Local Means Algorithm Based on Dimensionality Reduction

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 794 ) :: Improved Non-Local

تحميل كتاب Emotion based Facial Animation using Four Contextual Control Mode

Emotion based Facial Animation using Four Contextual Control Mode

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 571 ) :: Emotion based Faci

تحميل كتاب Some studies on protein structure alignment algorithms

Some studies on protein structure alignment algorithms

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 339 ) :: Some studies on pr

تحميل كتاب Reflective Deliberative Agent-Based Information Gathering بعنوان

Reflective Deliberative Agent-Based Information Gathering بعنوان

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 209 ) :: Reflective Deliber

تحميل كتاب Ghosts of the Horseshoe- A Mobilization of a Critical Interactive

Ghosts of the Horseshoe- A Mobilization of a Critical Interactive

(1)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 688 ) :: Ghosts of the Hors

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

أضف كتاباً

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

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

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