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

Показано документи 53281 - 53300 від загального числа 114367

53281.	Годлевский, А. Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем // Кибернетика и системный анализ. – 2010. – №4. – С.91. Шифр: 519.172 Авторський знак: Г59 Опис документа
53282.	Bjorner, D. Donain science and engineering from computer science to the sciences of informatics. Part 1: Engineering // Кибернетика и системный анализ. – 2010. – №4. – С.100. Шифр: 004.4 Опис документа

53283.

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

53284.

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

53285.

Лаврищева, Е. М.
Формальние основы интероперабельности компонентов в программировании // Кибернетика и системный анализ. – 2010. – №4. – С.134.
Шифр: 681.3.06 Авторський знак: Л13
Опис документа

53286.

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

53287.	Фінансовий контроль, №4. – К. : ТОВ" Піраміда ", 2010. – 53с. Шифр: 65.26 Кількість примірників : 1 В наявності : 1 Опис документа
53288.	Богданів, І. На часі - запровадження нових підходів до реалізації результатів контролю // Фінансовий контроль. – 2010. – №4. – С.16. Шифр: 65.26 Авторський знак: Б73 Опис документа

53289.	Барчук, Д. Кризовий стан вугільної геологорозвідки // Фінансовий контроль. – 2010. – №4. – С.18. Шифр: 65.26 Авторський знак: Б26 Опис документа
53290.	Орловська, О. Особливості пред'явлення вимог за результатами ревізій // Фінансовий контроль. – 2010. – №4. – С.24. Шифр: 65.26 Авторський знак: О-66 Опис документа

53291.	Перепічка, П. Нецільове використання бюджетних коштів // Фінансовий контроль. – 2010. – №4. – С.35. Шифр: 65.26 Авторський знак: П27 Опис документа
53292.	Радіонов, Ю. Здійснення контролю за виконанням повноважень, делегованих місцевому самоврядуванню органами виконавчої влади // Фінансовий контроль. – 2010. – №4. – С.40. Шифр: 65.26 Авторський знак: Р15 Опис документа

53293.	Энерготехнологии и ресурсосбережение, №3. – 2010. – 80с. Шифр: 502 Кількість примірників : 1 В наявності : 1 Опис документа
53294.	Дарвай, І. Я. Теоретичне обгрунтування нового методу визначення теплоти згоряння природного газу // Энерготехнологии и ресурсосбережение. – 2010. – №3. – С.14. Шифр: 502 Авторський знак: Д20 Опис документа

53295.

Джамбек, А. А.
Перезаряжаемый кислородно-цинковый элемент с катодом на основе неметаллических электрокатализаторов // Энерготехнологии и ресурсосбережение. – 2010. – №3. – С.34.
Шифр: 502 Авторський знак: Д40
Опис документа

53296.

Хвастухин, Ю. И.
Энергоэффективная технология сушки песка в аппарате с псевдоожиженным слоем // Энерготехнологии и ресурсосбережение. – 2010. – №3. – С.38.
Шифр: 502 Авторський знак: Х30
Опис документа

53297.	Трубникова, Л. В. Электролитическое извлечение металлов из системы промывных ванн гальванических линий // Энерготехнологии и ресурсосбережение. – 2010. – №3. – С.45. Шифр: 502 Авторський знак: Т77 Опис документа
53298.	Бойченко, С. В. Эволюция систем нейтрализации отработавших газов двигателей внутреннего сгорания // Энерготехнологии и ресурсосбережение. – 2010. – №3. – С.59. Шифр: 502 Авторський знак: Б77 Опис документа

53299.	Луданов, К. И. Расчет параметров антиконвективной структуры солнечного коллектора // Энерготехнологии и ресурсосбережение. – 2010. – №3. – С.75. Шифр: 502 Авторський знак: Л83 Опис документа
53300.	Львов, М. С. Полиномиальные инварианты линейных циклов // Кибернетика и системный анализ. – 2010. – №4. – С.159. Шифр: 004.421.6 Авторський знак: Л89 Опис документа