Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток = Implementation of the model checking algorithm for coloured Petri nets based on net unfoldings
1275
Купить
Краткое содержание:
Экранизация книги

Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток = Implementation of the model checking algorithm for coloured Petri nets based on net unfoldings

Автор:
Козюра В. Е.
Год:
2002
Язык:
Русский
Страниц:
44
Заглавие серии:
Препринт / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова ; 94
Описание:
Козюра В. Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток = Implementation of the model checking algorithm for coloured Petri nets based on net unfoldings / В.Е. Козюра. - Новосибирск : ИСИ, 2002. - 44 с. : ил. ; 20 см. - (Препринт / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова ; 94). - Библиогр.: с. 41-44
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Петри сети → Математическое моделирование → Разверток метод
Примечания:
Авт. также на англ. яз.: Kozura V.E. . - Рез. на англ. яз. . - Библиогр.: с. 41-44
ББК:
32.973.26-018.2
Дата создания:
2022-01-07 21:16:09
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток = Implementation of the model checking algorithm for coloured Petri nets based on net unfoldings

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток = Implementation of the model checking algorithm for coloured Petri nets based on net unfoldings
Опросы
В каком жанре книга?
Художественная литература
Наука и образование
Компьютеры и интернет
Бизнес и экономика
Искусство и культура
Дом, семья, досуг
Детская литература
Словари, справочники, энциклопедии
Техническая литература
Медицина
Юридическая литература
Астрология, магия, эзотерика
Литература на иностранных языках
Журналы и газеты
Другое
Не знаю
Содержание

Реставрация Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток = Implementation of the model checking algorithm for coloured Petri nets based on net unfoldings

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна бібліотека ім. Д.І. Писарєва
Харьковская область, Харьков, Немышлянский район, Кулиничи пгт
7-й Гвардейской Армии, 14/1
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Facebook:  https://facebook.com/pisarev.library
 +380 (57) 392-01-18
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №215
Москва, Москва, Проспект Вернадского район
Удальцова, 26 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
bibliozao.ru
Facebook:  https://facebook.com/biblioteka215
 +7 (495) 932-77-88
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская централизованная библиотека №1
Хабаровский край, Комсомольск-на-Амуре городской округ, Комсомольск-на-Амуре, Центральный округ, Мылки пос.
Ленина, 79/2
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-18:00
Одноклассники:  https://ok.ru/profile/566650010777
 +7 (4217) 27-96-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10
Архангельская область, Архангельск городской округ, Архангельск, Варавино-Фактория округ, Варавино
Ленинградский проспект, 269 к1
Расположение на карте
санитарный день: последний чт месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00
Вс: 12:00-18:00
arhlib.ru/vsyo-o-tsbs/biblioteki/biblioteka-10-varavino-faktoriya
 +7 (8182) 62-09-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Покровское
Свердловская область, Горноуральский городской округ, с. Покровское
Птицеводов, 11
Расположение на карте
Вт: 10:00-12:00 13:00-18:00
Ср: 10:00-12:00 13:00-18:00
Чт: 10:00-12:00 13:00-18:00
Пт: 10:00-12:00 13:00-18:00
Сб: 10:00-12:00 13:00-18:00
 +7 (3435) 91-11-08
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная библиотека им. М.А. Светлова
Санкт-Петербург, Санкт-Петербург, Колпинский район, МО "г. Колпино"
Веры Слуцкой, 32
Расположение на карте
санитарный день: последняя пт месяца; зимний период: пн-сб 12:00-19:00; вс 10:00-17:00
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 10:00-17:00
lib-kolpin.ru
 +7 (812) 469-52-15 +7 (812) 469-52-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. А.В. Луначарского
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Ворошиловский район
Завкомовская, 47
Расположение на карте
санитарный день: первая ср месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
www.donlib.ru
Вконтакте:  https://vk.com/rostov_library
Facebook:  https://facebook.com/donlib.ru
Твиттер:  https://twitter.com/@cbsrostovskaya
 +7 (863) 254-81-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская центральная библиотека им. Ф.А. Семёнова
Курская область, Курск городской округ, Курск, Центральный округ, Центр
Карла Маркса, 23
Расположение на карте
зимний период: пн-пт 10:00-19:00; вс 10:00-18:00
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (4712) 58-82-89 +7 (4712) 58-82-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная Библиотечная Система г. Улан-Удэ, МАУ
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район
Геологическая, 15
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
cbs-ulan-ude.ru
cbs-uu.ru
Вконтакте:  https://vk.com/bibl_kalashnikov
Facebook:  https://facebook.com/1587033464888844
 +7 (3012) 23-11-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №5
Челябинская область, Магнитогорский городской округ, Магнитогорск, Ленинский район, 17-й а микрорайон
Вокзальная, 118
Расположение на карте
санитарный день: последний пн месяца
Пн: 09:30-17:30
Вт: 09:30-17:30
Ср: 09:30-17:30
Чт: 09:30-17:30
Пт: 09:30-16:30
www.mag-lib.ru
Вконтакте:  https://vk.com/club69165842
 +7 (3519) 20-98-84
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна бібліотека ім. Д.І. Писарєва
Харьковская область, Харьков, Немышлянский район, Кулиничи пгт
7-й Гвардейской Армии, 14/1
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Facebook:  https://facebook.com/pisarev.library
 +380 (57) 392-01-18
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №215
Москва, Москва, Проспект Вернадского район
Удальцова, 26 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
bibliozao.ru
Facebook:  https://facebook.com/biblioteka215
 +7 (495) 932-77-88
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская централизованная библиотека №1
Хабаровский край, Комсомольск-на-Амуре городской округ, Комсомольск-на-Амуре, Центральный округ, Мылки пос.
Ленина, 79/2
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-18:00
Одноклассники:  https://ok.ru/profile/566650010777
 +7 (4217) 27-96-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10
Архангельская область, Архангельск городской округ, Архангельск, Варавино-Фактория округ, Варавино
Ленинградский проспект, 269 к1
Расположение на карте
санитарный день: последний чт месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00
Вс: 12:00-18:00
arhlib.ru/vsyo-o-tsbs/biblioteki/biblioteka-10-varavino-faktoriya
 +7 (8182) 62-09-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Покровское
Свердловская область, Горноуральский городской округ, с. Покровское
Птицеводов, 11
Расположение на карте
Вт: 10:00-12:00 13:00-18:00
Ср: 10:00-12:00 13:00-18:00
Чт: 10:00-12:00 13:00-18:00
Пт: 10:00-12:00 13:00-18:00
Сб: 10:00-12:00 13:00-18:00
 +7 (3435) 91-11-08
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная библиотека им. М.А. Светлова
Санкт-Петербург, Санкт-Петербург, Колпинский район, МО "г. Колпино"
Веры Слуцкой, 32
Расположение на карте
санитарный день: последняя пт месяца; зимний период: пн-сб 12:00-19:00; вс 10:00-17:00
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 10:00-17:00
lib-kolpin.ru
 +7 (812) 469-52-15 +7 (812) 469-52-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. А.В. Луначарского
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Ворошиловский район
Завкомовская, 47
Расположение на карте
санитарный день: первая ср месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
www.donlib.ru
Вконтакте:  https://vk.com/rostov_library
Facebook:  https://facebook.com/donlib.ru
Твиттер:  https://twitter.com/@cbsrostovskaya
 +7 (863) 254-81-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская центральная библиотека им. Ф.А. Семёнова
Курская область, Курск городской округ, Курск, Центральный округ, Центр
Карла Маркса, 23
Расположение на карте
зимний период: пн-пт 10:00-19:00; вс 10:00-18:00
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (4712) 58-82-89 +7 (4712) 58-82-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная Библиотечная Система г. Улан-Удэ, МАУ
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район
Геологическая, 15
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
cbs-ulan-ude.ru
cbs-uu.ru
Вконтакте:  https://vk.com/bibl_kalashnikov
Facebook:  https://facebook.com/1587033464888844
 +7 (3012) 23-11-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №5
Челябинская область, Магнитогорский городской округ, Магнитогорск, Ленинский район, 17-й а микрорайон
Вокзальная, 118
Расположение на карте
санитарный день: последний пн месяца
Пн: 09:30-17:30
Вт: 09:30-17:30
Ср: 09:30-17:30
Чт: 09:30-17:30
Пт: 09:30-16:30
www.mag-lib.ru
Вконтакте:  https://vk.com/club69165842
 +7 (3519) 20-98-84
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.