Автор: Lin Hongfei, Zhang Min, Pang Liang Название: Information Retrieval: 27th China Conference, CCIR 2021, Dalian, China, October 29-31, 2021, Proceedings ISBN: 3030881881 ISBN-13(EAN): 9783030881887 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 27th China Conference on Information Retrieval, CCIR 2021, held in Dalian, China, in October 2021.The 15 full papers presented were carefully reviewed and selected from 124 submissions.
Автор: Laarman Alfons, Sokolova Ana Название: Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings ISBN: 3030846288 ISBN-13(EAN): 9783030846282 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions.
Автор: Boucher Christina, Thankachan Sharma V. Название: String Processing and Information Retrieval: 27th International Symposium, Spire 2020, Orlando, Fl, Usa, October 13-15, 2020, Proceedings ISBN: 3030592111 ISBN-13(EAN): 9783030592110 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2020, held in Orlando, FL, USA, in October 2020. The 17 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 32 submissions. information retrieval;
Автор: Nakanishi Toru, Nojima Ryo Название: Advances in Information and Computer Security: 16th International Workshop on Security, Iwsec 2021, Virtual Event, September 8-10, 2021, Proceedings ISBN: 303085986X ISBN-13(EAN): 9783030859862 Издательство: Springer Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 16th International Workshop on Security, IWSEC 2021, held in Tokyo, Japan in September 2021. The 14 regular papers and 3 short paper presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: Lattice-Based Cryptography;
Polynomial Invariants for Affine Programs.- Cost Analysis of Smart Contracts via Parametric Resource Analysis.- Memory-Efficient Fixpoint Computation.- Abstract Neural Networks.- Termination of Polynomial Loops.- Stratified Guarded First-order Transition Systems.- Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking.- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis.- Harming Dynamic Analysis.- Simple and Efficient Computation of Minimal Weak Control Closure.- A Library Modeling Language for the Static Analysis of C Programs.- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries.- Probabilistic Lipschitz Analysis of Neural Networks.- On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs.- Exact and Linear-Time Gas-Cost Analysis.- Farkas-Based Tree Interpolation.
Автор: Yang Haiqin, Pasupa Kitsuchart, Leung Andrew Chi Название: Neural Information Processing: 27th International Conference, Iconip 2020, Bangkok, Thailand, November 18-22, 2020, Proceedings, Part IV ISBN: 3030638197 ISBN-13(EAN): 9783030638191 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The two-volume set CCIS 1332 and 1333 constitutes thoroughly refereed contributions presented at the 27th International Conference on Neural Information Processing, ICONIP 2020, held in Bangkok, Thailand, in November 2020.*For ICONIP 2020 a total of 378 papers was carefully reviewed and selected for publication out of 618 submissions.
Автор: Yang Haiqin, Pasupa Kitsuchart, Leung Andrew Chi Название: Neural Information Processing: 27th International Conference, Iconip 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part III ISBN: 3030638359 ISBN-13(EAN): 9783030638351 Издательство: Springer Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The three-volume set of LNCS 12532, 12533, and 12534 constitutes the proceedings of the 27th International Conference on Neural Information Processing, ICONIP 2020, held in Bangkok, Thailand, in November 2020.
Автор: Yang Haiqin, Pasupa Kitsuchart, Leung Andrew Chi Название: Neural Information Processing: 27th International Conference, Iconip 2020, Bangkok, Thailand, November 18-22, 2020, Proceedings, Part V ISBN: 3030638227 ISBN-13(EAN): 9783030638221 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The two-volume set CCIS 1332 and 1333 constitutes thoroughly refereed contributions presented at the 27th International Conference on Neural Information Processing, ICONIP 2020, held in Bangkok, Thailand, in November 2020.*For ICONIP 2020 a total of 378 papers was carefully reviewed and selected for publication out of 618 submissions.
Автор: Yang Haiqin, Pasupa Kitsuchart, Leung Andrew Chi Название: Neural Information Processing: 27th International Conference, Iconip 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part I ISBN: 3030638294 ISBN-13(EAN): 9783030638290 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The three-volume set of LNCS 12532, 12533, and 12534 constitutes the proceedings of the 27th International Conference on Neural Information Processing, ICONIP 2020, held in Bangkok, Thailand, in November 2020.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
