Programming Languages and Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, Oliveira Bruno C. D. S.
Описание: 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.
Описание: 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.
Описание: The 8 full papers presented together with 15 progress papers or short papers in the volume were carefully reviewed and selected from 40 submissions.
Описание: 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;
Описание: 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.
Описание: 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.
Описание: This book constitutes the proceedings of the 25th International Symposium on Foundations of Intelligent Systems, ISMIS 2020, held in Graz, Austria, in October 2020.
Описание: 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;
Описание: 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.
Neural Networks and Machine Learning.- Automata.- Logics.- Techniques for Verification, Analysis and Testing.- Model Checking and Decision Procedures.- Synthesis.- Randomization and Probabilistic Systems.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
