Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings 9783031266898, 9783031266881, 3031266897

Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings 3031266889, 9783031266881

Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logi

171 83 6MB Read more

Next Generation Arithmetic: 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings 3031321790, 9783031321795

This book constitutes the refereed proceedings of the 4th International Conference on Next Generation Arithmetic, CoNGA

175 35 21MB Read more

WALCOM: Algorithms and Computation: 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023, Proceedings 3031270509, 9783031270505

This book constitutes the proceedings of the 17th International Conference and Workshops on Algorithms and Computation,

243 15 10MB Read more

Passive and Active Measurement: 24th International Conference, PAM 2023, Virtual Event, March 21–23, 2023, Proceedings 3031284852, 9783031284854

This book constitutes the proceedings of the 24th International Conference, PAM 2023, held as a virtual event, March 21–

250 96 60MB Read more

Locksmith Ledger - March 2023

Locksmith Ledger magazine - March 2023.

185 31 12MB Read more

Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20–24, 2023, Proceedings 3031272498, 9783031272493

This book constitutes the refereed proceedings of the 12th International Conference on Evolutionary Multi-Criterion Opti

238 31 61MB Read more

Distributed Computing and Intelligent Technology: 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18–22, 2023, Proceedings 9783031248481, 9783031248474, 3031248481

This book constitutes the proceedings of the 19th International Conference on Distributed Computing and Intelligent Tech

158 92 55MB Read more

Augmented Intelligence and Intelligent Tutoring Systems. 19th International Conference, ITS 2023 Corfu, Greece, June 2–5, 2023 Proceedings 9783031328824, 9783031328831

181 39 50MB Read more

Similarity Search and Applications. 16th International Conference, SISAP 2023 A Coruña, Spain, October 9–11, 2023 Proceedings 9783031469930, 9783031469947

113 61 34MB Read more

Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings 3031275330, 9783031275333

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which wa

166 60 6MB Read more