Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings, Oh Hakjoo

Автор: Oliveira Bruno C. D. S.
Название: Programming Languages and Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings
ISBN: 3030644367 ISBN-13(EAN): 9783030644369
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions.

Автор: Yoshida Nobuko
Название: Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Pra
ISBN: 3030720187 ISBN-13(EAN): 9783030720186
Издательство: Springer
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.

Автор: Drăgoi Cezara, Mukherjee Suvam, Namjoshi Kedar
Название: Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings
ISBN: 3030888053 ISBN-13(EAN): 9783030888053
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks.

Автор: Konev Boris, Reger Giles
Название: Frontiers of Combining Systems: 13th International Symposium, Frocos 2021, Birmingham, Uk, September 8-10, 2021, Proceedings
ISBN: 3030862046 ISBN-13(EAN): 9783030862046
Издательство: Springer
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.

Автор: Bertino Elisa, Shulman Haya, Waidner Michael
Название: Computer Security - ESORICS 2021: 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4-8, 2021, Proceedings, Part I
ISBN: 3030884171 ISBN-13(EAN): 9783030884178
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two volume set LNCS 12972 + 12973 constitutes the proceedings of the 26th European Symposium on Research in Computer Security, ESORICS 2021, which took place during October 4-8, 2021. The 71 full papers presented in this book were carefully reviewed and selected from 351 submissions.

Автор: Dima Catalin, Shirmohammadi Mahsa
Название: Formal Modeling and Analysis of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings
ISBN: 3030850366 ISBN-13(EAN): 9783030850364
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021. The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks.

Автор: Kostitsyna Irina, Orponen Pekka
Название: Unconventional Computation and Natural Computation: 19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings
ISBN: 3030879925 ISBN-13(EAN): 9783030879921
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 19th International Conference on Unconventional Computation and Natural Computation, UCNC 2021, held in Espoo, Finland, in October 2021. The 12 full papers presented were carefully reviewed and selected from 19 submissions.

Автор: Morales Josй F., Orchard Dominic
Название: Practical Aspects of Declarative Languages: 23rd International Symposium, Padl 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
ISBN: 3030674371 ISBN-13(EAN): 9783030674373
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021. The 10 full papers were carefully reviewed and selected from 21 submissions.

Автор: Mьller Peter
Название: Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Pra
ISBN: 3030449130 ISBN-13(EAN): 9783030449131
Издательство: Springer
Рейтинг:
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.

Автор: Lecroq Thierry, Touzet Hйlиne
Название: String Processing and Information Retrieval: 28th International Symposium, SPIRE 2021, Lille, France, October 4-6, 2021, Proceedings
ISBN: 3030866912 ISBN-13(EAN): 9783030866914
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2021, held in Lille, France, in October 2021.*The 14 full papers and 4 short papers presented together with 2 invited papers in this volume were carefully reviewed and selected from 30 submissions.

Автор: Johnen Colette, Schiller Elad Michael, Schmid Stefan
Название: Stabilization, Safety, and Security of Distributed Systems: 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings
ISBN: 3030910806 ISBN-13(EAN): 9783030910808
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2021, held virtually, in November 2021. The 16 full papers, 10 short and 14 invited papers presented were carefully reviewed and selected from 56 submissions.

Автор: Chikhi Salim, Amine Abdelmalek, Chaoui Allaoua
Название: Modelling and Implementation of Complex Systems: Proceedings of the 6th International Symposium, Misc 2020, Batna, Algeria, October 24‐26, 2020
ISBN: 3030588602 ISBN-13(EAN): 9783030588601
Издательство: Springer
Рейтинг:
Цена: 167700.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.