Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, Silva Alexandra, Leino K. Rustan M.


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

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

Автор: Silva Alexandra, Leino K. Rustan M.
Название:  Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
ISBN: 9783030816872
Издательство: Springer
Классификация:





ISBN-10: 3030816877
Обложка/Формат: Paperback
Страницы: 940
Вес: 1.32 кг.
Дата издания: 17.07.2021
Язык: English
Размер: 23.39 x 15.60 x 4.83 cm
Ссылка на Издательство: Link
Поставляется из: Германии
Описание: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.


Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Автор: Silva Alexandra, Leino K. Rustan M.
Название: Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
ISBN: 3030816842 ISBN-13(EAN): 9783030816841
Издательство: Springer
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.

Graph Transformation: 14th International Conference, Icgt 2021, Held as Part of Staf 2021, Virtual Event, June 24-25, 2021, Proceedings

Автор: Gadducci Fabio, Kehrer Timo
Название: Graph Transformation: 14th International Conference, Icgt 2021, Held as Part of Staf 2021, Virtual Event, June 24-25, 2021, Proceedings
ISBN: 3030789454 ISBN-13(EAN): 9783030789459
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 24-25, 2021.The 14 full papers and 2 tool papers presented in this book were carefully reviewed and selected from 26 submissions. and tool presentations.

Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I

Автор: Dillig Isil, Tasiran Serdar
Название: Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I
ISBN: 3030255395 ISBN-13(EAN): 9783030255398
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The papers were organized in the following topical sections: Part I: automata and timed systems;

Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I

Автор: Lahiri Shuvendu K., Wang Chao
Название: Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I
ISBN: 3030532879 ISBN-13(EAN): 9783030532871
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

AI Verification.- Blockchain and Security.- Hardware Veri cation and Decision Procedures.- Hybrid and Dynamic Systems.

Advanced Information Systems Engineering: 33rd International Conference, Caise 2021, Melbourne, Vic, Australia, June 28 - July 2, 2021, Proceedings

Автор: La Rosa Marcello, Sadiq Shazia, Teniente Ernest
Название: Advanced Information Systems Engineering: 33rd International Conference, Caise 2021, Melbourne, Vic, Australia, June 28 - July 2, 2021, Proceedings
ISBN: 3030793818 ISBN-13(EAN): 9783030793814
Издательство: Springer
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, which was held online during June 28-July 2, 2021. The papers included in these proceedings focus on intelligent information systems and deal with novel approaches to IS engineering;

Hci International 2021 - 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 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II
ISBN: 3030786412 ISBN-13(EAN): 9783030786410
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.

Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part II

Автор: Lahiri Shuvendu K., Wang Chao
Название: Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part II
ISBN: 3030532909 ISBN-13(EAN): 9783030532901
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Model Checking.- Software Verification.- Stochastic Systems.- Synthesis.

Scale Space and Variational Methods in Computer Vision: 8th International Conference, Ssvm 2021, Virtual Event, May 16-20, 2021, Proceedings

Автор: Elmoataz Abderrahim, Fadili Jalal, Quйau Yvain
Название: Scale Space and Variational Methods in Computer Vision: 8th International Conference, Ssvm 2021, Virtual Event, May 16-20, 2021, Proceedings
ISBN: 3030755487 ISBN-13(EAN): 9783030755485
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 8th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2021, which took place during May 16-20, 2021.

Hci International 2021 - 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 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I
ISBN: 303078634X ISBN-13(EAN): 9783030786342
Издательство: Springer
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.

Applied Cryptography in Computer and Communications: First Eai International Conference, Ac3 2021, Virtual Event, May 15-16, 2021, Proceedings

Автор: Chen Bo, Huang Xinyi
Название: Applied Cryptography in Computer and Communications: First Eai International Conference, Ac3 2021, Virtual Event, May 15-16, 2021, Proceedings
ISBN: 3030808505 ISBN-13(EAN): 9783030808501
Издательство: Springer
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed post-conference proceedings of the First International Conference on Applied Cryptography in Computer and Communications, AC3 2021, and the First International Workshop on Security for Internet of Things (IoT).

Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III

Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula
Название: Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III
ISBN: 3030786447 ISBN-13(EAN): 9783030786441
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия