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

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

Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings 3031471148, 9783031471148

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal M

105 67 25MB Read more

Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023, Proceedings 3031359488, 9783031359484

This book constitutes the proceedings of the 17th International Conference on Formal Concept Analysis, ICFCA 2023, which

157 97 5MB Read more

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings 3031331699, 9783031331695

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Hous

165 16 19MB 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

18 March 2023 New Scientist. International Edition

97 1 21MB Read more

Relational and Algebraic Methods in Computer Science: 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings 3031280822, 9783031280825

This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Comput

161 79 5MB Read more

Locksmith Ledger - March 2023

Locksmith Ledger magazine - March 2023.

185 31 12MB 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

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