Trends in Functional Programming: 21st International Symposium, Tfp 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, Byrski Aleksander, Hughes John

Автор: Bowman William J., Garcia Ronald
Название: Trends in Functional Programming: 20th International Symposium, Tfp 2019, Vancouver, Bc, Canada, June 12-14, 2019, Revised Selected Papers
ISBN: 3030471462 ISBN-13(EAN): 9783030471460
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019.

Автор: Nakano Keisuke, Sagonas Konstantinos
Название: Functional and Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings
ISBN: 3030590240 ISBN-13(EAN): 9783030590246
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.

Автор: Ohyama Wataru, Jung Soon Ki
Название: Frontiers of Computer Vision: 26th International Workshop, Iw-Fcv 2020, Ibusuki, Kagoshima, Japan, February 20-22, 2020, Revised Selected Papers
ISBN: 981154817X ISBN-13(EAN): 9789811548178
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes refereed proceedings of the 26th International Workshop Frontiers of Computer Vision, IW-FCV 2020, held in Ibusuki, Kagoshima, Japan, in February 2020. The 27 full papers presented were thoroughly reviewed and selected from 68 submissions.

Автор: He Cheng, Feng Mengling, Lee Patrick P. C.
Название: Large-Scale Disk Failure Prediction: Pakdd 2020 Competition and Workshop, AI Ops 2020, February 7 - May 15, 2020, Revised Selected Papers
ISBN: 981157748X ISBN-13(EAN): 9789811577482
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-competition proceedings of the AI Ops Competition on Large-Scale Disk Failure Prediction, conducted between February 7th and May 15, 2020 on the Alibaba Cloud Tianchi Platform.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: Habachi Oussama, Meghdadi Vahid, Sabir Essaid
Название: Ubiquitous Networking: 5th International Symposium, Unet 2019, Limoges, France, November 20-22, 2019, Revised Selected Papers
ISBN: 3030580075 ISBN-13(EAN): 9783030580070
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Ubiquitous Networking, UNet 2019, held in Limoges, France, in November 2019.The 17 revised full papers presented together with 1 short paper were carefully reviewed and selected from 41 submissions.

Автор: 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.

Автор: Bianchini Calebe, Osthoff Carla, Souza Paulo
Название: High Performance Computing Systems: 19th Symposium, Wscad 2018, Sгo Paulo, Brazil, October 1-3, 2018, Revised Selected Papers
ISBN: 3030410498 ISBN-13(EAN): 9783030410490
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 19th Symposium on High Performance Computing System, WSCAD 2018, held in Sao Paulo, Brazil, in October 2018. The papers included in this book are organized according to the following topics: cloud computing;

Автор: Peterson Gilbert, Shenoi Sujeet
Название: Advances in Digital Forensics XVI: 16th Ifip Wg 11.9 International Conference, New Delhi, India, January 6-8, 2020, Revised Selected Papers
ISBN: 3030562220 ISBN-13(EAN): 9783030562229
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book examines the Indian mandate for Corporate Social Responsibility (CSR) and its implementations in various individual organizations. The book explores the various facets of CSR investigation and places special emphasis on the Schedule VII of the Indian Companies Act of 2013, which defines specific areas of intervention for these companies.

Автор: Baldi Marco, Persichetti Edoardo, Santini Paolo
Название: Code-Based Cryptography: 8th International Workshop, Cbcrypto 2020, Zagreb, Croatia, May 9-10, 2020, Revised Selected Papers
ISBN: 3030540731 ISBN-13(EAN): 9783030540739
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed and revised post-conference proceedings of the 8th International Workshop on Code-Based Cryptography, CBCrypto 2020, held in Zagreb, Croatia, in May 2020.*The seven papers presented in this book were carefully reviewed and selected from numerous submissions.