Електронний каталог - Бібліотека ЖДТУ

Показано документи 53621 - 53640 від загального числа 113881

53621.	Летичевский, А. А. Свойства предикатного трансформера системы VRS // Кибернетика и системный анализ. – 2010. – №4. – С.3. Шифр: 519.686.2 Авторський знак: Л52 Опис документа
53622.	Скобелев, В. В. О сложности анализа автоматов над конечным кольцом // Кибернетика и системный анализ. – 2010. – №4. – С.17. Шифр: 519.713+512.552 Авторський знак: С44 Опис документа

53623.	Шахбазян, К. В. Вхождения в моноидах треков // Кибернетика и системный анализ. – 2010. – №4. – С.31. Шифр: 519.712 Авторський знак: Ш31 Опис документа
53624.	Захаров, В. А. Проверка эквивалентности программ с помощью двухленточных автоматов // Кибернетика и системный анализ. – 2010. – №4. – С.39. Шифр: 519.71 Авторський знак: З-38 Опис документа

53625.	Елфимова, Л. Д. Быстрые гибридные алгоритмы умножения матриц // Кибернетика и системный анализ. – 2010. – №4. – С.49. Шифр: 681.322.012 Авторський знак: Е55 Опис документа
53626.	Чеботарев, А. Н. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L* // Кибернетика и системный анализ. – 2010. – №4. – С.60. Шифр: 519.713.1 Авторський знак: Ч-34 Опис документа

53627.	Колчин, А. В. Автоматический метод динамического построения абстракций состояний формальной модели // Кибернетика и системный анализ. – 2010. – №4. – С.70. Шифр: 519.686.2 Авторський знак: К61 Опис документа
53628.	Годлевский, А. Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем // Кибернетика и системный анализ. – 2010. – №4. – С.91. Шифр: 519.172 Авторський знак: Г59 Опис документа

53629.

Bjorner, D.
Donain science and engineering from computer science to the sciences of informatics. Part 1: Engineering // Кибернетика и системный анализ. – 2010. – №4. – С.100.
Шифр: 004.4
Опис документа

53630.

Глибовец, Н. Н.
Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda // Кибернетика и системный анализ. – 2010. – №4. – С.117.
Шифр: 658.012.011.56+378(477) Авторський знак: Г54
Опис документа

53631.	Герман, В. Н. Решение линейных ограничений над полем вещественных и рациональных чисел // Кибернетика и системный анализ. – 2010. – №4. – С.123. Шифр: 519.852.2 Авторський знак: Г38 Опис документа
53632.	Лаврищева, Е. М. Формальние основы интероперабельности компонентов в программировании // Кибернетика и системный анализ. – 2010. – №4. – С.134. Шифр: 681.3.06 Авторський знак: Л13 Опис документа

53633.

Дорошенко, А. Е.
Развитие инструментария алгебры алгоритмики с целью разработки паралельных программ с использованием эвристических средств // Кибернетика и системный анализ. – 2010. – №4. – С.151.
Шифр: 681.3 Авторський знак: Д69
Опис документа

53634.

Фінансовий контроль, №4. – К. : ТОВ" Піраміда ", 2010. – 53с.
Шифр: 65.26
Кількість примірників : 1 В наявності : 1
Опис документа

53635.	Богданів, І. На часі - запровадження нових підходів до реалізації результатів контролю // Фінансовий контроль. – 2010. – №4. – С.16. Шифр: 65.26 Авторський знак: Б73 Опис документа
53636.	Барчук, Д. Кризовий стан вугільної геологорозвідки // Фінансовий контроль. – 2010. – №4. – С.18. Шифр: 65.26 Авторський знак: Б26 Опис документа

53637.	Орловська, О. Особливості пред'явлення вимог за результатами ревізій // Фінансовий контроль. – 2010. – №4. – С.24. Шифр: 65.26 Авторський знак: О-66 Опис документа
53638.	Перепічка, П. Нецільове використання бюджетних коштів // Фінансовий контроль. – 2010. – №4. – С.35. Шифр: 65.26 Авторський знак: П27 Опис документа

53639.	Радіонов, Ю. Здійснення контролю за виконанням повноважень, делегованих місцевому самоврядуванню органами виконавчої влади // Фінансовий контроль. – 2010. – №4. – С.40. Шифр: 65.26 Авторський знак: Р15 Опис документа
53640.	Энерготехнологии и ресурсосбережение, №3. – 2010. – 80с. Шифр: 502 Кількість примірників : 1 В наявності : 1 Опис документа