دانلود رایگان مقالات نشریه ISI ساختارها، سیستم‌ها و زبان‌های کامپیوتر

رویکردهای ترکیب مترجم

Approaches to interpreter composition

19 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

در تأیید بازسازی مجدد معماری

On the verification of architectural reconfigurations

20 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

اتصالات انعطاف پذیر در میزار

Flexary connectives in Mizar

13 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

یک رویکرد سبک به مکانیسم استثنایی در بخش کامپوننت برای برنامه های اندرویدی قوی

A lightweight approach to component-level exception mechanism for robust android apps

16 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

مفاهیم و ارزیابی رویکرد روابط انحصاری توسعه یافته به طراحی پایگاه داده در یک ابزار مدل سازی چندگانه پارادایمی

Concepts and evaluation of the extended entity-relationship approach to database design in a multi-paradigm information system modeling tool

20 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

حافظه اختصاصی حافظه هوشمند

The intelligent memory allocator selector

13 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

حمایت از ارائه قابل فهم از نامزدهای کلون از طریق حداکثر سازی دو بعدی

Supporting comprehensible presentation of clone candidates through two-dimensional maximisation

11 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

Compiling and verifying SC-SystemJ programs for safety-critical reactive systems

32 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

DSML4CP: A Domain-specific Modeling Language for Concurrent Programming

23 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه