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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

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

Пошуковий запит: <.>K=Сети Петри<.>

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

510.6(075)
Л63

   Лисовик, Л. П.
    Теория трансдьюсеров [Текст] : [в 3 т.] / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4.
   Т. 2 , кн. 4 : Размеченные деревья. - 2006. - 352 с. - Бібліогр.: с. 341-351. - ISBN 966-651-393-5 (том 2). - ISBN 966-651-394-3 (книга 4) : 15.00 грн

УДК

510.6(075)

ББК 22.18я73
Рубрики: Математична логіка
Кібернетика

Кл.слова (ненормовані):
интерпритация -- інтрерпрітація -- полулинейный резервуар -- полулинейний резервуар -- схематология -- схематологія -- автоматы Рябина -- автомати Рябина -- формальные языки -- формальні язики -- сети Петри -- сеті Петрі -- эквивалентность драйверов -- еквівалентність драйверів -- альтернирующий стекинг -- альтернірующий стекінг
Анотація: Книга дает систематическое и полное представление о методе полулинейного резервуара для решения алгоритмических проблем в теории трансдьюсеров.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

681.5
Д 81

Дудюк, Д. Л.
Гнучке автоматизоване виробництво і роботизовані комплекси [] : навч. посібник / Д. Л. Дудюк, С. С. Мазепа, М. М. Мисик. - Л. : Магнолія плюс, 2005. - 278 с. : рис., табл. - Бібліогр.: с. 276-277 . - ISBN 966-834-53-1 : 030.00 грн

УДК

681.5

ББК 32.816я73
Рубрики: Кібернетичні моделі--Навчальні видання для вищої школи
Робототехніка--Автоматизація виробництв--Навчальні видання для вищої школи

Кл.слова (ненормовані):
Приводи промислових роботів -- Автоматичне керування роботами -- Автоматизированное руководство роботами -- Інформаційні системи роботів -- Обладнання гнучких виробничих систем -- Оборудование гибких автоматизированных систем -- Мережі Петрі -- Сети Петри
Анотація: Системи керування робототехнічними комплексами та гнучким автоматизованим виробництвом

Утримувачі документа:
ЖОУНБ

Дод.точки доступу:
Мазепа, С.С.; Мисик, М.М.
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

004.89(075)
Г 56

Гнучкі комп'ютерно-інтегровані системи: планування, моделювання, верифікація, управління [] : комплекс підручників / Л. С. Ямпольский [и др.]. - Житомир : ЖДТУ, 2010. - 786 с. : рис. - Л-ра: с. 757-769. - Предм. покажч.: с.770. - ISBN 978-966-683-273-6 : 101.00 грн

УДК

004.89(075)

ББК 32.973.2-018я73
Рубрики: Обчислювальна техніка--Інформаційні системи--Навчальні видання
   Обчислювальні системи--Навчальні видання
   Інтегровані системи--Навчальні видання
   Інтелектуальні інформаційні системи--Навчальні видання

Кл.слова (ненормовані):
місцеві видання -- местные издания -- комп'ютерні системи -- компьютерные системы -- експертні системи -- экспертные системы -- інтелектуалізовані роботи -- интеллектуализированные роботы -- розпізнавання образів -- распознавание образов -- гнучке виробництво -- гибкое производство -- інтелектуальні системи -- интеллектуальные системы -- штучний інтелект -- искусственный интеллект -- аналітичне моделювання -- аналитическое моделирование -- імітаційне моделювання -- иммитационное моделирование -- теорія автоматів -- теория автоматов -- сіткові моделі -- сетевые модели -- сітки Петрі -- сети Петри -- програмне управління -- программое управление -- верстати з ЧПУ -- станки с ЧПУ -- інтегроване виробництво -- интегрированное производство
Анотація: Моделювання і управління сладними динамічними системами; основи створення інтелектуалізованих комп'ютерно-інтегрованих комплексів, формування інтелектуальних систем.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Ямпольский, Л. С.; Мельничук, П. П.; Остапченко, К. Б.; Лісовиченко, О. І.
Примірників всього: 2
ФОНД (1), КР (1)
Свободны: ФОНД (1), КР (1)
Знайти схожі

681.51
Т 38

Технология системного моделирования [] / [Е. Ф. Аврамчук и др.] ; под общ. ред. С. В. Емельянова [и др.]. - М. : Машиностроение ; Берлин : Техник, 1988. - 485 с. : рис., табл. - Авт. указ. на обороте тит. стр. - Лит.: с. 503-520 . - Сокр.: с. 501-503. - ISBN 5-217-00150-X : 2.30 р.

УДК

681.51

ББК 32.817
Рубрики: Складні системи--Моделювання--Практичні посібники

Кл.слова (ненормовані):
алгоритмические модели -- алгоритмічні моделі -- агрегативная система -- агрегативна система -- сети Петри -- регенерирующие процессы -- регенеруючі процеси -- языки моделирования -- мови моделювання -- диалоговая система АЛИСА -- модели системной динамики -- моделі системної динаміки -- стратифицированные модели -- стратифіковані моделі -- статистическое исследование -- статистичне дослідження -- модельное время -- модельній час -- дискретное моделирование -- дискретне моделювання -- библиотека агрегатов -- бібліотека агрегатів -- внешнее программное обеспечение -- зовнішнє програмне забезпечення -- проблемно-ориентированные системы -- проблемно-оріентовані системі -- концепция моделей -- концепція моделей
Анотація: Теория и практическое применение системного моделирования.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Аврамчук, Евгений Федорович; Вавилов, Александр Александрович; Емельянов, Станислав Васильевич; Калашников, В. В.; Емельянов, Станислав Васильевич \ред.\; Калашников, В. В; Франко, М.; Явора, А.
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

004
І-74

"Інформаційно-комп'ютерні технології 2014", міжнародна науково-технічна конференція (7 ; 2014 ; Житомир).
Тези 7 Міжнародної науково-технічної конференції "Інформаційно-комп'ютерні технології 2014", 29-30 травня 2014 р. [] / М-во освіти і науки України, Житомир. держ. теххнолог. ун-т. - Житомир : ЖДТУ, 2014. - 144 с. - Л-ра в кінці ст. - ISBN 978-966-683-406-8 : 6.00 грн

УДК

004

ББК 32.97
Рубрики: Комп'ютерні технології--Інформаційні технології--Тези доповідей
Кл.слова (ненормовані):
місцеві видання -- местные издания -- нейронні мережі -- нейронные сети -- комунікаційні мережі -- коммуникационные сети -- автоматизована система аудиту -- автоматизированная система аудита -- смартфон -- прграмні інтерфейси -- прграммные интерфейсы -- мережі Петрі -- сети Петри -- поляризоване випромінювання -- поляризованное излучение -- автоматизоване проектування -- автоматизированное проектирование -- інтерактивна дошка -- интерактивная доска -- програмне забезпечення -- программное обеспечение -- гравіметрична система -- гравиметрическая система -- гравиметри -- гравиметры -- роботизовані механоскладальні технології -- промислові роботи -- промышленные роботы -- цифровий кардіометр -- цифровой кардиометр -- цифрові комутаційні системи -- цифровые комутацыонные системы
Анотація: Аналіз та результати досліджень сучасних проблем комп'ютерно-інформаційних технологій, систем керування та автоматизації, радіотехніки і телекомунікацій та цифрової обробки сигналів.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Міністерство освіти і науки України; Житомирський державний технологічний університет; \про них\
Примірників всього: 2
КР (1), ВВ (1)
Свободны: КР (1), ВВ (1)
Знайти схожі

519.854
К82

Кривий, Сергій Лук'янович.
Дискретна математика. Вибрані питання [] : навч. посібник / С. Л. Кривий ; М-во освіти і науки України, Ін-т кіберн. ім. В. М. Глушкова НАН України, Хмельн. нац. ун-т. - К. : Києво-Могил. акад., 2007. - 570, [2] с. : рис., табл. - Бібліогр.: с. 550-564. - ISBN 978-966-518-432-4 : 35.00 грн

УДК

519.854

ББК 22.174
Рубрики: Дискретна математика--Навчальні видання для вищої школи

Кл.слова (ненормовані):
елементарна транзиційна система -- элементарная трансакционная система -- реактивна система -- реактивная система -- функціональна система -- функциональная система -- метод верифікації систем -- метод верификации систем -- логічне програмування -- логическое программирование -- теорія множин -- теория множеств -- теорія відношень -- теория отношений -- загальна алгебра -- общая алгебра -- математична логіка -- матемтическая логика -- теорія алгоритмів -- теория алгоритмов -- теорія графів -- теория графов -- теорія автоматів -- теория автоматов -- мережі Петрі -- сети Петри
Анотація: Розглянуто основні поняття теорії множини та відношень, загальної алгебри, математичної логіки і теорії алгоритмів, представлені формальні логічні мови.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Міністерство освіти і науки України; Інститут кібернетики імені В. М. Глушкова НАН України; Хмельницький національний університет
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

621.316.5
Т36

Теслюк, Василь Миколайович.
Методи, моделі та засоби автоматизації визначення ємнісних і резистивних параметрів елементів МЕМС [] : монографія / Василь Теслюк, Андрій Пукач, Роман Загарюк ; М-во освіти і науки України, Нац. ун-т "Львів. політехника". - Л. : Вид-во Львів. політехніки, 2015. - 179, [1] с. : рис., фот. - Л-ра: с. 162-177. - ISBN 978-617-607-719-0 : 74.00 грн

УДК

621.316.5

ББК 31.221
Рубрики: Електротехніка--Електричні кола--Електричні вимірювання--Наукові видання

Кл.слова (ненормовані):
величини електичного опору -- величины электрического сопротивления -- вимірювання прискорення -- измерение ускорения -- оброблення сигналів -- обработка сигналов -- перетворення сигналів -- преобразование сигналов -- електичний опір -- электрическое сопротивление -- мережі Петрі -- сети Петри -- робочий цикл функціональної моделі -- рабочий цикл функциональной модели -- величини керованого електричного опору -- величины управляемого электрического сопротивления -- величини електричного опору -- величины электрического сопротивления -- одинарний електричний міст -- одинарный электрический мост -- залишкова напруга -- остаточное напряжение -- алгоритм мікроконтролера -- алгоритм микроконтроллера -- алгоритм оптимізації -- алгоритм оптимизации
Анотація: Методи, моделі та засоби визначення електричного опору резистивних параметрів електричних кіл, а також резистивні та ємнісні параметри МЕМС.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Пукач, Андрій Ігорович; Загарюк, Роман Вікторович; Міністерство освіти і науки України; Національний університет "Львівська політехника"
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

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