Поисковый запрос: (<.>K=формализация<.>) |
Общее количество найденных документов : 88
Показаны документы с 1 по 20 |
|
1.
| Месарович М. Теория иерархических многоуровневых систем : научное издание. - М. : Мир
, 1973. - 344 с (
4 экз. )
|
2.
| Бирюков, Борис Владимирович. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики : . - М. : Знание
, 1977. - 191, [1] с. (
1 экз. )
|
3.
| Гильберт, Давид. Основания математики. Логические исчисления и формализация арифметики : научное издание. - М. : Наука
, 1982. - 556 с (
2 экз. )
|
4.
| Формализация задач исследования и оптимизации финансово-промышленных групп : научное издание
//Электронные средства и системы управления. - Томск : Издательство Института оптики атмосферы СО РАН, 2003. - С.200-204 (
экз. )
|
5.
| Фридланд, Александр Яковлевич. Основные ресурсы информатики : пособие для студентов вузов. - М. : АСТ
, 2005. - 284, [4] с. (
2 экз. )
|
6.
| Беляев, Максим Анатольевич. Основы информатики : Учебник для студентов вузов. - Ростов н/Д : Феникс
, 2006. - 339[8] с. (
1 экз. )
|
7.
| Давыдов И. В. Формализация модели совершения киберпреступлений, совершаемых с использованием вредоносных кодов
//Известия Томского политехнического университета. - 2006. Т. 309. № 8. - С.126-129 (
экз. )
|
8.
| Филиппов, Алексей Юрьевич. Алгоритмы формализации и автоматизации решения задач на основе среды компьютерного моделирования задач : Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.06. - Томск
, 2007. - 23 с. (
2 экз. )
|
9.
| Филиппов, Алексей Юрьевич. Алгоритмы формализации и автоматизации решения задач на основе среды компьютерного моделирования задач : Диссертация на соискание ученой степени кандидата технических наук. 05.13.06. - Томск
, 2007. - 226[6] с. (
1 экз. )
|
10.
| Ярушкина, Наталья Анатольевна. Теория систем и системный анализ [Электр.ресурс] : учебно-методическое пособие. - Томск
, 2007 on-line ; 26 с. (
экз. )
|
11.
| Шарыгин Г. С. Формализация образовательного процесса в высшей школе : доклад, тезисы доклада
//Современное образование: проблемы и перспективы в условиях перехода к новой концепции образования. - Томск : ТУСУР, 2009. - С.3-4. (
экз. )
|
12.
|
Приборы и системы. Управление, контроль, диагностика. - Журнал, 2009г. N 7 (Введено оглавление) (
1 экз. )
|
13.
|
Приборы и системы. Управление, контроль, диагностика. - Журнал, 2010г. N 12 (Введено оглавление) (
1 экз. )
|
14.
|
Маркетинг в России и за рубежом. - Журнал, 2010г. N 3 (Введено оглавление) (
1 экз. )
|
15.
|
Приборостроение. - Журнал. Известия ВУЗов, 2010г. т.53 N 12 (Введено оглавление) (
1 экз. )
|
16.
|
Автоматизация и современные технологии. - Журнал, 2011г. N 10 (Введено оглавление) (
1 экз. )
|
17.
|
Технология машиностроения. - Журнал, 2011г. N 7 (Введено оглавление) (
1 экз. )
|
18.
|
Приборы и системы. Управление, контроль, диагностика. - Журнал, 2011г. N 7 (Введено оглавление) (
1 экз. )
|
19.
|
Мехатроника, автоматизация, управление. - Журнал, 2011г. N 9 (Введено оглавление) (
1 экз. )
|
20.
|
Кибернетика и системный анализ. - Журнал, 2012г. N 5 (Введено оглавление) (
1 экз. )
|
|
|
|
Основная база библиотеки
Стандартный