دانلود رایگان مقالات نشریه ISI روش‌های منطقی و جبری در برنامه نویسی

جبر ویژگی های تمدید شده

Extended Feature Algebra

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

وابستگی در مدل های ارتباطی پایگاه های داده

Dependencies in relational models of databases

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

تداوم به عنوان یک اثر محاسباتی

Continuity as a computational effect

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

به سوی الگوها برای لپه ها و لامبداهای ضروری

Towards patterns for heaps and imperative lambdas

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

یک تمرین در تولید منطق پویای بسیار ارزشمند

An exercise on the generation of many-valued dynamic logics

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

حذف گاوس مطلوب نیست، بازبینی می شود

Gaussian elimination is not optimal, revisited

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

مقادیر احتمالی: بررسی یک مفهوم برای همزمان سازی

Possible values: Exploring a concept for concurrency

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

آیا این خطا منجر به شکست می شود؟ ترکیب پالایش و بازبینی سازگاری ورودی / خروجی در تولید نمونه مورد آزمایش گشتاور

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation

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

استدلال معادلاتی با نوشابه، چنگال، فنجان، کلاه، مار، و سرعت سنج

Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers

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

هسته، به طور خلاصه

Kernels, in a nutshell

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

مشتق رسمی الگوریتم های حریص از مشخصات ارتباطی: یک آموزش

Formal derivation of Greedy algorithms from relational specifications: A tutorial

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

چرا ریاضیات نیاز به مهندسی دارد

Why mathematics needs engineering

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

تنوع و قضاوت

Diversity and adjudication

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

برنامه های محصول و منطق برنامه های ارتباطی

Product programs and relational program logics

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

نظریه فاکتور و وحدت مخالفان

Factor theory and the unity of opposites

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

A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra

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

The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA

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

A divertimento on MonadPlus and nondeterminism

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