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

Показано документи 53361 - 53380 від загального числа 114342

53361.	Зіньковський, Ю. Імператив трансформації сучасної освітньої парадигми // Вища школа. – 2010. – №3-4. – С.36. Шифр: 74.58 Авторський знак: З-66 Опис документа
53362.	Кропотова, Н. Чотири аспекти професії як соціокультурного феномену // Вища школа. – 2010. – №3-4. – С.44. Шифр: 74.58 Авторський знак: К83 Опис документа

53363.	Смолінська, О. Організаційна культура вишу і знання як результат його діяльності та вияв цілісності // Вища школа. – 2010. – №3-4. – С.51. Шифр: 74.58 Авторський знак: С51 Опис документа
53364.	Тархан, Л. Компетентнісний підхід як інновація в навчанні майбутніх інженерів-педагогів // Вища школа. – 2010. – №3-4. – С.82. Шифр: 74.58 Авторський знак: Т22 Опис документа

53365.	Вієвська, М. Мотивація професійного саморозвитку у реалізації стратегії формування управлінських компетенцій // Вища школа. – 2010. – №3-4. – С.89. Шифр: 74.58 Авторський знак: В55 Опис документа
53366.	Кибернетика и системный анализ, №4. – 2010. – 192с. Шифр: 519.7 Кількість примірників : 1 В наявності : 1 Опис документа

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

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

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

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

53375.

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

53376.

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

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

53379.

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

53380.

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