NASA Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings, Lee Ritchie, Jha Susmit, Mavridou Anastasia
Автор: Aleti Aldeida, Panichella Annibale Название: Search-Based Software Engineering: 12th International Symposium, Ssbse 2020, Bari, Italy, October 7-8, 2020, Proceedings ISBN: 303059761X ISBN-13(EAN): 9783030597610 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 12th International Symposium on Search-Based Software Engineering, SSBSE 2020, held in Bari, Italy, in October 2020. The 13 research papers and 5 short papers presented together with 1 keynote were carefully reviewed and selected from 34 submissions.
Автор: de Boer Frank, Cerone Antonio Название: Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings ISBN: 3030587673 ISBN-13(EAN): 9783030587673 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions.
Автор: Raschke Alexander, Mйry Dominique, Houdek Frank Название: Rigorous State-Based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings ISBN: 3030480763 ISBN-13(EAN): 9783030480769 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it.
Автор: Shishkov Boris Название: Business Modeling and Software Design: 10th International Symposium, Bmsd 2020, Berlin, Germany, July 6-8, 2020, Proceedings ISBN: 3030523055 ISBN-13(EAN): 9783030523053 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 10th International Symposium on Business Modeling and Software Design, BMSD 2020, which took place in Berlin, Germany, in July 2020.
Автор: 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;
Автор: Altman Russ B, Dunker A Keith, Hunter Lawrence, Ritchie Marylyn D, Murray Tiffany A, Klein Teri E Название: Biocomputing 2020 - Proceedings Of The Pacific Symposium ISBN: 9811215626 ISBN-13(EAN): 9789811215629 Издательство: World Scientific Publishing Рейтинг: Цена: 274560.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The Pacific Symposium on Biocomputing (PSB) 2020 is an international, multidisciplinary conference for the presentation and discussion of current research in the theory and application of computational methods in problems of biological significance. Presentations are rigorously peer reviewed and are published in an archival proceedings volume. PSB 2020 will be held on January 3 -7, 2020 in Kohala Coast, Hawaii. Tutorials and workshops will be offered prior to the start of the conference.PSB 2020 will bring together top researchers from the US, the Asian Pacific nations, and around the world to exchange research results and address open issues in all aspects of computational biology. It is a forum for the presentation of work in databases, algorithms, interfaces, visualization, modeling, and other computational methods, as applied to biological problems, with emphasis on applications in data-rich areas of molecular biology.The PSB has been designed to be responsive to the need for critical mass in sub-disciplines within biocomputing. For that reason, it is the only meeting whose sessions are defined dynamically each year in response to specific proposals. PSB sessions are organized by leaders of research in biocomputing's 'hot topics.' In this way, the meeting provides an early forum for serious examination of emerging methods and approaches in this rapidly changing field.
Автор: Harks Tobias, Klimm Max Название: Algorithmic Game Theory: 13th International Symposium, Sagt 2020, Augsburg, Germany, September 16-18, 2020, Proceedings ISBN: 3030579794 ISBN-13(EAN): 9783030579791 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Auctions and Mechanism Design.- Congestion Games and Flows over Time.- Markets and Matchings.- Scheduling and Games on Graphs.- Social Choice and Cooperative Games.
Автор: 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.
Автор: Helic Denis, Leitner Gerhard, Stettinger Martin Название: Foundations of Intelligent Systems: 25th International Symposium, Ismis 2020, Graz, Austria, September 23-25, 2020, Proceedings ISBN: 3030594904 ISBN-13(EAN): 9783030594909 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 25th International Symposium on Foundations of Intelligent Systems, ISMIS 2020, held in Graz, Austria, in October 2020.
Автор: Herzig Andreas, Kontinen Juha Название: Foundations of Information and Knowledge Systems: 11th International Symposium, Foiks 2020, Dortmund, Germany, February 17-21, 2020, Proceedings ISBN: 3030399508 ISBN-13(EAN): 9783030399504 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 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.
