Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, Salaьn Gwen, Wijs Anton


Варианты приобретения
Цена: 41920.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 153 шт.  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Salaьn Gwen, Wijs Anton
Название:  Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
ISBN: 9783030906351
Издательство: Springer
Классификация:





ISBN-10: 3030906353
Обложка/Формат: Paperback
Страницы: 188
Вес: 0.27 кг.
Дата издания: 05.11.2021
Серия: Programming and software engineering
Язык: English
Издание: 1st ed. 2021
Иллюстрации: 21 illustrations, color; 42 illustrations, black and white; xii, 175 p. 63 illus., 21 illus. in color.
Размер: 23.39 x 15.60 x 1.02 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 17th international conference, facs 2021, virtual event, october 28-29, 2021, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper.

Formal Aspects of Component Software: 16th International Conference, Facs 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings

Автор: Arbab Farhad, Jongmans Sung-Shik
Название: Formal Aspects of Component Software: 16th International Conference, Facs 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings
ISBN: 3030409139 ISBN-13(EAN): 9783030409135
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal Logic.- Formal Methods.- Programming Languages.- Semantics.- Software Engineering.- Specifications.- Theorem Proving.

Security and Privacy in Communication Networks: 17th EAI International Conference, SecureComm 2021, Virtual Event, September 6-9, 2021, Proceedings, P

Автор: Garcia-Alfaro Joaquin, Li Shujun, Poovendran Radha
Название: Security and Privacy in Communication Networks: 17th EAI International Conference, SecureComm 2021, Virtual Event, September 6-9, 2021, Proceedings, P
ISBN: 3030900185 ISBN-13(EAN): 9783030900182
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume set LNICST 398 and 399 constitutes the post-conference proceedings of the 17th International Conference on Security and Privacy in Communication Networks, SecureComm 2021, held in September 2021.

Security and Privacy in Communication Networks: 17th EAI International Conference, SecureComm 2021, Virtual Event, September 6-9, 2021, Proceedings, P

Автор: Garcia-Alfaro Joaquin, Li Shujun, Poovendran Radha
Название: Security and Privacy in Communication Networks: 17th EAI International Conference, SecureComm 2021, Virtual Event, September 6-9, 2021, Proceedings, P
ISBN: 3030900215 ISBN-13(EAN): 9783030900212
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume set LNICST 398 and 399 constitutes the post-conference proceedings of the 17th International Conference on Security and Privacy in Communication Networks, SecureComm 2021, held in September 2021.

Mobile Multimedia Communications: 14th EAI International Conference, Mobimedia 2021, Virtual Event, July 23-25, 2021, Proceedings

Автор: Xiong Jinbo, Wu Shaoen, Peng Changgen
Название: Mobile Multimedia Communications: 14th EAI International Conference, Mobimedia 2021, Virtual Event, July 23-25, 2021, Proceedings
ISBN: 303089813X ISBN-13(EAN): 9783030898137
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Mobile Multimedia Communications, Mobimedia 2021, held in July 2021. Due to COVID-19 pandemic the conference was held virtually. The 66 revised full papers presented were carefully selected from 166 submissions.

Emerging Technologies in Computing: 4th EAI/IAER International Conference, iCETiC 2021, Virtual Event, August 18-19, 2021, Proceedings

Автор: Miraz Mahdi H., Southall Garfield, Ali Maaruf
Название: Emerging Technologies in Computing: 4th EAI/IAER International Conference, iCETiC 2021, Virtual Event, August 18-19, 2021, Proceedings
ISBN: 3030900150 ISBN-13(EAN): 9783030900151
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 4th International Conference on Emerging Technologies in Computing, iCEtiC 2021, held in August 2021.

Research in Computer Science and Its Applications: 11th International Conference, CNRIA 2021, Virtual Event, June 17-19, 2021, Proceedings

Автор: Faye Youssou, Gueye Assane, Gueye Bamba
Название: Research in Computer Science and Its Applications: 11th International Conference, CNRIA 2021, Virtual Event, June 17-19, 2021, Proceedings
ISBN: 3030905551 ISBN-13(EAN): 9783030905552
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed post-conference proceedings of the 11th EAI International Conference on Research in Computer science and its Applications, CNRIA 2021, held in June 2021.

Information Security and Privacy: 26th Australasian Conference, ACISP 2021, Virtual Event, December 1-3, 2021, Proceedings

Автор: Baek Joonsang, Ruj Sushmita
Название: Information Security and Privacy: 26th Australasian Conference, ACISP 2021, Virtual Event, December 1-3, 2021, Proceedings
ISBN: 3030905667 ISBN-13(EAN): 9783030905668
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 26th Australasian Conference on Information Security and Privacy, ACISP 2021, held in Perth, WA, Australia, in November 2021.The 35 full papers presented were carefully revised and selected from 157 submissions.

HCI International 2021 - Late Breaking Posters: 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula
Название: HCI International 2021 - Late Breaking Posters: 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I
ISBN: 3030901750 ISBN-13(EAN): 9783030901752
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume set CCIS 1498 and CCIS 1499 contains the late breaking posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Автор: Huisman Marieke, Păsăreanu Corina, Zhan Naijun
Название: Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
ISBN: 3030908690 ISBN-13(EAN): 9783030908690
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions.

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Автор: Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja
Название: Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
ISBN: 3540151990 ISBN-13(EAN): 9783540151999
Издательство: Springer
Рейтинг:
Цена: 43780.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

HCI International 2021 - Late Breaking Posters: 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II

Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula
Название: HCI International 2021 - Late Breaking Posters: 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II
ISBN: 3030901785 ISBN-13(EAN): 9783030901783
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume set CCIS 1498 and CCIS 1499 contains the late breaking posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.

Information and Software Technologies: 26th International Conference, Icist 2020, Kaunas, Lithuania, October 15-17, 2020, Proceedings

Автор: Lopata Audrius, Butkiene Rita, Gudoniene Daina
Название: Information and Software Technologies: 26th International Conference, Icist 2020, Kaunas, Lithuania, October 15-17, 2020, Proceedings
ISBN: 3030595056 ISBN-13(EAN): 9783030595050
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 26th International Conference on Information and Software Technologies, ICIST 2020, held in Kaunas, Lithuania, in October 2020.The 23 full papers and 7 short papers presented were carefully reviewed and selected from 78 submissions.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия