Search-Based Software Engineering: 12th International Symposium, Ssbse 2020, Bari, Italy, October 7-8, 2020, Proceedings, Aleti Aldeida, Panichella Annibale

Автор: Ceci Michelangelo, Ferilli Stefano, Poggi Antonella
Название: Digital Libraries: The Era of Big Data and Data Science: 16th Italian Research Conference on Digital Libraries, Ircdl 2020, Bari, Italy, January 30-31
ISBN: 3030399044 ISBN-13(EAN): 9783030399047
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the 16th Italian Research Conference on Digital Libraries, IRCDL 2020, held in Bari, Italy, in January 2020. The 12 full papers and 6 short papers presented were carefully selected from 26 submissions.

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

Автор: Soren Prehn; Hans Toetenel
Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
ISBN: 3540548688 ISBN-13(EAN): 9783540548683
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.

Автор: Soren Prehn; Hans Toetenel
Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
ISBN: 3540548343 ISBN-13(EAN): 9783540548348
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.

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

Автор: Jansen Anton, Malavolta Ivano, Muccini Henry
Название: Software Architecture: 14th European Conference, Ecsa 2020, l`Aquila, Italy, September 14-18, 2020, Proceedings
ISBN: 3030589226 ISBN-13(EAN): 9783030589226
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, held in A`quila, Italy, in September 2020. In the Research Track, 12 full papers presented together with 5 short papers were carefully reviewed and selected from 103 submissions.

Автор: Muccini Henry, Avgeriou Paris, Buhnova Barbora
Название: Software Architecture: 14th European Conference, Ecsa 2020 Tracks and Workshops, l`Aquila, Italy, September 14-18, 2020, Proceedings
ISBN: 3030591549 ISBN-13(EAN): 9783030591540
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference on Software Architecture, ECSA 2020, held in L`Aquila, Italy*, in September 2020. FAACS-MDE4SA - Joint Workshop on Formal Approaches for Advanced Computing Systems and Model-Driven Engineering for Software Architecture;

Автор: Lee Ritchie, Jha Susmit, Mavridou Anastasia
Название: NASA Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings
ISBN: 3030557537 ISBN-13(EAN): 9783030557539
Издательство: Springer
Рейтинг:
Цена: 68930.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions.

Автор: Virvou Maria, Nakagawa Hiroyuki, C. Jain Lakhmi
Название: Knowledge-Based Software Engineering: 2020: Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (Jckbse 202
ISBN: 3030539482 ISBN-13(EAN): 9783030539481
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book summarizes the research findings presented at the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), which took place on August 24-26, 2020.

Автор: Conti Mauro, Zhou Jianying, Casalicchio Emiliano
Название: Applied Cryptography and Network Security: 18th International Conference, Acns 2020, Rome, Italy, October 19-22, 2020, Proceedings, Part II
ISBN: 3030578771 ISBN-13(EAN): 9783030578770
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume set of LNCS 12146 and 12147 constitutes the refereed proceedings of the 18th International Conference on Applied Cryptography and Network Security, ACNS 2020, held in Rome, Italy, in October 2020.The conference was held virtually due to the COVID-19 pandemic.

Автор: Conti Mauro, Zhou Jianying, Casalicchio Emiliano
Название: Applied Cryptography and Network Security: 18th International Conference, Acns 2020, Rome, Italy, October 19-22, 2020, Proceedings, Part I
ISBN: 3030578070 ISBN-13(EAN): 9783030578077
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume set of LNCS 12146 and 12147 constitutes the refereed proceedings of the 18th International Conference on Applied Cryptography and Network Security, ACNS 2020, held in Rome, Italy, in October 2020.

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