A formal language towards the unification of model checking and performance evaluation

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 998 ) :: A formal language towards the unification of model checking and performance evaluation رسالة دكتوراه - تحميل مباشر

تفاصيل كتاب A formal language towards the unification of model checking and performance evaluation

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

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

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

تحميل كتاب A formal language towards the unification of model checking and performance evaluation

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

تحميل كتاب A Reservation-based Smart Parking System

A Reservation-based Smart Parking System

(8)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 81 ) :: A Reservation-based

تحميل كتاب enhancement intrusion detection system using improved naive bayes and one class classification algorithms

enhancement intrusion detection system using improved naive bayes and one class classification algorithms

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 280 ) :: enhancement intrus

تحميل كتاب Online Ecosystems in Software Development

Online Ecosystems in Software Development

(4)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 193 ) :: Online Ecosystems

تحميل كتاب Robust Data Center Network Design using Space Division Multiplexi

Robust Data Center Network Design using Space Division Multiplexi

(4)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 378 ) :: Robust Data Center

تحميل كتاب Information management system using 2D barcodes and cell phone technology

Information management system using 2D barcodes and cell phone technology

(1)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1180 ) :: Information manag

تحميل كتاب PLANT IMAGE PROCESSING- 3D VOLUME RECONSTRUCTIONHYPERSPECTRAL

PLANT IMAGE PROCESSING- 3D VOLUME RECONSTRUCTIONHYPERSPECTRAL

(5)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 196 ) :: PLANT IMAGE PROCES

تحميل كتاب Compliance-oriented Impediments and Effort Estimation Metrics

Compliance-oriented Impediments and Effort Estimation Metrics

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 756 ) :: Compliance-oriente

تحميل كتاب Investigating the Relationship between IT and Organizations-

Investigating the Relationship between IT and Organizations-

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 539 ) :: Investigating the

تحميل كتاب Implementation and Web Mounting of the WebOMiner S Recommendation

Implementation and Web Mounting of the WebOMiner S Recommendation

(3)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 346 ) :: Implementation and

تحميل كتاب Automatic refactoring history reconstruction and dynamic component adaptation frameworks for refactoring-based software component evolution

Automatic refactoring history reconstruction and dynamic component adaptation frameworks for refactoring-based software component evolution

(3)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1054 ) :: Automatic refacto

تحميل كتاب A web service based architecture for authorization of unknown entities in a Grid environment.

A web service based architecture for authorization of unknown entities in a Grid environment.

(2)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 550 ) :: A web service base

تحميل كتاب Testing database applications using coverage analysis and mutatio

Testing database applications using coverage analysis and mutatio

(3)

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 1060 ) :: Testing database

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

أضف كتاباً

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

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

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