Наукова бібліотека Чернівецького національного університету

Головна

Місце
зберігання
примірників

Бази даних

Систематична картотека статей- результати пошуку

Вид пошуку

Книги

БД Авторефератів

Краєзнавча картотека

Конференції і вісники

Фонд відділу рідкісних та цінних книг

Систематична картотека статей

Фонд Австрійської бібліотеки

Праці викладачів ЧНУ

Періодика

SPRINGER книги (2017)

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>U=681.5:519.7<.>

Загальна кількість знайдених документів : 7
Показані документи с 1 за 7

681.5:519.7
Б 241

Баранов, Н. А.
Модель процесса тестирования обучаемого автоматизированной системой [Текст] / Н. А. Баранов, И. Н. Маслякова // Информационно-измерительные и управляющие системы. - 2010. - Т. 8, № 6. - С. 40-44. - Библиогр. в конце ст.

УДК

681.5:519.7

Рубрики: Автоматика, техніка автоматичного керування і контролю--Інформаційні системи в автоматичному керуванні
   Освіта--Інформаційні технології
   Педагогіка--Інновації--Моніторинг
   Математика--Математична кібернетика--Моделі

Дод.точки доступу:
Маслякова, И. Н.

Знайти схожі

681.5:519.7
С 440

Скобелев, В. В.
О сложности анализа автоматов над конечным кольцом [Текст] / В. В. Скобелев, В. Г. Скобелев // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 17-30. - Библиогр. в конце ст.

УДК

681.5:519.7

Рубрики: Автоматика, техніка автоматичного керування і контролю--Інформаційні системи в автоматичному керуванні
Математика--Математична кібернетика--Моделі

Дод.точки доступу:
Скобелев, В. Г.

Знайти схожі

681.5:519.7
Ш 310

Шахбазян, К. В.
Вхождения в моноидах треков [Текст] / К. В. Шахбазян, Ю. Г. Шукурян // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 31-38. - Библиогр. в конце ст.

УДК

681.5:519.7

681.5:519.7
З-382

Захаров, В. А.
Проверка эквивалентности программ с помощью двухленточных автоматов [Текст] / В. А. Захаров // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 39-48. - Библиогр. в конце ст.

УДК

681.5:519.7

Рубрики: Автоматика, техніка автоматичного керування і контролю--Інформаційні системи в автоматичному керуванні
Математика--Математична кібернетика--Моделі

Знайти схожі

681.5:519.7
Ч-343

Чеботарев, А. Н.
Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 60-69. - Библиогр. в конце ст.

УДК

681.5:519.7

Рубрики: Автоматика, техніка автоматичного керування і контролю--Інформаційні системи в автоматичному керуванні
Математика--Математична кібернетика, дискретна математика--Теорія інформації

Знайти схожі

681.5:519.7
К 619

Колчин, А. В.
Автоматический метод динамического построения абстракций состояния формальной модели [Текст] / А. В. Колчин // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 70-90. - Библиогр. в конце ст.

УДК

681.5:519.7

681.5:519.7
Г 592

Годлевский, А. Б.
Предикатные преобразователи в контексте символьного моделирования транзиционных систем [Текст] / А. Б. Годлевский // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 91-99. - Библиогр. в конце ст.

УДК