Alle Bücher der Reihe Theoretical Computer Science and General Issues
2022 | Buch
Logical Foundations of Computer Science
International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.
The 23 revised full papers were carefully reviewed and selected …
2022 | Buch
Network and Parallel Computing
18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3–5, 2021, Proceedings
This book constitutes the proceedings of the 18th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2021, which was held in Paris, France during November 3-5, 2021.
The 20 papers presented in this volume were carefully …
2022 | Buch
Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.
The 22 papers presented in this volume …
2022 | Buch
Algorithms and Discrete Applied Mathematics
8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings
This book constitutes the proceedings of the 8th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2022, which was held in Rupnagar, India, during February 10-12, 2022.
The 39 papers presented in this volume were …
2022 | Buch
Languages and Compilers for Parallel Computing
33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 33rd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2020, held in Stony Brook, NY, USA, in October 2020. Due to COVID-19 pandemic the …
2022 | Buch
Internet of Things – ICIOT 2021
6th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings
This book constitutes the proceedings of the 6th International Conference on Internet of Things, ICIOT 2021, held virtually as part of SCF 2021, during December 10-14, 2021.
The 8 full papers presented in this volume were carefully reviewed and …
2022 | Buch
Algorithms and Architectures for Parallel Processing
21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part I
The three volume set LNCS 13155, 13156, and 13157 constitutes the refereed proceedings of the 21st International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2021, which was held online during December 3-5, 2021.
The …
2022 | Buch
Algorithms and Architectures for Parallel Processing
21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part II
The three volume set LNCS 13155, 13156, and 13157 constitutes the refereed proceedings of the 21st International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2021, which was held online during December 3-5, 2021.
The …
2022 | Buch
Algorithms and Architectures for Parallel Processing
21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part III
The three volume set LNCS 13155, 13156, and 13157 constitutes the refereed proceedings of the 21st International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2021, which was held online during December 3-5, 2021.
The …
2022 | Buch
Frontiers of Algorithmics
International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings
This book constitutes the proceedings of the 15th International Workshop on Frontiers in Algorithmics, FAW 2021, held in conjunction with second International Joint Conference on Theoretical Computer Science (IJTCS 2021), as IJTCS-FAW 2021, in …
2022 | Buch
WALCOM: Algorithms and Computation
16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022, Proceedings
This book constitutes the proceedings of the 16th International Conference on Algorithms and Computation, WALCOM 2022, which was held in Jember, Indonesia, during March 24-26, 2022.
This proceedings volume contains 30 full papers which were …
2022 | Buch
Parallel and Distributed Computing, Applications and Technologies
22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Parallel and Distributed Computing, Applications, and Technologies, PDCAT 2021, which took place in Guangzhou, China, during December 17-19, 2021.
The 24 full papers and …
2021 | Buch
High Performance Computing in Science and Engineering
4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20–23, 2019, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on High Performance Computing in Science and Engineering, HPCSE 2019, held in Karolinka, Czech Republic, in May 2019.
The 9 papers …
2021 | Buch
Verification, Model Checking, and Abstract Interpretation
22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in …
2021 | Buch
SOFSEM 2021: Theory and Practice of Computer Science
47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings
This book contains the invited and contributed papers selected for presentation at SOFSEM 2021, the 47th International Conference on Current Trends in Theory and Practice of Computer Science, which was held online during January 25–28, 2021 …
2021 | Buch
Algorithms and Discrete Applied Mathematics
7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings
This book constitutes the proceedings of the 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021, which was held in Rupnagar, India, during February 11-13, 2021. The 39 papers presented in this volume were …
2021 | Buch
WALCOM: Algorithms and Computation
15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings
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. The conference changed to an online format due to the …
2021 | Buch
Logic-Based Program Synthesis and Transformation
30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.
The 15 papers presented in this volume were carefully …
2021 | Buch
Arithmetic of Finite Fields
8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2020, held in Rennes, France in July 2020.
Due to the COVID-19, the workshop was held online.
The 12 …
2021 | Buch
Cellular Automata
14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2–4, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, which took place in Lodz, Poland, during December 2-4, 2020.
The 24 full and 3 short papers presented in …