Mathematical theory of computation

This book constitutes the proceedings of the 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, held in Wroclaw, Poland, during September 15–17, 2025.

This book constitutes the proceedings of the 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, held in Wroclaw, Poland, during September 15–17, 2025.

This book provides essential methodological guidance on IS artifacts to address key challenges in Design Science Research (DSR).

This book provides essential methodological guidance on IS artifacts to address key challenges in Design Science Research (DSR).

This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.

This textbook provides a self-contained basic tutorial to help readers confidently understand and comprehend the fundamental element of quantum computing, that is, the "e;quantum state (spin) represented by the Bloch sphere.

This textbook provides a self-contained basic tutorial to help readers confidently understand and comprehend the fundamental element of quantum computing, that is, the "e;quantum state (spin) represented by the Bloch sphere.

Das Buch soll eine fundamentale mathematische Frage für Leserinnen und Leser ohne besondere Fachkenntnisse nachvollziehbar erörtern: Wie werden Zahlen miteinander multipliziert?

The handbook of heuristics consists of five main parts: search strategies, local search, metaheuristics, analysis and implementations, and applications.

The handbook of heuristics consists of five main parts: search strategies, local search, metaheuristics, analysis and implementations, and applications.

Mastering computer security requires more than just technical knowledge of software, systems and networks—it demands analytical thinking, a problem-solving mindset, and creative reasoning.

This volume on the latest developments in the theory and applications of time series analysis and forecasting comprises a selection of refereed papers presented at the 9th International Conference on Time Series and Forecasting, ITISE 2023, held in Gran Canaria, Spain, July 12-14, 2023.

This book, LNCS 14364, constitutes the refereed proceedings of the 24th Japanese Conference on Discrete and Computational Geometry and Graphs, JCDCGGG 2022, held virtually during September 9-11, 2022.

This book constitutes the proceedings of the 22nd International Conference on Comparative Genomics, RECOMB-CG 2025, which was held in Seoul, South Korea, during April 24–25, 2025.

This volume on the latest developments in the theory and applications of time series analysis and forecasting comprises a selection of refereed papers presented at the 9th International Conference on Time Series and Forecasting, ITISE 2023, held in Gran Canaria, Spain, July 12-14, 2023.

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.

This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.

This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.

This book, LNCS 14364, constitutes the refereed proceedings of the 24th Japanese Conference on Discrete and Computational Geometry and Graphs, JCDCGGG 2022, held virtually during September 9-11, 2022.

This book constitutes the proceedings of the 22nd International Conference on Comparative Genomics, RECOMB-CG 2025, which was held in Seoul, South Korea, during April 24–25, 2025.

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.

This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.

Mastering computer security requires more than just technical knowledge of software, systems and networks—it demands analytical thinking, a problem-solving mindset, and creative reasoning.

This book presents the result of an innovative challenge, to create a systematic literature overview driven by machine-generated content.

This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.

Crypto Engine Design is a deep dive into cryptographic hardware architectures, providing a structured approach to secure computing.

This book addresses the need for users to understand the internal workings of GPenSIM's functions, including their design and how they can be extended to model and analyze scenarios that were previously not possible.

This book addresses the need for users to understand the internal workings of GPenSIM's functions, including their design and how they can be extended to model and analyze scenarios that were previously not possible.

Crypto Engine Design is a deep dive into cryptographic hardware architectures, providing a structured approach to secure computing.

This book presents the result of an innovative challenge, to create a systematic literature overview driven by machine-generated content.

Das Buch soll eine fundamentale mathematische Frage für Leserinnen und Leser ohne besondere Fachkenntnisse nachvollziehbar erörtern: Wie werden Zahlen miteinander multipliziert?

This two-volume set, LNCS 15983 and 15984, constitutes the referred proceedings of the 31st International Computing and Combinatorics Conference, COCOON 2025, held in Chengdu, China, during August 15–17, 2025.

This book provides a hands-on approach to computer symbolic computation using the elementary commands of Python.

This two-volume set, LNCS 15983 and 15984, constitutes the referred proceedings of the 31st International Computing and Combinatorics Conference, COCOON 2025, held in Chengdu, China, during August 15–17, 2025.

This book offers a transformative approach to enhancing transparency, security, and efficiency in travel, providing actionable strategies for industry professionals and enthusiasts alike.

This two-volume set, LNCS 15983 and 15984, constitutes the referred proceedings of the 31st International Computing and Combinatorics Conference, COCOON 2025, held in Chengdu, China, during August 15–17, 2025.

This book offers a transformative approach to enhancing transparency, security, and efficiency in travel, providing actionable strategies for industry professionals and enthusiasts alike.

This book collects selected contributions from the 10th Recurrence Plot Symposium, held at the University of Tsukuba, Japan (August 28-30, 2023).

This book provides a hands-on approach to computer symbolic computation using the elementary commands of Python.

This two-volume set, LNCS 15983 and 15984, constitutes the referred proceedings of the 31st International Computing and Combinatorics Conference, COCOON 2025, held in Chengdu, China, during August 15–17, 2025.

This book offers researchers and practitioners a concise and accessible guide to the essential concepts in statistics, emphasizing their proper application.

The 4-volume set LNCS constitutes the main proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.

This book LNCS 15681 constitutes the refereed proceedings of the 24th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2025, held in Novosibirsk, Russia, during July 7–11, 2025.

This book LNCS 15681 constitutes the refereed proceedings of the 24th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2025, held in Novosibirsk, Russia, during July 7–11, 2025.

This book constitutes the refereed proceedings of the 17th International Conference on Bioinformatics and Computational Biology, BICOB 2025, held in San Francisco, CA, USA, on March 17, 2025.

The 4-volume set LNCS constitutes the main proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.

The 4-volume set LNCS constitutes the main proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.

This book constitutes the refereed proceedings of the 36th International Workshop on Combinatorial Algorithms, IWOCA 2025, held in Bozeman, MT, USA, during July 21-24, 2025.

The 4-volume set LNCS constitutes the main proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.

This book constitutes the refereed proceedings of the 36th International Workshop on Combinatorial Algorithms, IWOCA 2025, held in Bozeman, MT, USA, during July 21-24, 2025.