Linear logic in computer science
2069
Купить
Краткое содержание:
Экранизация книги

Linear logic in computer science

Год:
2004
isbn:
0-521-60857-0
Язык:
Английский
Заглавие серии:
London mathematical society lecture note series ; 316
Описание:
Linear logic in computer science / [Azores summer school on linear logic a. computer science, held Aug. 30 - Sept. 7, 2000 in St. Miguel, Azores]; ed. by Thomas Ehrhard [et al.]. - Cambridge : Cambridge univ. press, 2004. - X, 381 c. : ил. ; 23 см. - (London mathematical society lecture note series ; 316). - Библиогр. в конце докл.
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математическая логика → Съезды, совещания и т.п.
Примечания:
Библиогр. в конце докл.
Автор (ред., сост., организация):
Azores summer school on linear logic and computer science (2000 , St. Miguel)
Другие ответственные лица:
Ehrhard, Thomas → Редактор
Дата создания:
2019-09-27 07:29:38
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Linear logic in computer science

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Linear logic in computer science
Опросы
Она устаревшая или актуальная?
Устарела
Актуальна
Не знаю
Содержание

Реставрация Linear logic in computer science

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №4
Брянская область, Брянск городской округ, Брянск, Бежицкий район
Металлистов переулок, 8а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
библиотека32.рф
Вконтакте:  https://vk.com/public44755079
Твиттер:  https://twitter.com/@lib_proskurina
 +7 (4832) 57-03-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №30, г. Домодедово
Московская область, Домодедово городской округ, Домодедово, Западный м-н
Текстильщиков, 41а
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-13:00 14:00-19:00
Ср: 10:00-13:00 14:00-19:00
Чт: 10:00-13:00 14:00-19:00
Пт: 10:00-13:00 14:00-19:00
Сб: 10:00-13:00 14:00-19:00
Вконтакте:  https://vk.com/club140370922
 +7-963-966-75-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Государственная публичная научно-техническая библиотека России
Москва, Москва, Фили-Давыдково район
Кастанаевская, 32 к3
Расположение на карте
санитарный день: первый день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
www.gpntb.ru
Вконтакте:  https://vk.com/gpntb.russia
Инстаграм:  https://instagram.com/gpntb.russia
Facebook:  https://facebook.com/gpntb.russia
 +7 (499) 144-49-41 +7 (499) 144-49-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №59
Москва, Москва, Ярославский район
Ярославское шоссе, 6 к1
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-18:00
Вс: 12:00-18:00
 +7 (499) 188-26-47
Показать номер
Рецензии и отзывы
Егор Петров
Linear logic in computer science». М., 2008. P. 363.] В конце концов, на основе обеих карт созданы два специальных национальных курса — С. X.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №4
Брянская область, Брянск городской округ, Брянск, Бежицкий район
Металлистов переулок, 8а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
библиотека32.рф
Вконтакте:  https://vk.com/public44755079
Твиттер:  https://twitter.com/@lib_proskurina
 +7 (4832) 57-03-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №30, г. Домодедово
Московская область, Домодедово городской округ, Домодедово, Западный м-н
Текстильщиков, 41а
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-13:00 14:00-19:00
Ср: 10:00-13:00 14:00-19:00
Чт: 10:00-13:00 14:00-19:00
Пт: 10:00-13:00 14:00-19:00
Сб: 10:00-13:00 14:00-19:00
Вконтакте:  https://vk.com/club140370922
 +7-963-966-75-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Государственная публичная научно-техническая библиотека России
Москва, Москва, Фили-Давыдково район
Кастанаевская, 32 к3
Расположение на карте
санитарный день: первый день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
www.gpntb.ru
Вконтакте:  https://vk.com/gpntb.russia
Инстаграм:  https://instagram.com/gpntb.russia
Facebook:  https://facebook.com/gpntb.russia
 +7 (499) 144-49-41 +7 (499) 144-49-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №59
Москва, Москва, Ярославский район
Ярославское шоссе, 6 к1
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-18:00
Вс: 12:00-18:00
 +7 (499) 188-26-47
Показать номер
Информация от пользователей
Азат Нагирян
Linear logic in computer science H.V. Papenko, A.A. Titov Volgograd State Technical University
Прикрепить файл
Книга находятся в категориях.