Электронный каталог Национальной библиотеки Беларуси :: Национальная Библиотека РБ

16 results Пропуск в контексте

Электронный каталог
Национальной библиотеки
Беларуси

Вход

Электронный каталог Национальной библиотеки Беларуси находится в тестовом режиме

Расширенный поиск

page_reload_on_deselect_hint Сбросить фильтры

applied_filters

Предмет: Remove filter ФАРМАЛІЗАЦЫЯ

page_reload_on_deselect_hint

Сбросить фильтры

show_filters_html

Предмет: Remove filter ФАРМАЛІЗАЦЫЯ

Результаты поиска

Отображение 1 - 16 из 16 для поиска: '', время запроса: 0.08сек.

Результаты на странице

Сортировка

Выбрать все | снять выделение: Выбранные записи:

result_checkbox_label
1

Recht ex machina: Formalisierung des Rechts im Internet der Dienste / Oliver Raabe [et al.]. - Berlin : Heidelberg : Springer Vieweg, 2012. - XI, 446 c.

Книги

Добавить в Избранное

Сохранено в:
result_checkbox_label
2

Фармалізацыя ― важная заканамернасць развіцця крыніц беларускага права / М. У. Сільчанка // Право и демократия : сборник научных трудов / учредитель Белорусский государственный университет. — 2014. ― Вып. 25. ― С. 5―15

Автор Сільчанка, М. У. (1954—2022)

Статьи

Добавить в Избранное

Сохранено в:

Структура документа
result_checkbox_label
3

Formalizacja i konwencjonalizacja jako instrumenty analizy czynności karnoprocesowych w prawie polskim / Barbara Janusz-Pohl. — Poznań : Wydawnictwo Naukowe UAM, 2017. — 651 с. — (Seria "Prawo" ; № 203)

Автор Janusz-Pohl, Barbara

Продолжающиеся издания

Добавить в Избранное

Сохранено в:

Структура документа
result_checkbox_label
4

Guidelines for the formalization of informal constructions. - Geneva : UN, 2019. - 54 c.

Автор United Nations. Economic Commission for Europe

Документы международных организаций

Добавить в Избранное

Сохранено в:
result_checkbox_label
5

Развитие содержания обучения информатике в школе на основе понятий и методотов формализации: Автореф.дис.на соиск.учен.степ.д-ра пед.наук: 13.00.02 / Рос.акад.образования,Ин-т общеобразоват.школы. - М., 1994. - 35с.

Автор Бешенков, С. А.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:
result_checkbox_label
6

Роль формального в пропедевтическом курсе дизайна: Автореф.дис.на соиск.учен.степ.канд.искусствоведения: 17.00.06 / Санкт-Петербург.высшее худ.-пром. уч-ще им.В.И.Мухиной. - СПб., 1994. - 27с.

Автор Журавская, Т. М.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:
result_checkbox_label
7

Формализация алгоритмов структурно-кинематического анализа пространственных механизмов: Автореф. дис. на соиск. учен. степ. канд. техн. наук: 05.02.02 / Одес. гос. политехн. ун-т. - Одесса, 1999. - 20 с.

Автор Свинарев, Ю. Н.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:
result_checkbox_label
8

Формализация и автоматизация логического проектирования: сборник научных трудов / Академия наук Беларуси, Институт технической кибернетики. - Минск : Институт технической кибернетики, 1993. - 164, [6] с.

Книги

Добавить в Избранное

Сохранено в:
result_checkbox_label
9

Формализация динамических систем / В.Д.Могилевский. - М. : Вуз. кн., 1999. - 215 с.

Автор Могилевский, В. Д.

Книги

Добавить в Избранное

Сохранено в:
result_checkbox_label
10

Искусство формализации: от математики - к теории систем и от теории систем - к математике: Учеб. пособие / В.Н.Волкова. - СПб. : Изд-во СПбГТУ, 2000. - 199 с.

Автор Волкова, В. Н.

Книги

Добавить в Избранное

Сохранено в:
result_checkbox_label
11

Проблема формализации знания: системно-феноменологический подход / Рос. АН, Ин-т систем. анализа. - М. : АО "Виктори", 1993. - 40 с.

Автор Смирнов, Г. А. (1937—2015)

Книги

Добавить в Избранное

Сохранено в:
result_checkbox_label
12

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

Автор Степанов, М. Ф.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:
result_checkbox_label
13

Формализация и алгоритмизация процесса проектирования объема обработки резанием: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.02.08 / Хлыстов Максим Владимирович. - Владивосток, 2004. - 18 с.

Автор Хлыстов, М. В.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:
result_checkbox_label
14

Формализованные методы построения систем управления химико-технологическими процессами в условиях неполной информации: автореферат диссертации на соискание ученой степени доктора технических наук: 05.13.06 / Халимон Виктория Ивановна. - Санкт-Петербург, 2005. - 48 с.

Автор Халимон, В. И.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:
result_checkbox_label
15

Повышение эффективности технологических размерных расчетов на основе формализации этапа подготовки и преобразования исходных данных с применением информационно связанных моделей детали и технологического процесса: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.02.08 / Головченко Станислав Геннадьевич. - Омск, 2005. - 16 с.

Автор Головченко, С. Г.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:
result_checkbox_label
16

Оптимизация параметров процессов проектирования, отработки и испытаний технического комплекса на надежность на основе информационно-системной формализации: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01 / Ха Нгуен Бинь. - Санкт-Петербург, 2006. - 18 с.

Автор Ха Нгуен Бинь

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:

Выбрать все | снять выделение: Выбранные записи:

Инструменты поиска: RSS-поток – Отправить результаты поиска по Email – Сохранить запрос

Уточнение результатов поиска

page_reload_on_select_hint

Белорусский национальный документ

Авторефераты диссертаций 8 results 8 Книги 5 results 5 Статьи 1 results 1 Документы международных организаций 1 results 1 Продолжающиеся издания 1 results 1

Janusz-Pohl, Barbara 1 results 1 United Nations. Economic Commission for Europe 1 results 1 Бешенков, С. А. 1 results 1 Волкова, В. Н. 1 results 1 Головченко, С. Г. 1 results 1 Журавская, Т. М. 1 results 1 Могилевский, В. Д. 1 results 1 Свинарев, Ю. Н. 1 results 1 Смирнов, Г. А. (1937—2015) 1 results 1 Степанов, М. Ф. 1 results 1 Сільчанка, М. У. (1954—2022) 1 results 1 Ха Нгуен Бинь 1 results 1 Халимон, В. И. 1 results 1 Хлыстов, М. В. 1 results 1 см. все

ФАРМАЛІЗАЦЫЯ ФОРМАЛИЗАЦИЯ 12 results 12 АЎТАМАТЫЗАВАНАЕ ПРАЕКТАВАННЕ 2 results 2 АВТОМАТИЗАЦИЯ 2 results 2 ПРАВА ТЭОРЫЯ 2 results 2 ПРАВАВОЕ РЭГУЛЯВАННЕ 2 results 2 ІНТЭРНЭТ 1 results 1 ІНТЭРНЭТ-ПАСЛУГІ 1 results 1 ІНФАРМАТЫКА 1 results 1 ІНФАРМАЦЫЙНА-КАМУНІКАЦЫЙНЫЯ ТЭХНАЛОГІІ 1 results 1 ІНФАРМАЦЫЙНЫЯ СІСТЭМЫ 1 results 1 АЎТАМАТЫЗАВАНЫЯ СІСТЭМЫ КІРАВАННЯ ТЭХНАЛАГІЧНЫМІ ПРАЦЭСАМІ 1 results 1 АЎТАМАТЫЗАЦЫЯ 1 results 1 АЎТАМАТЫЧНЫЯ СІСТЭМЫ КІРАВАННЯ 1 results 1 АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ 1 results 1 АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМИ ПРОЦЕССАМИ 1 results 1 АВТОМАТИЧЕСКИЕ СИСТЕМЫ УПРАВЛЕНИЯ 1 results 1 АГУЛЬНАЯ ТЭОРЫЯ СІСТЭМ 1 results 1 АЛГАРЫТМІЗАЦЫЯ 1 results 1 АЛГАРЫТМЫ (мат., інфарматыка) 1 results 1 АЛГОРИТМИЗАЦИЯ 1 results 1 АЛГОРИТМЫ (мат., информатика) 1 results 1 АНТАЛОГІЯ (інфарматыка) 1 results 1 АПРАЦОЎКА РЭЗАННЕМ 1 results 1 Беларусь, Рэспубліка 1 results 1 Выкладанне методыка 1 results 1 ГАРАДСКОЕ КІРАВАННЕ 1 results 1 ГАРАДСКОЕ НАСЕЛЬНІЦТВА 1 results 1 ДЕТАЛИ (машиностроение) 1 results 1 ДИЗАЙН 1 results 1 см. все

ЗБОРНІК НАВУКОВЫХ ПРАЦ 1 results 1 СБОРНИК НАУЧНЫХ ТРУДОВ 1 results 1 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 1 results 1

Seria "Prawo" 1 results 1

М. 3 results 3 СПб 2 results 2 Санкт-Петербург 2 results 2 Berlin Heidelberg 1 results 1 Geneva 1 results 1 Poznań 1 results 1 Владивосток 1 results 1 Минск 1 results 1 Одесса 1 results 1 Омск 1 results 1 Саратов 1 results 1 см. все

Русский 12 results 12 Белорусский 1 results 1 Английский 1 results 1 Немецкий 1 results 1 Польский 1 results 1

от:

по:

Опции поиска

История поисков
Расширенный поиск
Новые документы НББ

Нужна справка? Она ниже. Помощь

Советы для поиска
Обратитесь к библиотекарю
Помощь по работе в Электронном каталоге
Видеоурок: Поиск по фондам библиотеки