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

The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 933 ) :: The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types رسالة ماجستير - تحميل مباشر

تفاصيل كتاب The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types

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

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

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

تحميل كتاب The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types

« A Data-Descriptive Feedback Framework for Data Stream Management

EPA-RIMM-V- Efficient Rootkit Detection for Virtualized Environme »

أضف كتاباً

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

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

The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types

تفاصيل كتاب The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types

« A Data-Descriptive Feedback Framework for Data Stream Management

EPA-RIMM-V- Efficient Rootkit Detection for Virtualized Environme »

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

An Improved Clustering based Monte Carlo Localization approach for Cooperative Multi-robot Localization

Query Selection in Deep Web Crawling

Detection and Recognition of Traffic Signs Inside the Attentional

Resource Allocation for Periodic Traffic Demands in WDM Networks

Adaptive Middleware for Resource-Constrained Mobile Ad Hoc and Wireless Sensor Networks بعنوان

Synthesizing species trees from gene trees using the parameterize

Citation Function and Polarity Classification in Biomedical Paper

Middleware Architecture for Sensing as a Service

Heterogeneous Integration of AlN MEMS Contour-Mode Resonators and CMOS circuits

Identifying Individual Driver Behaviour Using InVehicle CAN-bus Signals of Pre-Turning Maneuvers

Relay Node Placement and Trajectory Computation of Mobile Data Collectors in Wireless Sensor Networks

new density-based clustering technique

أضف كتاباً

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