| № | Дата |
Автор |
Заглавие |
|---|
|
2004 |
Степанов, Михаил Федорович |
Автоматическое решение формализованных задач теории автоматического управления : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.01 ; 05.13.18 / Степанов Михаил Федорович ; [Саратовский государственный технический университет] |
|
2005 |
Головченко, Станислав Геннадьевич |
Повышение эффективности технологических размерных расчетов на основе формализации этапа подготовки и преобразования исходных данных с применением информационно связанных моделей детали и технологического процесса : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.02.08 / Головченко Станислав Геннадьевич ; [Омский государственный технический университет] |
|
1999 |
Могилевский, Вадим Дмитриевич |
Формализация динамических систем / В.Д.Могилевский |
|
1993 |
|
Формализация и автоматизация логического проектирования : сборник научных трудов / Академия наук Беларуси, Институт технической кибернетики ; научный редактор А. Д. Закревский |
|
2006 |
Ха Нгуен Бинь (кандидат технических наук) |
Оптимизация параметров процессов проектирования, отработки и испытаний технического комплекса на надежность на основе информационно-системной формализации : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Ха Нгуен Бинь ; [Балтийский государственный технический университет "Военмех" им. Д.Ф.Устинова] |
|
2012 |
|
Recht ex machina : Formalisierung des Rechts im Internet der Dienste / Oliver Raabe [et al.] |
|
1999 |
Свинарев, Юрий Николаевич |
Формализация алгоритмов структурно-кинематического анализа пространственных механизмов : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.02.02 / Одес. гос. политехн. ун-т |
|
1994 |
Журавская, Татьяна Михайловна |
Роль формального в пропедевтическом курсе дизайна : Автореф.дис.на соиск.учен.степ.канд.искусствоведения : 17.00.06 / Санкт-Петербург.высшее худ.-пром. уч-ще им.В.И.Мухиной |
|
2005 |
Халимон, Виктория Ивановна |
Формализованные методы построения систем управления химико-технологическими процессами в условиях неполной информации : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.06 / Халимон Виктория Ивановна ; [Санкт-Петербургский государственный технологический институт] |
|
2004 |
Хлыстов, Максим Владимирович |
Формализация и алгоритмизация процесса проектирования объема обработки резанием : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.02.08 / Хлыстов Максим Владимирович ; [Владивостокский государственный технический университет] |
|
1993 |
Смирнов, Герман Алексеевич (доктор технических наук ; 1937—2015) |
Проблема формализации знания: системно-феноменологический подход / Рос. АН, Ин-т систем. анализа |
|
2000 |
Волкова, Виолетта Николаевна (доктор экономических наук ; кандидат технических наук) |
Искусство формализации: от математики - к теории систем и от теории систем - к математике : Учеб. пособие / В.Н.Волкова ; С.-Петерб. гос. техн. ун-т |
|
1994 |
Бешенков, Сергей Александрович (доктор педагогических наук) |
Развитие содержания обучения информатике в школе на основе понятий и методотов формализации : Автореф.дис.на соиск.учен.степ.д-ра пед.наук : 13.00.02 / Рос.акад.образования,Ин-т общеобразоват.школы |
|
2019 |
United Nations. Economic Commission for Europe |
Guidelines for the formalization of informal constructions |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ