Верификация раскрашенных сетей Петри методом проверки моделей
2980
Купить
Краткое содержание:
Экранизация книги

Верификация раскрашенных сетей Петри методом проверки моделей

Авторы:
Козюра В. Е.
Непомнящий Валерий Александрович
Новиков Р. М.
Год:
2001
Язык:
Русский
Страниц:
24
Заглавие серии:
Препринт / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 89
Описание:
Козюра В. Е., Непомнящий В. А., Новиков Р. М., Непомнящий В. А., Новиков Р. М. Верификация раскрашенных сетей Петри методом проверки моделей / В.Е. Козюра, В.А. Непомнящий, Р.М. Новиков. - Новосибирск : ИСИ, 2001. - 24 с. : ил. ; 20 см. - (Препринт / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 89). - Библиогр.: с. 23-24
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Петри сети → Программы → Верификация
Примечания:
Библиогр.: с. 23-24
ББК:
32.973.202
Автор (ред., сост., организация):
Непомнящий, Валерий Александрович; Новиков, Р. М.
Дата создания:
2020-10-03 23:01:16
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Верификация раскрашенных сетей Петри методом проверки моделей

Заказать реферат Узнать стоимость Скачать пример
OnLine семинар «Лазерные сканирующие системы Topcon»
Уважаемые коллеги! Предлагаем Вам посмотреть онлайн семинар «Решения на базе сканирующих систем TOPCON», который мы провели 19 мая ...
ГЕОСТРОЙИЗЫСКАНИЯ
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Верификация раскрашенных сетей Петри методом проверки моделей
Опросы
Она стоит дороже 200 руб?
Она стоит 200 руб.
Она стоит дороже.
Она стоит дешевле.
Не знаю
Содержание

Реставрация Верификация раскрашенных сетей Петри методом проверки моделей

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Лекция 5 | Введение в биоинформатику | Михаил Капущевский | Лекториум
Лекция 5 | Курс: Введение в биоинформатику | Лектор: Михаил Капущевский | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео ...
Лекториум
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Малая Герценка, детская библиотека
Свердловская область, Екатеринбург городской округ, Екатеринбург, Ленинский район, Центр
Чапаева, 3
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Вс: 09:00-18:00
www.ekmob.ru
Вконтакте:  https://vk.com/mgercenka
Инстаграм:  https://instagram.com/ekmob.ru
Youtube:  https://youtube.com/user/MOBekm
 +7 (343) 257-96-00 +7 (343) 257-92-52
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Читай-город, библиотека, Муниципальная информационно-библиотечная система
Кемеровская область, Кемерово городской округ, Кемерово, Кировский район
40 лет Октября, 18
Расположение на карте
летний период: пн-пт 10:00-19:00; сб, вс выходной; санитарный день: последняя пт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
библиотеки.кемеровские.рф
Вконтакте:  https://vk.com/kemerovskie
Твиттер:  https://twitter.com/@spravkacbs
Google plus:  https://plus.google.com/106616187117403293819
 +7 (3842) 25-16-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Приморский край, Уссурийский городской округ, Уссурийск, Хенина Сопка
Владивостокское шоссе, 109
Расположение на карте
санитарный день: последняя пт месяца; методический день: третья ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-17:00
cbs-ussuri.ru
Одноклассники:  https://ok.ru/group/52389333303486
 +7 (4234) 32-66-12
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Липецкая областная детская библиотека
Липецкая область, Липецк городской округ, Липецк, Советский округ
Льва Толстого, 40
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
www.childbook.ru
Вконтакте:  https://vk.com/childbook_lipetsk
 +7 (4742) 22-13-43 +7 (4742) 22-13-40 +7 (4742) 25-08-22 +7 (4742) 22-13-41
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Малая Герценка, детская библиотека
Свердловская область, Екатеринбург городской округ, Екатеринбург, Ленинский район, Центр
Чапаева, 3
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Вс: 09:00-18:00
www.ekmob.ru
Вконтакте:  https://vk.com/mgercenka
Инстаграм:  https://instagram.com/ekmob.ru
Youtube:  https://youtube.com/user/MOBekm
 +7 (343) 257-96-00 +7 (343) 257-92-52
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Читай-город, библиотека, Муниципальная информационно-библиотечная система
Кемеровская область, Кемерово городской округ, Кемерово, Кировский район
40 лет Октября, 18
Расположение на карте
летний период: пн-пт 10:00-19:00; сб, вс выходной; санитарный день: последняя пт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
библиотеки.кемеровские.рф
Вконтакте:  https://vk.com/kemerovskie
Твиттер:  https://twitter.com/@spravkacbs
Google plus:  https://plus.google.com/106616187117403293819
 +7 (3842) 25-16-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Приморский край, Уссурийский городской округ, Уссурийск, Хенина Сопка
Владивостокское шоссе, 109
Расположение на карте
санитарный день: последняя пт месяца; методический день: третья ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-17:00
cbs-ussuri.ru
Одноклассники:  https://ok.ru/group/52389333303486
 +7 (4234) 32-66-12
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Липецкая областная детская библиотека
Липецкая область, Липецк городской округ, Липецк, Советский округ
Льва Толстого, 40
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
www.childbook.ru
Вконтакте:  https://vk.com/childbook_lipetsk
 +7 (4742) 22-13-43 +7 (4742) 22-13-40 +7 (4742) 25-08-22 +7 (4742) 22-13-41
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.