Models, algebras and logic of engineering software : Proc. of the NATO Advanced study inst., Marktoberdorf, Germany, 30 July - 11 Aug. 2002
732
Купить
Краткое содержание:
Экранизация книги

Models, algebras and logic of engineering software : Proc. of the NATO Advanced study inst., Marktoberdorf, Germany, 30 July - 11 Aug. 2002

Год:
2003
isbn:
1-58603-342-5
Язык:
Английский
Заглавие серии:
NATO science series . Ser. III . Computer and systems sciences ; Vol.191 [1387-6694]
Описание:
Models, algebras and logic of engineering software : [Proc. of the NATO Advanced study inst., Marktoberdorf, Germany, 30 July - 11 Aug. 2002] / Ed. by Manfred Broy a. Markus Pizka. - Amsterdam etc. : IOS press Ohmsha, 2003. - XI, 403 c. : ил. ; 25 см. - (NATO science series . Ser. III . Computer and systems sciences ; Vol.191 [1387-6694]). - Библиогр. в конце докл.. - Указ.: с. 403
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Программирование(компьют.) → Математические основы
Примечания:
Библиогр. в конце докл. . - Указ.: с. 403
Другие ответственные лица:
Broy, Manfred → Редактор
Дата создания:
2021-05-29 16:12:38
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Models, algebras and logic of engineering software : Proc. of the NATO Advanced study inst., Marktoberdorf, Germany, 30 July - 11 Aug. 2002

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Models, algebras and logic of engineering software : Proc. of the NATO Advanced study inst., Marktoberdorf, Germany, 30 July - 11 Aug. 2002
Опросы
Это классическая или современная книга?
Классика
Современная
Не знаю
Содержание

Реставрация Models, algebras and logic of engineering software : Proc. of the NATO Advanced study inst., Marktoberdorf, Germany, 30 July - 11 Aug. 2002

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №183 им. Данте Алигьери
Москва, Москва, Гагаринский район
Строителей, 8 к2
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuzao.ru
Вконтакте:  https://vk.com/club46059453
Твиттер:  https://twitter.com/@bib183
 +7 (495) 930-00-03 +7 (495) 938-27-41 +7 (495) 930-98-27 +7 (495) 930-34-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиополе, сельская модельная библиотека
Республика Саха (Якутия), Якутск городской округ, с. Маган
Антенная, 1/3
Расположение на карте
Пн: 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.belinka-lib.ru
 +7 (4112) 40-60-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №13
Камчатский край, Елизовский район, пос. Раздольный
Ролдугина, 17
Расположение на карте
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №14
Самарская область, Самара городской округ, Самара, Самарский район
Ленинградская, 73а
Расположение на карте
санитарный день: первый вт месяца; зимний период: пн-пт, вс 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
Вконтакте:  https://vk.com/narodpovoljia
 +7 (846) 332-51-25
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №3
Тульская область, Узловский район, Узловая
Угольная, 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
biblioteka-uzl.ru
Вконтакте:  https://vk.com/club115619473
 +7 (48731) 5-01-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Родник, библиотека
Республика Хакасия, Саяногорск городской округ, Саяногорск, Заводской м-н
Заводской микрорайон, 16
Расположение на карте
санитарный день: последняя ср месяца
Вт: 10:00-14:00 15:00-19:00
Ср: 10:00-14:00 15:00-19:00
Чт: 10:00-14:00 15:00-19:00
Пт: 10:00-14:00 15:00-19:00
Сб: 10:00-14:00 15:00-18:00
 +7 (39042) 2-15-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Заречное
Новосибирская область, Тогучинский район, с. Заречное
Центральная, 21
Расположение на карте
Вт: 11:00-14:00 15:00-17:25
Ср: 11:00-14:00 15:00-17:25
Чт: 11:00-14:00 15:00-17:25
Пт: 11:00-14:00 15:00-17:25
Сб: 12:00-14:30
Вс: 12:00-14:30
 +7 (38340) 3-65-08
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10, МБУК ЦБС
Пермский край, Березники городской округ, Березники
Советский проспект, 18
Расположение на карте
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 11:00-18:00
 +7 (3424) 26-39-19
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №39
Республика Башкортостан, Уфа городской округ, Уфа, Орджоникидзевский район
Октября проспект, 158
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (347) 284-22-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №11, Невский район
Санкт-Петербург, Санкт-Петербург, Невский район, МО №50 "Ивановский"
Красных Зорь бульвар, 1
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
 +7 (812) 362-16-77
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №183 им. Данте Алигьери
Москва, Москва, Гагаринский район
Строителей, 8 к2
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuzao.ru
Вконтакте:  https://vk.com/club46059453
Твиттер:  https://twitter.com/@bib183
 +7 (495) 930-00-03 +7 (495) 938-27-41 +7 (495) 930-98-27 +7 (495) 930-34-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиополе, сельская модельная библиотека
Республика Саха (Якутия), Якутск городской округ, с. Маган
Антенная, 1/3
Расположение на карте
Пн: 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.belinka-lib.ru
 +7 (4112) 40-60-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №13
Камчатский край, Елизовский район, пос. Раздольный
Ролдугина, 17
Расположение на карте
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №14
Самарская область, Самара городской округ, Самара, Самарский район
Ленинградская, 73а
Расположение на карте
санитарный день: первый вт месяца; зимний период: пн-пт, вс 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
Вконтакте:  https://vk.com/narodpovoljia
 +7 (846) 332-51-25
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №3
Тульская область, Узловский район, Узловая
Угольная, 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
biblioteka-uzl.ru
Вконтакте:  https://vk.com/club115619473
 +7 (48731) 5-01-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Родник, библиотека
Республика Хакасия, Саяногорск городской округ, Саяногорск, Заводской м-н
Заводской микрорайон, 16
Расположение на карте
санитарный день: последняя ср месяца
Вт: 10:00-14:00 15:00-19:00
Ср: 10:00-14:00 15:00-19:00
Чт: 10:00-14:00 15:00-19:00
Пт: 10:00-14:00 15:00-19:00
Сб: 10:00-14:00 15:00-18:00
 +7 (39042) 2-15-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Заречное
Новосибирская область, Тогучинский район, с. Заречное
Центральная, 21
Расположение на карте
Вт: 11:00-14:00 15:00-17:25
Ср: 11:00-14:00 15:00-17:25
Чт: 11:00-14:00 15:00-17:25
Пт: 11:00-14:00 15:00-17:25
Сб: 12:00-14:30
Вс: 12:00-14:30
 +7 (38340) 3-65-08
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10, МБУК ЦБС
Пермский край, Березники городской округ, Березники
Советский проспект, 18
Расположение на карте
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 11:00-18:00
 +7 (3424) 26-39-19
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №39
Республика Башкортостан, Уфа городской округ, Уфа, Орджоникидзевский район
Октября проспект, 158
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (347) 284-22-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №11, Невский район
Санкт-Петербург, Санкт-Петербург, Невский район, МО №50 "Ивановский"
Красных Зорь бульвар, 1
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
 +7 (812) 362-16-77
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.