Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Журнали та продовжувані видання (1)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>I=Ж29114/2010/46/4<.>)
Загальна кількість знайдених документів : 1
 
Кібернетика та системний аналіз : міжнар. наук.-теорет. журн..- Київ
Kibernetika i sistemnyj analiz

  1. Титул, содержание.

    2. Кибернетика

  2. Летичевский А. А., Годлевский А. Б., Летичевский А. А., Потиенко С. В., Песчаненко В. С. Свойства предикатного трансформера системы VRS. - C. 3-16.

  3. Скобелев В. В., Скобелев В. Г. О сложности анализа автоматов над конечным кольцом. - C. 17-30.

  4. Шахбазян К. В., Шукурян Ю. Г. Вхождения в моноидах треков. - C. 31-38.

  5. Захаров В. А. Проверка эквивалентности программ с помощью двухленточных автоматов. - C. 39-48.

  6. Елфимова Л. Д. Быстрые гибридные алгоритмы умножения матриц. - C. 49-59.

  7. Чеботарев А. Н. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L. - C. 60-69.

  8. Колчин А. В. Автоматический метод динамического построения абстракций состояний формальной модели. - C. 70-90.

  9. Годлевский А. Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем. - C. 91-99.

  10. Bjørner D. Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering. - C. 100-116.

  11. Глибовец Н. Н., Гороховский С. С., Стукало М. С. Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda. - C. 117-122.

  12. Герман В. Н. Решение линейных ограничений над полем вещественных и рациональных чисел. - C. 123-133.

    13. Кибернетика

  13. Лаврищева Е. М. Формальные основы интероперабельности компонентов в программировании. - C. 134-150.

  14. Дорошенко А. Е., Котюк Н. В., Николаев С. С., Цейтлин Г. Е., Яценко Е. А. Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств. - C. 151-158.

  15. Львов М. С. Полиномиальные инварианты линейных циклов. - C. 159-168.

  16. Летичевский А. А., Герман В. Н., Мороховец М. К., Щеголева Н. Н. Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования. - C. 169-180.

    17. Научная информация

  17. Международный симпозиум "Автоматы, алгоритмы и информационные технологии ". - C. 181-182.

  18. Рецензии на новые книги. - C. 187-188.

2010
Т. 46
№ 4
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського