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

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
مرات الزيارة: 277

عرض جميع الكتب التي أضيفت بواسطة: 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 »

أضف كتاباً

التحميل من شبكة الانترنت التحميل من جهازي

ابحث في المكتبة الالكترونية

Higher-Dimensional Types in the Mechanization of Homotopy Theory

تفاصيل كتاب 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 »

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

A user configurable implementation of B-trees

Intrusion detection using probabilistic graphical models

Adapting to Context in Robot State Estimation

Window Queries Over Data Streams

The Role of Prior Knowledge in Multi-Population Cultural Algorith

A Logic Test Chip for Optimal Test and Diagnosis

Automatic Foreground Initialization for Binary Image Segmentation

Prediction of crystal packing and biological proteinprotein interactions with Linear Dimensionality Reduction-SVD

Formal foundations for hybrid effect analysis

Lidar Simulation for Robotic Application Development- Modeling and Evaluation

Global EDF Scheduling for Parallel Real-Time Tasks

Impairment Aware Routing in Translucent Optical Networks

أضف كتاباً

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