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

Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток = 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
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.