Linear time, branching time and partial order in logics and models for concurrency : School / workshop, Noorwijkerhout, The Netherlands, May 30 - June 13, 1988
2476
Купить
Краткое содержание:
Экранизация книги

Linear time, branching time and partial order in logics and models for concurrency : School / workshop, Noorwijkerhout, The Netherlands, May 30 - June 13, 1988

Автор:
Bakker Jacobus Willem de
Год:
Cop.1989
isbn:
3-540-51080-X
Язык:
Английский
Страниц:
713
Заглавие серии:
Lecture notes in computer science ; 354
Описание:
Bakker J. W. de, Jacobus Willem de Linear time, branching time and partial order in logics and models for concurrency : School / workshop, Noorwijkerhout, The Netherlands, May 30 - June 13, 1988 / J. W. de Bakker et al. (eds.). - Berlin etc. : Springer-Verl., Cop.1989. - VIII, 713 с. : ил. ; 24 см. - (Lecture notes in computer science ; 354). - Библиогр. в конце докл.
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математические вычисления → Съезды, совещания и т. п.
Примечания:
Библиогр. в конце докл.
Дата создания:
2020-05-28 03:58:24
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Linear time, branching time and partial order in logics and models for concurrency : School / workshop, Noorwijkerhout, The Netherlands, May 30 - June 13, 1988

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Linear time, branching time and partial order in logics and models for concurrency : School / workshop, Noorwijkerhout, The Netherlands, May 30 - June 13, 1988
Опросы
Выберите раздел логики.
Неформальная
Формальная
Символическая
Диалектическая
Не знаю
Содержание

Реставрация Linear time, branching time and partial order in logics and models for concurrency : School / workshop, Noorwijkerhout, The Netherlands, May 30 - June 13, 1988

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Державна науково-технічна бібліотека України
Киев город со специальным статусом, Київ, Голосіївський район
Антоновича, 180
санитарный день: последняя пт месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 10:00-18:00
gntb.gov.ua
Facebook:  https://facebook.com/Technicallibrary
 +380 (44) 529-42-04 +380 (44) 128-21-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Молода гвардія, городская специализированная молодежная библиотека
Киев город со специальным статусом, Київ, Голосіївський район, Паньківщина
Льва Толстого, 49
санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-17:00
Вс: 10:00-17:00
msmb.org.ua
Facebook:  https://facebook.com/msmbgkiev
Твиттер:  https://twitter.com/@ver288
 +380 (44) 288-30-12
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №53
Москва, Москва, Свиблово район
Тенистый проезд, 2 к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
bibliosvao.ru
 +7 (499) 189-03-28
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека
Ханты-Мансийский автономный округ, Сургут городской округ, Сургут, Северный жилой район, 15а микрорайон
Мира проспект, 35
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (3462) 22-97-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №20 им. Е.А. Евтушенко, информационно досуговый центр, МБУК Централизованная библиотечная система
Иркутская область, Иркутск городской округ, Иркутск, Ленинский округ, Ново-Ленино
Баумана, 201/1
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
cbs.irkipedia.ru
 +7 (3952) 50-24-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система, г. Ангарск
Иркутская область, Ангарский городской округ, Ангарск
95-й квартал, 12
зимний период: вс 10:00-18:00; санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
www.cbs-angarsk.ru
 +7 (3955) 67-33-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №15, г. Златоуст
Челябинская область, Златоустовский городской округ, Златоуст, Машзавод ж/м
Дворцовая, 3
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
www.zlatcbs.ru
 +7 (3513) 66-46-56
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека, г. Искитим
Новосибирская область, Искитим городской округ, Искитим, Индустриальный м-н
Индустриальный микрорайон, 21
технический день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (38343) 2-22-56 +7 (38343) 2-97-21
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №7 им. В.Г. Короленко
Волгоградская область, Волгоград городской округ, Волгоград, Кировский район, микрорайон Бекетовка
Писемского, 89
санитарный день: последний чт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
csgb7.volglib.ru
 +7 (8442) 45-05-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М. Горького, г. Азов
Ростовская область, Азов городской округ, Азов
Луначарского, 107
санитарный день: последний чт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
azovlib.ru
 +7 (86342) 6-81-42
Показать номер
Рецензии и отзывы
Егор Петров
Linear time, branching time and partial order in logics and models for concurrency : School / workshop, Noorwijkerhout, The Netherlands, May 30 - June 13, 1988. В книге говорится , что знак доллара основывается на платежах с абстрактного курса, а поскольку ценность ( whale ) превращается в свою противоположность ( old time),
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Державна науково-технічна бібліотека України
Киев город со специальным статусом, Київ, Голосіївський район
Антоновича, 180
санитарный день: последняя пт месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 10:00-18:00
gntb.gov.ua
Facebook:  https://facebook.com/Technicallibrary
 +380 (44) 529-42-04 +380 (44) 128-21-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Молода гвардія, городская специализированная молодежная библиотека
Киев город со специальным статусом, Київ, Голосіївський район, Паньківщина
Льва Толстого, 49
санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-17:00
Вс: 10:00-17:00
msmb.org.ua
Facebook:  https://facebook.com/msmbgkiev
Твиттер:  https://twitter.com/@ver288
 +380 (44) 288-30-12
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №53
Москва, Москва, Свиблово район
Тенистый проезд, 2 к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
bibliosvao.ru
 +7 (499) 189-03-28
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека
Ханты-Мансийский автономный округ, Сургут городской округ, Сургут, Северный жилой район, 15а микрорайон
Мира проспект, 35
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (3462) 22-97-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №20 им. Е.А. Евтушенко, информационно досуговый центр, МБУК Централизованная библиотечная система
Иркутская область, Иркутск городской округ, Иркутск, Ленинский округ, Ново-Ленино
Баумана, 201/1
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
cbs.irkipedia.ru
 +7 (3952) 50-24-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система, г. Ангарск
Иркутская область, Ангарский городской округ, Ангарск
95-й квартал, 12
зимний период: вс 10:00-18:00; санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
www.cbs-angarsk.ru
 +7 (3955) 67-33-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №15, г. Златоуст
Челябинская область, Златоустовский городской округ, Златоуст, Машзавод ж/м
Дворцовая, 3
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
www.zlatcbs.ru
 +7 (3513) 66-46-56
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека, г. Искитим
Новосибирская область, Искитим городской округ, Искитим, Индустриальный м-н
Индустриальный микрорайон, 21
технический день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (38343) 2-22-56 +7 (38343) 2-97-21
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №7 им. В.Г. Короленко
Волгоградская область, Волгоград городской округ, Волгоград, Кировский район, микрорайон Бекетовка
Писемского, 89
санитарный день: последний чт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
csgb7.volglib.ru
 +7 (8442) 45-05-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М. Горького, г. Азов
Ростовская область, Азов городской округ, Азов
Луначарского, 107
санитарный день: последний чт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
azovlib.ru
 +7 (86342) 6-81-42
Показать номер
Информация от пользователей
Азат Нагирян
Linear time, branching time and partial order in logics and models for concurrency : School / workshop, Noorwijkerhout, The Netherlands, May 30 - June 13, 1988. В книге говорится
Прикрепить файл
Книга находятся в категориях.