Mathematical theory of computation

The two volume set LNCS 13258 and 13259 constitutes the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, held in Puerto de la Cruz, Tenerife, Spain in May - June 2022.

The main aim of the book is to give a review of all relevant information regarding a well-known and important problem of Feedback Arc Set (FAS).

This book introduces the development of self-interference (SI)-cancellation techniques for full-duplex wireless communication systems.

This two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2020, held in Zhengzhou, China, in October 2020.

This book constitutes the proceedings of the First International Conference on Smart Computing and Communication, SmartCom 2016, held in Shenzhen, China, in December 2016.

Why do polished stones look wet?

This book constitutes the proceedings of the 21st International Semantic Web Conference, ISWC 2022, which took place in October 2022 in a virtual mode.

This two-volume set, LNCS 13163-13164, constitutes the refereed proceedings of the 7th International Conference on Machine Learning, Optimization, and Data Science, LOD 2021, together with  the first edition of the Symposium on Artificial Intelligence and Neuroscience, ACAIN 2021.

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.

This book constitutes the proceedings of the 20th International Conference on Web Information Systems Engineering, WISE 2019, held in Hong Kong, China, in November 2019.

This book constitutes the proceedings of the 23rd International Conference on Text, Speech, and Dialogue, TSD 2020, held in Brno, Czech Republic, in September 2020.

This book constitutes the refereed proceedings of the 32nd International Conference, ISC High Performance 2017, held in Frankfurt, Germany, in June 2017.

This Festschrift was published in honor of Egon Borger on the occasion of his 75th birthday.

This book constitutes the refereed proceedings of the 38th International Conference on Conceptual Modeling, ER 2019, held in Salvador, Brazil, in November 2019.

This Festschrift is in honor of Scott A.

This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.

This book constitutes the proceedings of the 18th International Workshop on Combinatorial Image Analysis, IWCIA 2017, held in Plovdiv, Bulgaria, in June 2017.

This book constitutes the proceedings of the 19th International Symposium on Intelligent Data Analysis, IDA 2021, which was planned to take place in Porto, Portugal.

This compact textbook provides a foundation in mathematics for STEM students entering university.

This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.

This book constitutes the refereed post-conference proceedings of the 7th International Conference on Nature of Computation and Communication, ICTCC 2021, held in October 2021.

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.

This book constitutes refereed proceedings of the 5th International Conference on New Trends in Information and Communications Technology Applications, NTICT 2021, held in Baghdad, Iraq, in November 2021.

This book constitutes the proceedings of the 15th International Conference on Algorithms and Computation, WALCOM 2021, which was planned to take place in Yangon, Myanmar in February/March 2021.

This book constitutes the proceedings of the satellite events held at the 18th Extended Semantic Web Conference, ESWC 2021, in June 2021.

This volume constitutes the refereed proceedings of the 4th International Conference on Optimization and Learning, OLA 2021, held in Catania, Italy, in  June 2021.

This book provides a practical guide to applying soft-computing methods to interpret geophysical data.

This book presents the stream-tube method (STM), a method offering computational means of dealing with the two- and three-dimensional properties of numerous incompressible materials in static and dynamic conditions.

This book constitutes the refereed proceedings of the 16th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2018, held in A Coruna, Spain, in May 2018.

This book constitutes the refereed proceedings of the 6th Joint International Conference on Serious Games, JCSG 2020, held in Stoke-on-Trent, UK, in November 2020.

This book offers a gentle introduction to key elements of Geometric Algebra, along with their applications in Physics, Robotics and Molecular Geometry.

This book constitutes the refereed proceedings of the 28th International Symposium on Graph Drawing and Network Visualization, GD 2020, which was held during September 16-18, 2020.

This book constitutes the proceedings of the 13th International Computer Science Symposium in Russia, CSR 2018, held in Moscow, Russia, in May 2018.

This book constitutes the refereed proceedings of the 18th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2018, held in Parma, Italy, in April 2018, co-located with the Evo* 2018 events EuroGP, EvoMUSART and EvoApplications.

This book covers recent developments in the understanding, quantification, and exploitation of entanglement in spin chain models from both condensed matter and quantum information perspectives.

This book constitutes the proceedings of the 16th International Conference on Algorithmic Aspects in Information and Management, AAIM 2022, which was held online during August 13-14, 2022.

This book constitutes the thoroughly refereed post-conference proceedings of the First JARA High-Performance Computing Symposium, JARA-HPC 2016, held in Aachen, Germany, in October 2016.

This book constitutes the Second Diabetic Foot Ulcers Grand Challenge, DFUC 2021, which was held on September 27, 2021, in conjunction with the 24th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2021.

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Metadata and Semantic Research, MTSR 2017 2017, held in Tallinn, Estonia, November 28th to December 1st, 2017.

This book constitutes the proceedings of the 16th International Conference on Advanced Data Mining and Applications, ADMA 2020, held in Foshan, China in November 2020.

This two-volume set constitutes the refereed post-conference proceedings of the 12th International Conference on Simulation Tools and Techniques, SIMUTools 2020, held in Guiyang, China, in August 2020.

This book constitutes the refereed proceedings of the 14th International Conference on Scalable Uncertainty Management, SUM 2020, which was held in Bozen-Bolzano, Italy, in September 2020.

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017.

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change.

This book constitutes the proceedings of the Second IAPR International Conference on Discrete Geometry and Mathematical Morphology, DGMM 2022, which was held during October 24-27, 2022, in Strasbourg, France.

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2017, held in Melbourne, VIC, Australia, in August 2017, associated with IJCAI 2017, the 26th International Joint Conference on Artificial Intelligence.

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Learning and Intelligent Optimization, LION 11, held in Nizhny,Novgorod, Russia, in June 2017.

This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019.

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.

This book constitutes the refereed proceedings of the 17th International Conference on Distributed Computer and Communication Networks, DCCN 2013, held in Moscow, Russia, in October 2013.