| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
в найденном
В текущей базе данных найдено документов :25
 В других БД по вашему запросу найдено:Электронный каталог (10)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=формализация<.>)
Общее количество найденных документов : 25
Показаны документы с 1 по 20
 1-20    21-25 
1.

Иванов Е. М. Геделевский аргумент/Е. М. Иванов. - 2004
2.

Степанов М. Ф. Автоматическое решение формализованных задач теории автоматического управления/М. Ф. Степанов ; . - 2004
3.

Heidegger M. The Phenomenology of Religious Life/Martin Heidegger. - 2004
4.

Угринович Н. Д. Информатика и ИКТ. Базовый курс/Н. Д. Угринович. - 2006
5.

Угринович Н. Д. Информатика и информационные технологии. 10-11 классы/Н. Д. Угринович. - 2006
6.

Бешенков С. А. Моделирование и формализация/С. А. Бешенков, Е. А. Ракитина. - 2002
7.

Угринович Н. Д. Информатика и ИКТ/Н. Д. Угринович. - 2008
8.

Угринович Н. Д. Информатика и ИКТ. Базовый курс/Н. Д. Угринович. - 2005
9.

Угринович Н. Д. Информатика и информационные технологии/Н. Д. Угринович. - 2005
10.

Информатика/Под ред. П. П. Беленького. - 2003
11.

Старостин В. Г. Формализация проектирования процессов обработки резанием/В. Г. Старостин, В. Е. Лелюхин. - 1986
12.

Молодцов В. А. Репетитор по информатике/В. А. Молодцов, Н. Б. Рыжикова, Т. Г. Головко. - 2004
13.

Фурунжиев Р. И. САПР, или как ЭВМ помогает конструктору/Р. И. Фурунжиев, В. А. Гугля. - 1987
14.

Пекелис В. Д. Кибернетика от А до Я/В. Д. Пекелис. - 1990
15.

Анищенко Л. М. Математические основы проектирования высокотемпературных технологических процессов/Л. М. Анищенко, С. Ю. Лавренюк. - 1986
16.

Рашитов Р. С. Логико-математическое моделирование в бухгалтерском учете/Р. С. Рашитов. - 1979
17.

Рашитов Р. С. Машинная обработка учетно-статистической информации/Р. С. Рашитов, К. Ф. Мишин, Н. И. Бочков. - 1979
18.

Сичивица О. М. Методы и формы научного познания/О. М. Сичивица. - 1972
19.

Михайлова И. Б Чувственное отражение в современном научном познании/И. Б Михайлова. - 1972
20.

Жеребин В. М. Экономические информационные системы/В. М. Жеребин, В. Н. Мальцев, М. С. Совалов ; отв. ред. Б. П. Суворов. - 1978
 1-20    21-25 
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)