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