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

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

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

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

Ontology for Psychophysiological Dysregulation of AngerAggression

Existence Globale des Solutions des Systèmes de Réaction-Diffusion via des Méthodes Fonctionnelles

Genres of Inquiry in Design Science Research-Applying Search Conference to Contemporary Information Systems Security Theory

Generating Invalid Input Strings for Software Testing

LOST IN THE MIDDLE KINGDOM- TEACHING NEW LANGUAGES USING SERIOUS

AN EXTENDABLE VISUALIZATION AND USER INTERFACE DESIGN FOR TIME-VA

Algorithms for Timing and Sequencing Behaviors in Robotic Swarms

Computational Doping for Fuel Cell Material Design Based on Genet بعنوان

Design of an Automatic Synchronizing Device for DualElectrical Generators Based on CAN Protocol

Wireless Cyber-Physical Simulator and Case Studies on Structural

Structure-based prediction of protein-protein interaction sites

Analysis of 3D Cone-Beam CT Image Reconstruction Performance on a FPGA

أضف كتاباً

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