Theoretical Aspects of Computing – ICTAC 2024
21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings
| ISBN: | 9783031770180 |
|---|---|
| Sprache: | Englisch |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Anutariya, Chutiporn Bonsangue, Marcello M. |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 22.11.2024 |
| Untertitel: | 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings |
| Schlagworte: | Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Formal Languages and Automata Theory Logic Mathematics of Computing Models of Computation Probabilistic programming Semantics and reasoning |
Anmelden