Programming Languages and Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, Oliveira Bruno C. D. S.

Автор: Di Martino Sergio, Fang Zhixiang, Li Ki-Joune
Название: Web and Wireless Geographical Information Systems: 18th International Symposium, W2gis 2020, Wuhan, China, November 13-14, 2020, Proceedings
ISBN: 3030609510 ISBN-13(EAN): 9783030609511
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 8 full papers presented together with 15 progress papers or short papers in the volume were carefully reviewed and selected from 40 submissions.

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

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

Автор: Cai Zhipeng, Mandoiu Ion, Narasimhan Giri
Название: Bioinformatics Research and Applications: 16th International Symposium, Isbra 2020, Moscow, Russia, December 1-4, 2020, Proceedings
ISBN: 3030578208 ISBN-13(EAN): 9783030578206
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 16th International Symposium on Bioinformatics Research and Applications, ISBRA 2020, held in Moscow, Russia, in December 2020. The 23 full papers and 18 short papers presented in this book were carefully reviewed and selected from 131 submissions.

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

Автор: Valencia-Garcнa Rafael, Alcaraz-Marmol Gema, del Cioppo-Morstadt Javier
Название: Technologies and Innovation: 6th International Conference, Citi 2020, Guayaquil, Ecuador, November 30 - December 3, 2020, Proceedings
ISBN: 303062014X ISBN-13(EAN): 9783030620141
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020.The 16 full papers presented in this volume were carefully reviewed and selected from 41 submissions.

Автор: Han Min, Qin Sitian, Zhang Nian
Название: Advances in Neural Networks - Isnn 2020: 17th International Symposium on Neural Networks, Isnn 2020, Cairo, Egypt, December 4-6, 2020, Proceedings
ISBN: 3030642208 ISBN-13(EAN): 9783030642204
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume LNCS 12557 constitutes the refereed proceedings of the 17th International Symposium on Neural Networks, ISNN 2020, held in Cairo, Egypt, in December 2020.The 24 papers presented in the two volumes were carefully reviewed and selected from 39 submissions. The papers were organized in topical sections named: optimization algorithms;

Автор: Carvalho Gustavo, Stolz Volker
Название: Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, Sbmf 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
ISBN: 3030638812 ISBN-13(EAN): 9783030638818
Издательство: Springer
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 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.

Автор: Brito-Loeza Carlos, Espinosa-Romero Arturo, Martin-Gonzalez Anabel
Название: Intelligent Computing Systems: Third International Symposium, Isics 2020, Sharjah, United Arab Emirates, March 18-19, 2020, Proceedings
ISBN: 3030433633 ISBN-13(EAN): 9783030433635
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third International Symposium on Intelligent Computing Systems, ISICS 2020, held in Sharjah, United Arab Emirates, in March 2020. They deal with the field of intelligent computing systems focusing on artificial intelligence, computer vision and image processing.

Автор: Nguyen Ngoc Thanh, Hoang Bao Hung, Huynh Cong Phap
Название: Computational Collective Intelligence: 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 - December 3, 2020, Proceedings
ISBN: 3030630064 ISBN-13(EAN): 9783030630065
Издательство: Springer
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the refereed proceedings of the 12th International Conference on Computational Collective Intelligence, ICCCI 2020, held in Da Nang, Vietnam, in November 2020.*The 70 full papers presented were carefully reviewed and selected from 314 submissions. computational collective intelligence and natural language processing;

Автор: Qu Xiaobo, Zhen Lu, Howlett Robert J.
Название: Smart Transportation Systems 2020: Proceedings of 3rd Kes-Sts International Symposium
ISBN: 981155269X ISBN-13(EAN): 9789811552694
Издательство: Springer
Рейтинг:
Цена: 204970.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book gathers selected papers presented at the KES International Symposium on Smart Transportation Systems (KES STS 2020).