Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>

2163

Купить

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

Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>

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

Автор:

Гаранина Наталья Олеговна

Год:

2004

Язык:

Русский

Страниц:

Коллекции:

Авторефераты

Описание:

Гаранина Н. О. Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей> / Гаранина Наталья Олеговна; Ин-т систем информатики им. А. П. Ершова СО РАН. - Новосибирск, 2004. - 18 с. ; 21 см. - Библиогр.: с. 17-18 (7 назв.)

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

4.5

Материалы:

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

Рубрики:

–

Примечания:

Библиогр.: с. 17-18 (7 назв.)

ББК:

32.973.26-018.2

Скачать:

Просмотр и скачивание в формате PDF

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

2021-07-22 09:08:41

Соц. сети:

Важно

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

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

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

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

Реферат по теме Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>

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

Курсовая по теме Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>

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

ВКР/Диплом по теме Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>

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

Диссертация по теме Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>

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

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

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

Реставрация Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>

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

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

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

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

Режим работы

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

Телефон

Дніпровська центральна міська бібліотека

Днепропетровская область, Днепровский городской совет, Днепр, Новокодакский район, Красный Камень ж/м
Красный Камень жилмассив, 3
Расположение на карте

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

library.dp.ua
Инстаграм: https://instagram.com/library_dp
Facebook: https://facebook.com/library.dp.ua
Youtube: https://youtube.com/channel/UCDPLThpYiRMRaNI0O7n_PRw

+380 (56) 740-38-75 +380 (56) 740-37-11 +380 (56) 778-73-93

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

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

Режим работы

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

Телефон

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

Тамбовская область, Тамбов городской округ, Тамбов, Ленинский округ
Первомайская площадь, 28
Расположение на карте

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

www.cls-tambov.ru
Вконтакте: https://vk.com/club53413987

+7 (4752) 75-02-36

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

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

Режим работы

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

Телефон

Центральная детская библиотека

Республика Татарстан, Набережные Челны городской округ, Набережные Челны, Центральный район, Новый Город
17-й комплекс, 15
Расположение на карте

зимний период: пн-пт 10:00-19:00, сб 10:00-17:00; санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

+7 (8552) 38-30-26

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

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

Режим работы

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

Телефон

Библиотека им. М.М. Зощенко

Новосибирская область, Новосибирск городской округ, Новосибирск, Советский район, Шлюз м-н
Тружеников, 16а
Расположение на карте

технический день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00

+7 (383) 306-64-69

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

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

Режим работы

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

Телефон

Центральная библиотека им. К.Г. Паустовского

Санкт-Петербург, Санкт-Петербург, Московский район, МО №46 "Новоизмайловское"
Варшавская, 37 к1
Расположение на карте

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

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

+7 (812) 242-36-32 +7 (812) 242-36-30

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

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

Режим работы

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

Телефон

Библиотека №6, Пушкинский район

Санкт-Петербург, Санкт-Петербург, Пушкинский район, МО "г. Павловск"
1 Мая, 6
Расположение на карте

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

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

+7 (812) 452-11-95

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

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

Режим работы

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

Телефон

Библиотека, ИРОСО

Сахалинская область, Южно-Сахалинск городской округ, Южно-Сахалинск, 10-й микрорайон
Пограничная, 42
Расположение на карте

Пн: 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

www.iroso.ru

+7 (4242) 30-02-78

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

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

Режим работы

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

Телефон

Курская областная библиотека для детей и юношества

Курская область, Курск городской округ, Курск, Центральный округ, Центр
Ленина, 15
Расположение на карте

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

www.obdu-kursk.ru

+7 (4712) 70-18-64 +7 (4712) 70-18-62 +7 (4712) 70-05-23

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

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

Режим работы

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

Телефон

Псковская районная библиотека

Псковская область, Псковский район, д. Писковичи
Писковичи, 16
Расположение на карте

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

+7 (8112) 69-30-51

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

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

Режим работы

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

Телефон

Библиотека, пос. Октябрьский

Республика Татарстан, Верхнеуслонский район, пос. Октябрьский
Центральная, 7
Расположение на карте

Пн: 08:00-14:00
Вт: 08:00-14:00
Ср: 08:00-14:00
Чт: 08:00-14:00
Пт: 08:00-14:00

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

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

Режим работы

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

Телефон

Дніпровська центральна міська бібліотека

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

library.dp.ua
Инстаграм: https://instagram.com/library_dp
Facebook: https://facebook.com/library.dp.ua
Youtube: https://youtube.com/channel/UCDPLThpYiRMRaNI0O7n_PRw

+380 (56) 740-38-75 +380 (56) 740-37-11 +380 (56) 778-73-93

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

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

Режим работы

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

Телефон

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

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

www.cls-tambov.ru
Вконтакте: https://vk.com/club53413987

+7 (4752) 75-02-36

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

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

Режим работы

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

Телефон

Центральная детская библиотека

+7 (8552) 38-30-26

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

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

Режим работы

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

Телефон

Библиотека им. М.М. Зощенко

технический день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00

+7 (383) 306-64-69

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

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

Режим работы

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

Телефон

Центральная библиотека им. К.Г. Паустовского

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

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

+7 (812) 242-36-32 +7 (812) 242-36-30

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

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

Режим работы

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

Телефон

Библиотека №6, Пушкинский район

Санкт-Петербург, Санкт-Петербург, Пушкинский район, МО "г. Павловск"
1 Мая, 6
Расположение на карте

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

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

+7 (812) 452-11-95

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

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

Режим работы

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

Телефон

Библиотека, ИРОСО

Пн: 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

www.iroso.ru

+7 (4242) 30-02-78

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

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

Режим работы

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

Телефон

Курская областная библиотека для детей и юношества

Курская область, Курск городской округ, Курск, Центральный округ, Центр
Ленина, 15
Расположение на карте

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

www.obdu-kursk.ru

+7 (4712) 70-18-64 +7 (4712) 70-18-62 +7 (4712) 70-05-23

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

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

Режим работы

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

Телефон

Псковская районная библиотека

Псковская область, Псковский район, д. Писковичи
Писковичи, 16
Расположение на карте

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

+7 (8112) 69-30-51

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

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

Режим работы

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

Телефон

Библиотека, пос. Октябрьский

Республика Татарстан, Верхнеуслонский район, пос. Октябрьский
Центральная, 7
Расположение на карте

Пн: 08:00-14:00
Вт: 08:00-14:00
Ср: 08:00-14:00
Чт: 08:00-14:00
Пт: 08:00-14:00