Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Периодические издания- результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Книги (6)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=формализация<.>
Общее количество найденных документов : 10
Показаны документы с 1 по 10
1.

Формализация и моделирование // Информатика и образование, 1999. т.№6.-С.21-27
2.

Формализация интерфейсных стандартов и автоматическое построение тестов соответствия/В. В. Кулямин, А. К. Петренко, В. В. Рубанов, А. В. Хорошилов // Информационные технологии, 2007. т.N 8.-С.2-7
3.

Информационные технологии (с ежемесячным приложением). Комплект - 2008г.,N 9 (Введено оглавление)
4.

Вестник педагогических инноваций - 2008г.,N 2 (Введено оглавление)
5.

Коткин Актуальные проблемы развития содержательной линии "Моделирование и формализация" школьного курса информатики/С. Коткин, Г. Бойченко // Вестник педагогических инноваций, 2008,N N 2.-С.22-28.
6.

Информационные технологии (с ежемесячным приложением). Комплект - 2009г.,N 12 (Введено оглавление)
7.

Минькович Формализованное представление методов обучения/Т. Минькович // Педагогика, 2010,N N 1.-С.47-53.
8.

Проблемы информационной безопасности. Компьютерные системы - 2010г.,N 2 (Введено оглавление)
9.

Экономика и математические методы - 2012г. т.48,N 2 (Введено оглавление)
10.

Проблемы информационной безопасности. Компьютерные системы - 2012г.,N 2 (Введено оглавление)
 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)