Mathematical theory of computation

This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle Femmine, Palermo, Italy, in September 2023.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Krakow, Poland, in September-October 2023.

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024.

With the increasing complexity of and dependency on software, software products may suffer from low quality, high prices, be hard to maintain, etc.

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Krakow, Poland, in September-October 2023.

This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 - September 1, 2023.

?

This book constitutes the revised selected papers of the 13th International Conference on HPCST 2023, held in Barnaul, Russia, during May 19-20, 2023.

This first book of conference proceedings contains selected papers presented at ICGEC 2023, the 15th International Conference on Genetic and Evolutionary Computing, held on October 6-8, 2023, in Kaohsiung, Taiwan.

This conference LNAI  14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Merida, Yucatan, Mexico.

This book constitutes the refereed proceedings of the 18th International Conference on Green, Pervasive, and Cloud Computing, GPC 2023, held in Harbin, China, during September 23-24, 2023.

This book constitutes the post-conference proceedings of the First International Conference on Advanced Computational Applications of Geometric Algebra, ICACGA 2022, held in Denver, CO, USA, during October 2-5, 2022.

This book constitutes the proceedings of the 14th International Workshop, CDMRI 2023, held in conjunction with MICCAI 2023, the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention.

?

This book constitutes the proceedings of the 14th International Workshop, CDMRI 2023, held in conjunction with MICCAI 2023, the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention.

This conference LNAI  14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Merida, Yucatan, Mexico.

This book constitutes the revised selected papers of the 13th International Conference on HPCST 2023, held in Barnaul, Russia, during May 19-20, 2023.

This book focuses on FPGA EDA tools, the very foundation of FPGA technology.

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.

This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 - September 1, 2023.

This book constitutes the refereed proceedings of the 18th International Conference on Green, Pervasive, and Cloud Computing, GPC 2023, held in Harbin, China, during September 23-24, 2023.

This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle Femmine, Palermo, Italy, in September 2023.

This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 - September 1, 2023.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Krakow, Poland, in September-October 2023.

This second volume of conference proceedings contains selected papers presented at ICGEC 2023, the 15th International Conference on Genetic and Evolutionary Computing, held on October 6-8, 2023 in Kaohsiung, Taiwan.

This book constitutes the refereed proceedings of the 18th International Conference on Green, Pervasive, and Cloud Computing, GPC 2023, held in Harbin, China, during September 23-24, 2023.

This book constitutes the refereed proceedings of the 10th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2024, held in Bhilai, India during February 15-17, 2024.

This second volume of conference proceedings contains selected papers presented at ICGEC 2023, the 15th International Conference on Genetic and Evolutionary Computing, held on October 6-8, 2023 in Kaohsiung, Taiwan.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Krakow, Poland, in September-October 2023.

This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 - September 1, 2023.

This book constitutes the post-conference proceedings of the First International Conference on Advanced Computational Applications of Geometric Algebra, ICACGA 2022, held in Denver, CO, USA, during October 2-5, 2022.

With the increasing complexity of and dependency on software, software products may suffer from low quality, high prices, be hard to maintain, etc.

Practical methods for analyzing your data with graphs, revealing hidden connections and new insights.

This first book of conference proceedings contains selected papers presented at ICGEC 2023, the 15th International Conference on Genetic and Evolutionary Computing, held on October 6-8, 2023, in Kaohsiung, Taiwan.

This book focuses on FPGA EDA tools, the very foundation of FPGA technology.

This book constitutes the refereed proceedings of the 18th International Conference on Green, Pervasive, and Cloud Computing, GPC 2023, held in Harbin, China, during September 23-24, 2023.

Digital signal processing deals with extraction of useful information from signals.

The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, which took place in Taipei, Taiwan, during May 7-10, 2024.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic.

This book constitutes selected and revised papers from the 23rd International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2023, held in Nizhny Novgorod, Russia, during November 13-16 2023.

Mobile crowdsensing (MCS) is emerging as a novel sensing paradigm in the Internet of Things (IoTs) due to the proliferation of smart devices (e.

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25-27, 2021.

This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 - September 1, 2023.

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.

This volume LNCS 14413 constitutes the refereed proceedings of the 19th International Conference, WINE 2023, in  December 2023 held in Shanghai, China.

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.

Mobile crowdsensing (MCS) is emerging as a novel sensing paradigm in the Internet of Things (IoTs) due to the proliferation of smart devices (e.

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25-27, 2021.