Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11

640

Купить

Краткое содержание:

Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11

Name: Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11
Rating: 4.5

Автор:

Покозий Екатерина Александровна

Год:

1999

Язык:

Русский

Страниц:

Описание:

Покозий Е. А. Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11 / Покозий Екатерина Александровна; Рос. акад. наук Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова. - Новосибирск : Б.и., 1999. - 16 с. ; 20 см. - Библиогр.: с. 16 (9 назв.)

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

–

Примечания:

Библиогр.: с. 16 (9 назв.)

Дата создания:

2021-08-01 21:50:00

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Реферат по теме Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11

Заработать от 15 000 руб. до 150 000 руб.

Реставрация Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11

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

Показать контакты

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №5 им. М.А. Волошина

Москва, Москва, Хамовники район
Новодевичий проезд, 10
Расположение на карте

Пн: 10:00-22:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 11:00-21:00

domvoloshina.ru
Вконтакте: https://vk.com/cbscao
Инстаграм: https://instagram.com/voloshin.library
Facebook: https://facebook.com/DomVoloshina

+7 (499) 255-71-14

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Городская библиотека им. В.Г. Распутина

Красноярский край, Дивногорск городской округ, Дивногорск
Набережная им. В.И.Ленина, 25
Расположение на карте

санитарный день: последний чт месяца
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-17:00
Вс: 10:00-17:00

+7 (39144) 3-79-52

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека им. К.А. Тимирязева

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Нижегородский район
Яблоневая, 6
Расположение на карте

санитарный день: последний чт месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вс: 10:00-16:00

+7 (831) 432-22-26

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека

Саратовская область, Воскресенский район, с. Чардым
Советская, 37
Расположение на карте

Пн: 09:00-13:00 14:00-17:00
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека

Новосибирская область, Коченевский район, рп. Коченево
Строительная, 15/1
Расположение на карте

Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 10:00-14:00
Сб: 10:00-14:00

+7 (38351) 2-61-84

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Сельская библиотека, д. Малая Черемшанка

Новосибирская область, Колыванский район, д. Малая Черемшанка
Садовая, 2
Расположение на карте

+7 (38352) 3-71-50

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная межпоселенческая районная библиотека, МБУК, русско-кукморская сельская библиотека

Республика Марий Эл, Медведевский район, д. Русский Кукмор
Пионерская, 3
Расположение на карте

Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00

+7 (8362) 57-64-94

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №1

Алтайский край, Барнаул городской округ, Барнаул, Железнодорожный район, Центр
Молодёжная, 68
Расположение на карте

санитарный день: 15 число месяца; летний период: вс выходной
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00

+7 (3852) 62-77-52

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Городская детская библиотека

Сахалинская область, Корсаковский городской округ, Корсаков
Советская, 38
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

Вконтакте: https://vk.com/public79544470

+7 (42435) 4-18-92

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №5

Оренбургская область, Оренбург городской округ, Оренбург, Ленинский район, Пугачи
Егорова, 22
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00

+7 (3532) 99-15-72

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №5 им. М.А. Волошина

Москва, Москва, Хамовники район
Новодевичий проезд, 10
Расположение на карте

Пн: 10:00-22:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 11:00-21:00

domvoloshina.ru
Вконтакте: https://vk.com/cbscao
Инстаграм: https://instagram.com/voloshin.library
Facebook: https://facebook.com/DomVoloshina

+7 (499) 255-71-14

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Городская библиотека им. В.Г. Распутина

Красноярский край, Дивногорск городской округ, Дивногорск
Набережная им. В.И.Ленина, 25
Расположение на карте

санитарный день: последний чт месяца
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-17:00
Вс: 10:00-17:00

+7 (39144) 3-79-52

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека им. К.А. Тимирязева

санитарный день: последний чт месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вс: 10:00-16:00

+7 (831) 432-22-26

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека

Саратовская область, Воскресенский район, с. Чардым
Советская, 37
Расположение на карте

Пн: 09:00-13:00 14:00-17:00
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека

Новосибирская область, Коченевский район, рп. Коченево
Строительная, 15/1
Расположение на карте

Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 10:00-14:00
Сб: 10:00-14:00

+7 (38351) 2-61-84

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Сельская библиотека, д. Малая Черемшанка

Новосибирская область, Колыванский район, д. Малая Черемшанка
Садовая, 2
Расположение на карте

+7 (38352) 3-71-50

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная межпоселенческая районная библиотека, МБУК, русско-кукморская сельская библиотека

Республика Марий Эл, Медведевский район, д. Русский Кукмор
Пионерская, 3
Расположение на карте

Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00

+7 (8362) 57-64-94

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №1

+7 (3852) 62-77-52

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Городская детская библиотека

Сахалинская область, Корсаковский городской округ, Корсаков
Советская, 38
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

Вконтакте: https://vk.com/public79544470

+7 (42435) 4-18-92

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №5

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00

+7 (3532) 99-15-72

Показать номер