Trends in Functional Programming: 20th International Symposium, Tfp 2019, Vancouver, Bc, Canada, June 12-14, 2019, Revised Selected Papers, Bowman William J., Garcia Ronald
Автор: Dabrowski Joel Janek, Rahman Ashfaqur, Paul Manoranjan Название: Image and Video Technology: Psivt 2019 International Workshops, Sydney, Nsw, Australia, November 18-22, 2019, Revised Selected Papers ISBN: 3030397696 ISBN-13(EAN): 9783030397692 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly refereed post-conference proceedings of four international workshops held in the framework of the 9th Pacific-Rim Symposium on Image and Video Technology, PSIVT 2019, in Sydney, NSW, Australia, in November 2019: Vision-Tech: Workshop on Challenges, Technology, and Solutions in the Areas of Computer Vision;
Автор: Brandic Ivona, Genez Thiago A. L., Pietri Ilia Название: Algorithmic Aspects of Cloud Computing: 5th International Symposium, Algocloud 2019, Munich, Germany, September 10, 2019, Revised Selected Papers ISBN: 3030586278 ISBN-13(EAN): 9783030586270 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed post-conference proceedings of the 5th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2019, held in Munich, Germany, in September 2019. The 8 revised full papers were carefully reviewed and selected from 16 submissions.
Автор: Sekerinski Emil, Moreira Nelma, Oliveira Josй N. Название: Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II ISBN: 3030549968 ISBN-13(EAN): 9783030549961 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019;
Автор: Byrski Aleksander, Hughes John Название: Trends in Functional Programming: 21st International Symposium, Tfp 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers ISBN: 3030577600 ISBN-13(EAN): 9783030577605 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions.
Автор: Benzekri Abdelmalek, Barbeau Michel, Gong Guang Название: Foundations and Practice of Security: 12th International Symposium, Fps 2019, Toulouse, France, November 5-7, 2019, Revised Selected Papers ISBN: 3030453707 ISBN-13(EAN): 9783030453701 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the revised selected papers of the 12th International Symposium on Foundations and Practice of Security, FPS 2019, held in Toulouse, France, in November 2019.The 19 full papers and 9 short papers presented in this book were carefully reviewed and selected from 50 submissions.
Автор: Cicirelli Franco, Guerrieri Antonio, Pizzuti Clara Название: Artificial Life and Evolutionary Computation: 14th Italian Workshop, Wivace 2019, Rende, Italy, September 18-20, 2019, Revised Selected Papers ISBN: 3030450155 ISBN-13(EAN): 9783030450151 Издательство: Springer Рейтинг: Цена: 55890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the revised selected papers of the 14th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2019, held in Rende, Italy, in September 2019. The 13 full papers and 4 short paper presented were thoroughly reviewed and selected from 31 submissions.
Автор: Wienke Sandra, Bhalachandra Sridutt Название: Accelerator Programming Using Directives: 6th International Workshop, Waccpd 2019, Denver, Co, Usa, November 18, 2019, Revised Selected Papers ISBN: 3030499421 ISBN-13(EAN): 9783030499426 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019.The 7 full papers presented have been carefully reviewed and selected from 13 submissions.
Автор: Shen Hong, Sang Yingpeng Название: Parallel Architectures, Algorithms and Programming: 10th International Symposium, Paap 2019, Guangzhou, China, December 12-14, 2019, Revised Selected ISBN: 9811527660 ISBN-13(EAN): 9789811527661 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 10th International Symposium on Parallel Architectures, Algorithms and Programming, PAAP 2019, held in Guangzhou, China, in December 2019.The 39 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 121 submissions.
Автор: Dennis Louise A., Bordini Rafael H., Lespйrance Yves Название: Engineering Multi-Agent Systems: 7th International Workshop, Emas 2019, Montreal, Qc, Canada, May 13-14, 2019, Revised Selected Papers ISBN: 3030514161 ISBN-13(EAN): 9783030514167 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019, held in Montreal, QC, Canada, in May 2019. The 13 revised full papers presented in this book were carefully selected and reviewed from 20 submissions.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
