Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=формализация<.>

Загальна кількість знайдених документів : 20
Показані документи с 1 за 20

Форма документа : Однотомне видання
Шифр видання : 911:004(075.8)/С 24
Автор(и) : Світличний, Олександр Олексійович, Плотницький С.В.
Назва : Основи геоінформатикм : навч. посібник . -2-ге вид., випр. і допов.
Вихідні дані : Суми: Унів. кн., 2008
Кільк.характеристики :294 с.: рис.
Примітки : Слов. термінів: с. 281-287. - Слов. абревіатур: с. 288-289. - Л-ра: с. 290-294
ISBN, Ціна 978-966-680-413-9: 038.00 грн
УДК : 911:004(075.8)
ББК : 26.8я73 + 32.81я73
Предметні рубрики: Географія
Інформатика
Географіч. рубрики:
Анотація: Визначення, предмет, історія розвитку геоінформатики та ії місце серед інших наук, розкрито основи технології географічних інформаційних систем - сучвсної інформаційної технології роботи з просторово-координованою інформаціією, подана характеристика аналітичних можливостей сучасних інструментальних географічних інформаційних систем, а також функціональних і аналітичних можливостей світових лідерів програмного забезпечення географічних інформаційних систем.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 16(075.8)/К 64
Автор(и) : Конверський, Анатолій Євгенович
Назва : Логіка (традиційна та сучасна) : підручник для студ. вищ. навч. закл. . -2-е вид.
Вихідні дані : К.: Центр учбов. л-ри, 2008
Кільк.характеристики :536 с
Примітки : Л-ра: с.534-535
ISBN, Ціна 978-966-364-735-7: 90.00 грн
УДК : 16(075.8)
ББК : 87.4я73
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Підручник складається із двох книг: "Традиційна логіка" і "Сучасна логіка". Його написано на основі досвіду читання курсу "Логіка" в Київському національному університеті ім. Тараса Шевченка.
Примірники :ФОНД(1)
Вільні : ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 631:001.8](075.8)/М54-486345
Автор(и) : Ермантраут Е. Р., Малиновський А. С., Дідора В. Г., Смаглій О. Ф.
Назва : Методика наукових досліджень в агрономії : навч. посібник
Вихідні дані : Житомир: ЖНАЕУ, 2010
Кільк.характеристики :123, [1] с.: рис., граф.
Колективи : Міністерство аграрної політики України, Житомирський національний агроекологічний університет
Примітки : Літ.: с. 121
ISBN, Ціна 978-966-8706-48-6: 40.00 грн
УДК : 631:001.8](075.8)*М
ББК : 4я73 + 72я73
Предметні рубрики: Агрономія-- Методи досліджень
Агрономія-- Наукові досліження-- Історія, 18-19 ст.
Географіч. рубрики:
Анотація: Викладені сучасні методи загальнонаукових і спеціальних методів досліджень в агрономії, теоретичні основи планування експерименту і основні методи статистичного аналізу з використанням прикладної комп'ютерної програми. Відомості з історії розвитку наукової агрономії.
Примірники :КР(1)
Вільні : КР(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 159.9.07/П86
Назва : Психологическая диагностика. Проблемы и исследования : [монография]
Вихідні дані : М.: Педагогика, 1981
Кільк.характеристики :230 с.: рис.
Примітки : Лит.: с. 217-230
Ціна : 1.40 р.
УДК : 159.9.07
ББК : 88.5
Предметні рубрики: Психодіагностика
Географіч. рубрики:
Анотація: Изложение и краткий анализ наиболее распространенных психологических и психофизиологических диагностических методик.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 16(075)/К 64
Автор(и) : Конверський, Анатолій Євгенович
Назва : Логіка : підручник для студ. вищ. навч. закл.
Вихідні дані : К.: Укр. Центр духов. культури, 1999
Кільк.характеристики :400 с.: граф., табл.
Примітки : Бібліогр. в підрядковій прим. - Л-ра: с. 393-394
ISBN, Ціна 966-7276-50-3: 14.00, 18.34, грн
УДК : 16(075)
ББК : 87.4я73
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Підручник складається з двох частин: "Традиційна логіка" і "Класична логіка". В першій частині розкривається предмет, метод логіки, основні форми та закони мислення. У другій частині розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій в межах логіки висловлювань і логіки предикатів.
Примірники : всього : ЧЗ(2), АБ(1)
Вільні : ЧЗ(2), АБ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 16/И 97
Автор(и) : Ишмуратов, Анатолий Темиргалиевич
Назва : Логический анализ практических рассуждений / Формализация психологических понятий /
Вихідні дані : К.: Наукова думка, 1987
Кільк.характеристики :140 с
Колективи : Академия наук Украинской ССР, Институт философии
Примітки : Библиогр.: с.130-138
Ціна : 1 р.
УДК : 16
ББК : 87.4
Предметні рубрики: Логика
Географіч. рубрики:
Анотація: В монографии средствами логики исследуются практические рассуждения, с помощью которых обьясняется человеческое поведение и обосновываются намерения действующих и взаимодействующих индивидов. Предложено формализованное описание понятий общей и социальной психологии: ожидание, убеждение, стремление, чувство, установка, норма, роль, группа.На основе анализа этих понятий формулируются приципы построения логики практических рассуждений, включающей логику изменений, логику убеждений, логику стремлений, норм, оценок, логику взаимодействия индивидов, логику вопросов и ответов.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 16/Л 69
Назва : Логика,психология и семиотика: аспекты взаимодействия : [сборник науч. трудов]
Вихідні дані : К.: Наук. думка, 1990
Кільк.характеристики :160 с
Колективи : Академия Наук Украинской ССР, Институт философии
Примітки : Лит. в конце ст.; Лит.: с. 149-159
ISBN, Ціна 5-12-001696-0: 1.90 р.
УДК : 16
ББК : 87.4
Предметні рубрики: Методологічна взаємодія логіки, психологіїі семіотики
Географіч. рубрики:
Анотація: В сборнике рассматриваются возможности и перспективы методолоогического взаимодействия логики, психологии и семиотики. Анализируются возможности формализации психологических понятий и категорий, логико-семантического и структурно-номинативного моделирования психики.
Примірники :ФОНД(1)
Вільні : ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 16/С 50
Автор(и) : Смирнова, Елена Дмитриевна
Назва : Основы логической семантики : учеб. пособие для студ. филос. ф-тов вузов
Вихідні дані : М.: Высшая школа, 1990
Кільк.характеристики :144 с
Примітки : Лит.: с. 140-142
ISBN, Ціна 5-06-001495-9: 0.35 р.
УДК : 16
ББК : 87.41
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Дан анализ семантических антиномий и методов их устранения. Единым методом доказаны теоремы об ограниченностях формализмов, сжато изложены результаты теории моделей. Специальные разделы посвящены семантике возможных миров и анализу интенсивных контекстов.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 007(035)/И 85
Назва : Искусственный интеллект: справочник : в 3 т. Кн. 2: Модели и методы
Вихідні дані : М.: Радио и связь, 1990
Кільк.характеристики :304 с.: рис., табл.
Примітки : Лит.: с. 257-303
ISBN, Ціна 5-256-00368-2: 1.80 р.
УДК : 007(035)
ББК : 32.813я2
Предметні рубрики: Системи штучного інтелекту-- Моделі
Географіч. рубрики:
Анотація: Направления теории интеллектуальных систем: представление знаний, логический вывод на знаниях, языки общения, понимание текстов, модели обучения.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

10.

Форма документа : Однотомне видання
Шифр видання : 007/О-79
Автор(и) : Осуга, Сэцуо
Назва : Обработка знаний
Вихідні дані : М.: Мир, 1989
Кільк.характеристики :293 с.: рис., табл.
ISBN, Ціна 4-274-07321-1: 1.10 р.
УДК : 007
ББК : 32.813
Предметні рубрики: Штучний інтелект
Анотація: Исследования по искусственному интеллекту, методы представления знаний в экспертных системах.
Примірники : всього : ВВ(1), ФОНД(1)
Вільні : ВВ(1), ФОНД(1)
Знайти схожі

11.

Назва журналу :Актуальні проблеми економіки -2012р.,N 7
Цікаві статті :
Голубка С. М. Типологія досліджень національних фінансів/ С. М. Голубка (стр.8-15)
Карапейчик И. Н. Понятие потенциала в экономике: задачи и направления исследований/ И. Н. Карапейчик (стр.16-25)
Кокодей Т. А. Анализ и формализация стратегий ТПГ "Rainford"методом обратной идентификации (1992 - 1996 гг.)/ Т. А. Кокодей (стр.26-32)
Ситник Г. В. Генезис і сучасна парадигма фінансового планування/ Г. В. Ситник (стр.33-48)
Тищенко О. П. Держава та її функції в економіці: ретроспективний аналіз наукових теорій докейнсіанського періоду/ О. П. Тищенко (стр.49-60)
Федулова Л. І. Передумови підвищення ефективності співпраці України та Росії у сфері захисту інтелектуальної власності/ Л. І. Федулова, В. К. Хаустов (стр.61-65)
Яхно Т. П. Доцільність зміцнення економічних інтеграційних зв'язків України і Республіки Польща/ Т. П. Яхно, О. В. Килин (стр.66-72)
Григор'єва Я. В. Кластери як чинник активізації туристичної діяльності/ Я. В. Григор'єва (стр.73-79)
Мулякова-Бочі А. К. Концепція удосконалення платіжного балансу в умовах економічного розвитку/ А. К. Мулякова-Бочі (стр.80-85)
Остапенко Н. В. Сутність і структура інституціонально-економічного механізму підтримки малого підприємництва/ Н. В. Остапенко (стр.86-93)
Сунцова О. О. Фінансові важелі макроекономічного регулювання розвитку національного господарства/ О. О. Сунцова (стр.94-103)
Дунська А. Р. Управління міжнародною конкурентоспроможністю вітчизняних підприємств на інноваційній основі/ А. Р. Дунська (стр.104-109)
Ібрагімов Е. Е. Роль інтелектуального капіталу в ефективній діяльності підприємства/ Е. Е. Ібрагімов (стр.110-117)
Картузов Є. П. Аналіз механізму управління фінансовою безпекою підприємства/ Є. П. Картузов (стр.118-124)
Майданевич П. М. Методологічні засади оцінювання інвестиційної привабливості підприємств/ П. М. Майданевич (стр.125-131)
Грщенко В. Ф. Організаційно-економічні основи управління ексортно-імпортним потенціалом регіону з урахуванням вимог екологічної безпеки/ В. Ф. Грщенко, О. Ю. ДревальІ. В. Грищенко (стр.132-145)
Лігоненко Л. О. Обгрунтування методології оцінювання економіко-технологічного потенціалу регіону на основі бенчмаркінгового підходу/ Л. О. Лігоненко (стр.146-156)
Медвідь В. Ю. Наукові засади визначення сутності регіонального розвитку/ В. Ю. Медвідь (стр.157-163)
Кудлай В. Г. Стан і проблеми розвитку трудових ресурсів аграрної сфери Київської області/ В. Г. Кудлай (стр.164-167)
Кукоба В. П. Системна організація забезпечення функціонування корпоративних соціально відповідальних відносин на підприємствах/ В. П. Кукоба (стр.168-174)
Сімченко Н. О. Проблеми і пріоритети забезпечення охорони праці на підприємствах вугільної галузі/ Н. О. Сімченко, Ю. В. Лазар (стр.175-182)
Боярко І. М. Методичний підхід до оцінювання якості впливу державного регулювання на ринок фінансових послуг/ І. М. Боярко, О. В. ДейнекаЛ. Л. Гриценко (стр.183-190)
Єріс Л. М. Оцінювання індикаторів ринкової позиції банків у сучасних умовах розвитку фінансового ринку/ Л. М. Єріс (стр.191-200)
Могилко Л. В. Особливості функціонування внутрішнього ринку державних цінних паперів України в сучасних умовах/ Л. В. Могилко (стр.201-207)
Шевцова О. Й. Принципи формування механізму антикризового управління системним банком/ О. Й. Шевцова, М. В. Суганяка
Кобушко І. М. Моделювання попиту на інвестиційному ринку на основі застосування економетричних методів/ І. М. Кобушко (стр.217-229)
Матюха М. М. Сучасне методологічне забезпечення управлінської звітності в умовах застосування інформаційних систем/ М. М. Матюха (стр.230-237)
Петрищев А. С. Экономико-математическое моделирование показателей производства металлизованных техногенных отходов быстрорежущих сталей/ А. С. Петрищев, С. М. Григорьев (стр.238-242)
Раєвнєва О. В. Модель дослідження циклічних закономірностей у процесі розвитку зовнішнього і внутрішнього середовищ промислового підприємства/ О. В. Раєвнєва, А. С. Середа (стр.243-257)
Акрам М. Режими обмінного курсу та валютні зміни в Пакистані: дослідницький звіт/ М. Акрам (стр.258-267)
Алтынбеков М. А. Организация бухгалтерског учета на предприятиях малого бизнеса/ М. А. Алтынбеков (стр.268-275)
Альжанова Н. Ш. Анализ внешнеторговой политики Казахстана в условиях Таможенного союза/ Н. Ш. Альжанова (стр.276-284)
Аппакова Г. Н. Структура и формы системы вознаграждений работникам в условиях рыночной экономики/ Г. Н. Аппакова (стр.285-289)
Асіф Хан М. Емпіричне дослідження перешкод впровадженню загального управління якістю у пакистанських сервісних організаціях/ Хан М. Асіф (стр.290-299)
Аттік С. Соціальні цінності особи стимулюють задіяність у рішенні споживача щодо придбання товару та компульсивну купівельну поведінку: покроковий багатогруповий аналіз/ С. Аттік, Рауф-і-Азам (стр.300-308)
Бин Ц. Эколого-экономические основы управления земельными ресурсами в Китае/ Ц. Бин, Л. Жуй (стр.309-315)
Гурєєва О. Г. Оцінювання взаємозв'язку циклів зайнятості з переважаючими формами оплати праці/ О. Г. Гурєєва, К. А. ГуреєвО. С. Голубєва (стр.316-323)
Дент М. Досвід продавця: розробка поняття дієвого дослідження/ М. Дент, Сек Хін Е. Вонг (стр.324-330)
Джорджевіч М. Вихід компаній на міжнародні ринки: представлення та аналіз емпіричного дослідження/ М. Джорджевіч, С. ШапічВ. Марінкович (стр.331-342)
Дузельбаева Г. Б. Экономический аспект управления персоналом в нефтегазових компаниях Казахстана/ Г. Б. Дузельбаева (стр.343-350)
Эралиева А. Э. Мотивация профессорско-преподавательского состава высших учебных заведений как фактор повышения качества образования/ А. Э. Эралиева, О. А. Яновская (стр.351-360)
Ердем Е. Вплив культурних змін на розвиток економіки міст: на прикладі турецької економіки/ Е. Ердем, К. Т. Тугджу (стр.361-370)
Здольшек Д. Чи впливає розширення компанії на розкриття інформації за сегментами?/ Д. Здольшек (стр.372-382)
Ігнатієвіч С. Сербська легка промисловість на міжнародному ринку: аналіз порівняльних переваг/ С. Ігнатієвіч, Д. ДжорджевічМ. Чіріч (стр.383-393)
Максимовіч Л. Вплив технологічних інновацій на конкурентоспроможність країн із перехідною економікою/ Л. Максимовіч (стр.394-403)
Мамраева Д. Г. Рынок интеллектуальной промышленной собственности в Республике Казахстан: состояние и тенденции развития/ Д. Г. Мамраева, Л. В. Ташенова (стр.404-426)
Махницкая Е. И. Региональная модель развития инвестиционно-инновационных процессов/ Е. И. Махницкая, У. Ж. Шалболова (стр.414-439)
Меліс Р. Вплив фінансових та демографічних ризиків на приватну розподільну пенсійну систему: на прикладі Італії/ Р. Меліс, А. Трудда (стр.427-439)
Обрадовіч С. Емпіричний аналіз циклічних характеристик фіскальної політики у країнах-членах європейського економічного і валютного союзу/ С. Обрадовіч, С. Луковіч (стр.440-450)
Одіамбо Н. М. Ціни на нафту та економічне зростання у південній Африці: моделювання за трьома параметрами/ Н. М. Одіамбо (стр.451-460)
Сабеу К. Регіональна політика та роль регіонів у коригуванні розривів у розвитку: на прикладі Європейського Союзу, Румунії, Угорщини, Півнично-західного регіону та регіону Північний Альфельд/ К. Сабеу (стр.468-481)
Сокол К. Розвиток процесу бюджетного коригування в Румунії/ К. Сокол (стр.482-488)
Фадеев А. А. Актуальные проблемы и особенности формирования инновационного пути развития экономики Казахстана/ А. А. Фадеев (стр.489-493)
Фаустіно Г. С. Португальська внутрішньогалузева торгівля та витрати на регулювання ринку праці: ще раз про гіпотезу плавного регулювання/ Г. С. Фаустіно, Н. К. Леітао (стр.494-503)
Хо Ч.-М. Нестабільні стани та супутні ефекти на азійських ринках, що розвиваються: марківська модель зміни режиму/ Ч. -М. Хо, Д. - Ю. Ші (стр.504-518)
Хсу Ю-Л. Ефективність вебсайтів групової закупівлі у туристичному маркетингу: на прикладі groupon.com/ Ю-Л. Хсу, К. -Ю. ЧенЮ-С. Тінг (стр.519-527)
Чень М.-Ю. Економічні кризи: природа, наслідки та виклики/ М. -Ю. Чень, Ч. -К. ЧуньМ. -Й. Леонг (стр.528-537)
Чіфтчіолу С. Порівняльний аналіз макроекономічної діяльності та волатильності до та після лібералізації рахунку руху капіталу: на прикладі Чилі та Малайзії/ С. Чіфтчіолу, Н. Чолакоглу (стр.538-547)
Шайкин Д. Н. Оценка уровня занятости населения (на примере Республики Казахстан)/ Д. Н. Шайкин (стр.548-553)
Яношевіч С. Вплив інтелектуального капіталу на фінансові показники сербських компаній/ С. Яношевіч, В. Дженополяц (стр.554-565)
Цікаві статті :
Знайти схожі

12.

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Кокодей Т. А.
Назва : Анализ и формализация стратегий ТПГ "Rainford"методом обратной идентификации (1992 - 1996 гг.)
Місце публікування : Актуал. пробл. екон.: наук. економ. журнал. - К.: Нац. акад. управління, 2012. - N 7. - С. 26-32 (Шифр apek/2012/7)
Примітки : Л-ра в кінці ст.
Предметні рубрики: Харчова промисловість-- Підприємства-- Управління --Україна --Дніпропетровська обл.
Анотація: Одним из крупнейших отечественных предприятий профиля "Высокодиверсифицированный многоструктурный производитель продуктов питания" является сформированная в 1992 г. в г. Днепропетровске украинская торгово-промышленная группа "Rainford".
Знайти схожі

13.

Форма документа : Однотомне видання
Шифр видання : 510.2/Т76
Автор(и) : Трохимчук, Петро Павлович
Назва : Математичні основи знань. Поліметричний підхід : монографія . -Вид. 2-ге, випр. та допов.
Вихідні дані : Луцьк: Вежа-Друк, 2014
Кільк.характеристики :621, [3] с.: рис., табл.
Колективи : Міністерство освіти і науки України, Східноєвропейський національний університет імені Лесі Українки
Примітки : Л-ра: с. 532-573. - Дод.: с. 574-600. - Предм.-ім. покажч.: с. 601-617
ISBN, Ціна 978-966-2750-01-7: 50.00 грн
УДК : 510.2 + 535
ББК : 22.12 + 22.34
Предметні рубрики: Математика
Оптика
Географіч. рубрики:
Анотація: У монографії аналізується проблема оптимальної формалізації знань, наведено основи поліметричного методу, проаналізовано основи релаксаційної оптики.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

14.

Форма документа : Багатотомне видання
Шифр видання : 621.7/П84
Автор(и) :
Назва : Процеси механічної обробки в машинобудуванні: зб. наук. праць/ М-во освіти і науки України, Житомир. держ. технол. ун-т ; [відп. ред. Г. М. Виговський]. Вип. 14
Вихідні дані : Житомир: ЖДТУ, 2013
Кільк.характеристики :203, [1] с.: рис., табл.
Колективи : Міністерство освіти і науки України, Житомирський державний технологічний університет
Примітки : Л-ра в кінці ст.
ISSN: 1817-2997
Ціна : 29.00 грн
УДК : 621.7
ББК : 34.63
Предметні рубрики: Машинобудування-- Механічна обробка
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): місцеві видання--местные издания--металічні сплави--металлические сплавы--інтегровані сапр--интегрированные сапр--інтерактивна формалізація--интерактивная формализация--зубошліфування--зубошлифование--зубчасті колеса--зубчатые колеса--абразивна обробка--абразивная обработка--інструментальні матеріали--инструментальные материалы--точіння загартованої сталі--точение закаленной стали--вуглеродні сплави--углеродистые сплавы--зносостійкий чавун--износостойкий чугун--свердління--сверление--метрологічне забезпечення--метрологическое обеспечение--оптичне виробництво--оптическое производство--кіборит--киборит
Анотація: Статті провідних науковців України (в т.ч. Житомирського державного технологічного університету) та зарубіжжя з питань стану, перспектив та концепцій розвитку процесів механічної обробки.
Примірники :КР(1)
Вільні : КР(1)
Знайти схожі

15.

Форма документа : Однотомне видання
Шифр видання : 621.3.049.77/К-56
Автор(и) : Коваль, Владимир Александрович
Назва : Модели и методы обеспечения функциональной и технологической воспроизводимости интегральных микросхем
Вихідні дані : Л.: Вища шк., 1985
Кільк.характеристики :200 с.: рис., табл.
Примітки : Лит.: с. 192-197
Ціна : 2.20 р.
УДК : 621.3.049.77
ББК : 32.844.1
Предметні рубрики: Інтегральні мікросхеми-- Моделювання
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): конструктивные решения--конструктивні рішення--технологические процессы--технологічні процеси--технологическая воспроизводимость--технологічна відтворюваність--технологическая подготовка производства--технологічна підготовка виробництва--конструктивно-технологические рашения--конструктивно-технологічні рішення--идентификация параметров--ідентифікація параметрів--оптимальные конструкции--оптимальні конструкції--макромодели конструкций--макромоделі конструкцій--теплоэлектрическая совместимость параметров--теплоелектрична сумістність параметрів--формализация задачи назначения допусков--формалізація задачі призначення допусків--формализация методов принятия решений--формалізація методів прйняття рішень
Анотація: Методы моделирования, анализа и принятия конструктивно-технологических решений на ЭВМ, обеспечивающие функционально-технологическую воспроизводимость ИМС.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

16.

Форма документа : Однотомне видання
Шифр видання : 32.973.235/Г85
Автор(и) : Грицик, Володимир Володимирович, Березька, Катерина Миколаївна, Березький, Олег Миколайович
Назва : Моделювання та синтез складних зображень симетричної структури
Вихідні дані : Л.: УАД - ДНДІІІ, 2005
Кільк.характеристики :140 с.: рис., табл., фот. кол.
Колективи : Державний комітет зв'язку та інформатизації України, Національна академія наук України, Державний науково-дослідний інститут інформаційної інфраструктури
Примітки : Дод.: с. 103-138
ISBN, Ціна 966-322-028-7: 25.00 грн
ББК : 32.973.235
Предметні рубрики: Комп'ютерна графіка-- Оптичні зображення
Комп'ютерна графіка-- Моделювання-- Симетрія
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): аналіз предметної області--анализ предметной области--українська народна вишивка--украинская народная вышивка--архівування складних зображень--архивирование сложных изображений--мова опису елементарного рисунка--язык описания элементарного рисунка--формалізація рапортів груп перетворень--формализация рапортов групп преобразований--моделювання зображень-орнаментів--моделирование изображений-узоров--розробка редактора зображень-орнаментів--разработка редактора изображений-узоров--програмно-апаратний комплекс--программно-аппаратный комплекс--моделювання елементарного рисунка--моделирование элементарного рисунка--ефективність архівування зображень-орнаментів--эффективность архивирования изображений-узоров
Анотація: Розроблено метод опису та моделювання складних зображень, який базується на запропонованій мові опису структурних частин зображень-орнаментів та розроблених алгоритмів синтезу та моделювання.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

17.

Форма документа : Однотомне видання
Шифр видання : 004.652/М45
Автор(и) : Мейер, Давид
Назва : Теория реляционных баз данных : монография
Паралельн. назви :The Theory of Relational Databases
Вихідні дані : Москва: Мир, 1987
Кільк.характеристики :608 с.: рис., табл.
Примітки : Лит.: с. 579-597. - Предм. указ.: с. 598-603
Ціна : 2.80 р.
УДК : 004.652
ББК : 32.973
Предметні рубрики: Реляційні бази даних-- Теорія
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): реляционные операторы--реляційні оператори--формализация отношений--формалізація відносин--функциональные зависимости--функціональні залежності--многозначные зависимости--багатозначні залежності--зависимости соединения--залежності з'єднання--теория представлений--теорія зображень--системы запросов--системи запитів--модификация запросов--модифікація запитів--неопределенные значения--невизначені значення--неоднородная информация--неоднорідна інформація--семантика баз данных--семантика баз даних--ациклические схемы баз данных--ациклічні схеми баз даних--реляционные языки запросов--реляційні мови запитів--границы реляционной алгебры--кордони реляційної алгебри
Анотація: Теоретические результаты по математическому моделированию баз данных: исследования, базы данных с частичной информацией, их семантика, зависимость данных.
Примірники : всього : ВВ(1), ФОНД(1)
Вільні : ВВ(1), ФОНД(1)
Знайти схожі

18.

Форма документа : Однотомне видання
Шифр видання : 621.81.04/Б72
Автор(и) : Боброва, Инна Васильевна, Столбунов, Анатолий Семенович
Назва : Основы автоматизированного проектирования технологических процессов электрофизических и электрохимических методов обработки : учеб. пособие
Вихідні дані : Москва: Машиностроение, 1990
Кільк.характеристики :40 с.: рис., табл.
Колективи : Центральное правление Всесоюзного научно-технического общества машиностроителей, Университет технического прогресса в машиностроении
Примітки : Лит.: с. 38
ISBN, Ціна 5-217-00786-9: 2.00 крб
УДК : 621.81.04
ББК : 34.55
Предметні рубрики: Деталі машин-- Електрообробка-- Автоматизоване проектування
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): формализация технологических знаний--формалізація технологічних знань--математическое моделирование проектирования технологий--математичне моделювання проектування технологій--автоматизированное проектирование--автоматизоване проектування--электроэрозионная обработка--електроерозійна обробка
Анотація: Изложены основы построения системы автоматизированного проектирования технологии электрофизических и электрохимических методов обработки как интегрированной системы.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

19.

Форма документа : Однотомне видання
Шифр видання : 30.2-5-05/П 27
Автор(и) : Клевицкий, Геннадий Соломонович, Хейфец, Владимир Берович, Одзи Е.
Назва : Персональная ЭВМ проектировщика
Вихідні дані : Москва: Стройиздат, 1990
Кільк.характеристики :280 с.: рис., табл.
Серія: Вычислительная техника в строительстве
Примітки : Прил.: с. 263-267. - Лит.: с. 268-269. - Предм. указ.: с. 270--272
ISBN, Ціна 5-274-00492-X: 1.10 р.
ББК : 30.2-5-05 + 32.973
Предметні рубрики: Проектування-- Персональні комп'ютери
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): проектирование--проектирование объектов строительства--проектування об'єктів будівництва--формализация знаний проектировщика--формалізація знань проектувальника--проектирование подпорных стенок--проектування підпірних балок--контроль канализационной сети--контроль каналізаційної мережі--проектирование строительных конструкций--проектування будівельних конструкцій
Анотація: Рассмотрены технические и функциональные возможности ПЭВМ применительно к проектной деятельности в архитектурно-строительном проектировании.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

20.

Форма документа : Однотомне видання
Шифр видання : 34.631/С77
Автор(и) : Старостин, Владимир Георгиевич, Лелюхин, Владимир Егорович
Назва : Формализация проектирования процессов обработки резанием
Вихідні дані : Москва: Машиностроение, 1986
Кільк.характеристики :136 с.: рис., табл.
Серія: Библиотека технолога
Примітки : Лит.: с. 133-134
Ціна : 0.45 р.
ББК : 34.631
Предметні рубрики: Обробка різанням-- Технологічні процеси-- Проектування
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): обработка резанием--обработка поверхностей деталей--обробка поверхонь деталей --технологические операции--технологічні операції--проектирование планов обработки--проектування планів обробки--геометрический образ детали--геометричний образ деталі--технологическая матрица--технологічна матриця--методы обработки поверхностей--методи обробки поверхонь--формирование маршрутов--формування маршрутів--формирование операций обработки--формування операцій обробки
Анотація: Технологическое обеспечение автоматизированного проектирования процесса обработки резанием, изложены методика и приемы формализованного решения технологических задач.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)