Головна Сайт Наукової бібліотеки Спрощений режим Опис
Авторизація
Прізвище
Пароль
 

Бази даних


Електронний каталог книг - результати пошуку

Вид пошуку
Електронний каталог книг
Електронний каталог статей
Праці науковців
Дисертації та автореферати дисертацій
Охоронні документи
Рідкісні та цінні видання
Видання Springer Link
Краєзнавча база «Харків»
Бібліотечна справа
Інтернет-ресурси
Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>K=формалізація<.>)
Загальна кількість знайдених документів : 4
Показані документи с 1 за 4
1.
   330.362
   К 66

    Кораблин, Сергей Александрович.
    Макроэкономическое равновесие: стоимостные и ценовые пропорции [Текст] / С. А. Кораблин ; Ин-т экономики АН Украины. - Киев : Наук. думка, 1993. - 168 с. - Библиогр.: с. 163-167. - ISBN 5-12-003900-6
УДК
330.362

Кл.слова (ненормовані):
анализ моделей -- аналіз моделей -- трехпродуктовая модель -- трьохпродуктова модель -- пропорции -- пропорції -- воспроизводство -- відтворення -- межотраслевой баланс -- міжгалезевий баланс -- статическая модель -- статична модель -- формализация -- формалізація -- макропропорции -- макрокорпорації
Дод.точки доступу:
Ин-т экономики АН Украины
Бібліотечний пунктВільніВсього екземплярів
Абонемент б. п. №1 (пр. Московський, 45)11


Знайти схожі
2.
   16(075.8)
   К 67

    Конверський, Анатолій Євгенійович.
    Логіка [Текст] : підручник / А. Є. Конверський. - Київ : Четвеpта хвиля, 1998. - 272 с. - Бібліогр.: с. 268. - ISBN 966-529-056-8
УДК
16(075.8)

Кл.слова (ненормовані):
логіка -- логика -- мислення і мова -- мышление и речь -- формалізація -- формализация -- семантичний аналіз -- семантический анализ -- вирази природної мови -- выражения естественного языка -- поняття -- понятия -- судження -- суждения -- умовивід -- умозаключение -- аргументація -- аргументация
Бібліотечний пунктВільніВсього екземплярів
Абонемент б. п. №1 (пр. Московський, 45)11
Абонемент і читальний зал б. п. №3 (вул. Алчевських, 44)11


Знайти схожі
3.
681.5(075)
С 71

   
    Спеціалізовані мікроконтролерні системи: теорія і практика [Текст] : підручник / Нац. техн. ун-т "Харків. політехн. ін-т". - Харків : НТУ "ХПI", 2007. - 250 с. : рис. - ISBN 978-966-593-551-3
    Зміст:
Коротка історія виникнення сучасного комп’ютера й деяких пов’язаних з ним термінів
Формалізація проектування
Організація мікроконтролерних систем
Засоби програмування МК СІМ’Ї МСS–51
Приклади програмування МК51
Організація взаємодії МК51 з об’єктами управління
Тестування та налагодження програм
УДК
681.5(075)
Дод.точки доступу:
Нац. техн. ун-т "Харків. політехн. ін-т"
Бібліотечний пунктВільніВсього екземплярів
Абонемент б. п. №4 (вул. Різдвяна, 19)11


Знайти схожі
4.
631.3
И 88

   
    Испытания сельскохозяйственной техники [Текст] / С. В. Кардашевский, Л. В. Погорелый, Г. М. Фудиман. - М. : Машиностpоение, 1979. - 288 с. : табл. - Библиогр.: с. 283-287
УДК
631.3

Кл.слова (ненормовані):
системные методы оценки -- системні методи оцінювання -- формализация принятия решений -- формалізація прийняття рішень -- статистические методы анализа -- статистичні методи аналізу -- математическое моделирование -- математичне моделювання -- агротехническая оценка -- агротехнічна оцінка -- методы оценки надежности -- методи оцінювання надійності
Дод.точки доступу:
Кардашевский, Сергей Владимирович
Погорелый, Леонид Владимирович
Фудиман, Григорий Моисеевич
Бібліотечний пунктВільніВсього екземплярів
Абонемент б. п. №1 (пр. Московський, 45)33


Знайти схожі
Стандартний
Розширений
Професійний
За словником
КЗ: Кафедра - дисципліна
Статистика звернень
© Асоціація ЕБНІТ