681.3
   Е91


    Ефимова О.
    Курс компьютерной технологии с основами информатики : учеб.пособие для старших кл. / Ефимова О., Морозов В., Угринович Н. - М. : ABF:АСТ, 1999. - 431 с. - ISBN 5874840753 : 385.00 р.
УДК
Рубрики: Вычислительная техника--информатика
Кл.слова (ненормированные):
технологии компьютерные -- информация -- двоичное кодирование -- логика -- моделирование -- формализация -- алгоритмизация -- программирование -- архитектура компьютера -- программное обеспечение -- коммуникации компьютерные -- графика -- электронные таблицы -- базы данных -- тесты


Доп.точки доступа:
Морозов В.; Угринович Н.
Экземпляры всего: 5
ЧЗ (1), АБ (2), Колледж (2)
Свободны: ЧЗ (1), АБ (2), Колледж (2)

   681.5
   Б64


    Бирюков, Б. В.
    Жар холодных чисел и пафос бесстрастной логики : формализация мышления от античных времен до эпохи кибернетики / Бирюков, Б. В. - М. : Знание, 1985. - 192 с. - 00.35к. р.
УДК
Рубрики: Автоматика
Кл.слова (ненормированные):
автоматика -- логика -- мышление -- формализация мышления -- 08

Экземпляры всего: 2
АБ (2)
Свободны: АБ (2)

   681.5
   Б64


    Бирюков, Б. В.
    Жар холодных чисел и пафос бесстрастной логики : формализация мышления от античных времен до эпохи кибернетики / Бирюков, Б. В., Тростников, В. Н. - М. : Знание, 1977. - 191 с. - [Б.ц.]
УДК
Рубрики: Автоматика
Кл.слова (ненормированные):
автоматика -- мышление -- логика -- формализация мышления -- 08


Доп.точки доступа:
Тростников, В. Н.
Экземпляры всего: 2
ЧЗ (2)
Свободны: ЧЗ (2)

   б 621.9
   С 77


    Старостин, В. Г.
    Формализация проектирования процессов обработки резанием / В. Г. Старостин, В. Е. Лелюхин. - М. : Машиностроение, 1986. - 133 с. : ил. - (Библиотека технолога : БТ). - Б. ц.
ББК 621.91:658.512.011.56
Рубрики: Машиностроение--Обработка резанием
Кл.слова (ненормированные):
резание металлов


Доп.точки доступа:
Лелюхин, В. Е.
Свободных экз. нет

   б 65.29
   В93


   
    Высокотехнологичные предприятия в эпоху глобализации / Иванов, И. В.Баранов, В. В. [и др.]. - М. : Альпина Паблишер, 2003. - 416 с. - ISBN 5945990752 : 1902.00 р.
ББК 65.290-2
Рубрики: Экономика--экономика предприятия
Кл.слова (ненормированные):
предприятия -- экономика -- глобализация -- инновации -- инвестиции -- производство -- финансирование -- высокотехнологичные предприятия -- наукоемкие отрасли -- реструктуризация -- управления методы -- формализация -- диагностика -- планирование -- машиностроение

Перейти: http://library.psu.kz/fulltext/buuk/b1977.pdf

Доп.точки доступа:
Иванов, И. В.; Баранов, В. В.; Лысак, Г. И.; Кирсанов, О. В.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

   004
   Б57


    Бешенков, С.
    Моделирование и формализация : метод. пособие / Бешенков, С., Ракитина, Е. - М. : Лаборатория Базовых Знаний, 2002. - 333 с. - (Информатика). - ISBN 5932081171 : 840.00 р.
УДК
Рубрики: Информационные технологии--моделирование
Кл.слова (ненормированные):
а04 -- информационные технологии -- моделирование -- формализация -- языки моделирования


Доп.точки доступа:
Ракитина, Е.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

   б 63
   К56


    Ковальченко, И.Д.
    Методы исторического исследования / Ковальченко, И.Д. - 2-е изд.,доп. - М. : Наука, 2003. - 486 с. - ISBN 5020088935 : 762.00 р.
ББК 63
Рубрики: История
Кл.слова (ненормированные):
ф05 -- история -- методы исследования -- научное познание -- методология -- историческое исследование -- исторический источник -- исторический факт -- историческое познание -- количественные методы -- моделирование -- исторический процесс -- исторические явления -- формализация -- задачи исследования

Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

   519
   С56


    Советов, Б. Я.
    Моделирование систем : учебник для студ. вузов / Советов, Б. Я., Яковлев, С. А. - М. : Высшая школа, 2007. - 343 с. - ISBN 9785060038606 : 2915.00 р.
УДК
Рубрики: Математика--Математическое моделирование
Кл.слова (ненормированные):
а09 -- математика -- математические модели -- моделирование систем -- формализация -- прикладные программы


Доп.точки доступа:
Яковлев, С. А.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

   004
   У27


    Угринович, Н.
    Практикум по информатике и информационным технологиям : учеб. пособие для учащихся профильных кл. общеобразовательных учреждений / Угринович, Н., Босова, Л., Михайлова, Н. - М. : БИНОМ. Лаборатория знаний, 2007. - 394 с. - (Информатика). - ISBN 9785947746853 : 1180.00 р.
УДК
Рубрики: Информационные технологии
Кл.слова (ненормированные):
ил09 -- информационные технологии -- информатика -- компьютеры -- программное обеспечение -- кодирование информации -- системы счисления -- логика -- текстовые документы -- программирование на языке Visual Basis -- моделирование -- формализация -- Интернет -- Web -caйты -- HTML


Доп.точки доступа:
Босова, Л.; Михайлова, Н
Экземпляры всего: 5
ЧЗ (1), КОЛЛЕДЖ (2), АБ (2)
Свободны: ЧЗ (1), КОЛЛЕДЖ (2), АБ (2)

   519
   С56


    Советов, Б. Я.
    Моделирование систем : учебник для вузов по напр. "Информатика и вычислительная техника" и "Информационные системы" / Советов, Б. Я., Яковлев, С. А. - Изд. 6-е, стер. - М. : Высшая школа, 2009. - 343 с. - ISBN 978-5-06-0061 73-4 : 1990.00 тг.
УДК
Рубрики: Математика--Математическое моделирование
Кл.слова (ненормированные):
с11 -- математика -- математические модели -- моделирование систем -- математические схемы моделирования систем -- формализация -- алгоритмизация -- статистическое моделирование


Доп.точки доступа:
Яковлев, С. А.
Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)

   004
   М71


    Мишенин, А. И.
    Теория экономических информационных систем : учебник / А. И. Мишенин. - Изд. 4-е, доп. и перераб. - М. : Финансы и статистика, 2008. - 239 с. - ISBN 978-5-279-01987-8 : 920.00 р.
УДК
Рубрики: Информационные технологии
Кл.слова (ненормированные):
информационные системы -- модели данных -- формализация процессов -- экономическая информация

Экземпляры всего: 30
ЧЗ (2), АБ (28)
Свободны: ЧЗ (2), АБ (28)

   б 74
   М69


    Михайлычев, Е. А.
    Математические методы в педагогическом исследовании : учебное пособие / Е. А. Михайлычев, Б. Е. Механцев. - М. : Высшая школа, 2008. - 196 с. - ISBN 978-5-06-005871-2 : 3070.00 р.
ББК 74я73
Рубрики: Педагогика
Кл.слова (ненормированные):
научно-педагогическое исследование -- формализация замысла -- гипотеза -- количественные методы -- средние величины


Доп.точки доступа:
Механцев, Б. Е.
Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)