Описание: 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;
Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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.
Автор: Jens Palsberg; Zhendong Su Название: Static Analysis ISBN: 3642032362 ISBN-13(EAN): 9783642032363 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
Автор: Andreas Podelski Название: Static Analysis ISBN: 3319997246 ISBN-13(EAN): 9783319997247 Издательство: Springer Рейтинг: Цена: 10340.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.
The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.
Описание: A printed collection of 53 full-length, peer-reviewed technical papers. Topics include High-Pressure Technology; Rudy Scavuzzo Student Paper Symposium and 27th Annual Student Paper Competition; and ASME Nondestructive Evaluation, Diagnosis and Prognosis Division (NDPD).
Автор: Pascal van Hentenryck Название: Static Analysis ISBN: 3540634681 ISBN-13(EAN): 9783540634683 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These refereed proceedings of the fourth International Symposium on Static Analysis are organized in topical sections on procedural languages, logic programming, concurrency and termination.
Автор: Pinhong Chen; Desmond A. Kirkpatrick; Kurt Keutzer Название: Static Crosstalk-Noise Analysis ISBN: 1475779496 ISBN-13(EAN): 9781475779493 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Malone Martin Название: Larksong Static: Selected Poems 2005-2020 ISBN: 1913499014 ISBN-13(EAN): 9781913499013 Издательство: Неизвестно Рейтинг: Цена: 2068.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of poetry from one of the UK`s foremost practitioners. This is a book that you will treasure for years to come and that will sit proudly on you, and your friends, for you should buy each of them a copy, shelves
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
