Librarian View
LEADER
04503nam a22005175i 4500
001
16903602
005
20231204163340.0
006
m o d
007
cr nn 008mamaa
008
231122s2023 sz | o |||| 0|eng d
020
|a
9783031479632
024
7
|a
10.1007/978-3-031-47963-2
|2
doi
035
|a
(DE-He213)978-3-031-47963-2
050
4
|a
QA75.5-76.95
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., 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.
506
|a
Access restricted by licensing agreement.
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.
590
|a
Access is available to the Yale community.
650
0
|a
Computer science.
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)
730
0
|a
Springer ENIN.
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
852
8
0
|b
yulintx
|h
None
|z
Online resource
852
8
0
|z
Online resource
856
4
0
|y
Online book
|u
https://yale.idm.oclc.org/login?URL=https://doi.org/10.1007/978-3-031-47963-2
901
|a
QA75.5-76.95
902
|a
Yale Internet Resource
|b
Yale Internet Resource >> None|DELIM|16788693
905
|a
online resource
907
|a
2023-12-04T16:33:40.000Z
946
|a
DO NOT EDIT. DO NOT EXPORT.
953
|a
https://doi.org/10.1007/978-3-031-47963-2