Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed a...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , , |
| Formato: | Recurso Eletrônico livro eletrônico |
| Idioma: | inglês |
| Publicado em: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Edição: | 1st ed. 2023. |
| coleção: | Lecture Notes in Computer Science,
14446 |
| Assuntos: | |
| Acesso em linha: | https://doi.org/10.1007/978-3-031-47963-2 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-47963-2 | ||
| 003 | DE-He213 | ||
| 005 | 20260810153702.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 231122s2023 sz | o |||| 0|eng d | ||
| 020 | |a 9783031479632 |9 978-3-031-47963-2 | ||
| 024 | 7 | |a 10.1007/978-3-031-47963-2 |2 doi | |
| 050 | 4 | |a QA75.5-76.95 | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a COM014000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 004.0151 |2 23 |
| 245 | 1 | 0 | |a Theoretical Aspects of Computing – ICTAC 2023 |h [electronic resource] : |b 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings / |c edited by Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa. |
| 250 | |a 1st ed. 2023. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2023. | |
| 300 | |a 1 online resource (XI, 440 p. 123 illus.). |b 60 illus. in color. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 14446 | |
| 505 | 0 | |a Optimal Route Synthesis in Space DTN using Markov Decision Processes -- Modelling and Verifying Robotic Software that use Neural Networks -- A game-theoretic approach to indistinguishability of winning objectives as user privacy -- Learning Attack Trees by Genetic Algorithms -- The Landscape of Computing Symmetric $n$-Variable Functions with $2n$ Cards -- On the complexity of reasoning in Kleene algebras with commutativity conditions -- Towards the Complexity Analysis of Programming Language Proof Methods -- A Dynamic Temporal Logic for Quality of Service in Choreographic Models -- Interactive Matching Logic Proofs in Coq -- An Autonomous Data Language -- Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling -- Strong Call-by-Value and Multi Types -- Algorithms for Checking Intersection Non-emptiness of Regular Expressions -- Realisability of Global Models of Interaction -- Efficient Reactive Synthesis Using Mode Decomposition -- A Categorical Approach to Synthetic Chemistry -- Closure and Decision Properties for Higher-Dimensional Automata -- Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad -- Moggi Synchronous Agents, Verification, and Blame – A Deontic View -- Store Locally, Prove Globally -- Denotational Semantics for Symbolic Execution -- TOOL PAPER: Tessla-ROS-Bridge - Runtime Verification of Robotic Systems -- Simplifying process parameters by unfolding algebraic data types -- Modular Soundness Checking of Feature Model Evolution Plans. | |
| 520 | |a This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions. They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas. | ||
| 588 | |a Print version record. | ||
| 650 | 0 | |a Computer science. | |
| 650 | 1 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 700 | 1 | |a Ábrahám, Erika. |e editor. |0 (orcid)0000-0002-5647-6134 |1 https://orcid.org/0000-0002-5647-6134 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Dubslaff, Clemens. |e editor. |0 (orcid)0000-0001-5718-8276 |1 https://orcid.org/0000-0001-5718-8276 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Tarifa, Silvia Lizeth Tapia. |e editor. |0 (orcid)0000-0001-9948-2748 |1 https://orcid.org/0000-0001-9948-2748 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031479625 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031479649 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 14446 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-47963-2 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||