Vor Ort
Merkzettel Warenkorb
  • Produktbild: Theoretical Aspects of Computing – ICTAC 2024
  • Produktbild: Theoretical Aspects of Computing – ICTAC 2024
Band 15373

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings

Aus der Reihe Lecture Notes in Computer Science

73,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.11.2024

Abbildungen

XVIII, 410 p. 72 illus., 24 illus. in color.

Herausgeber

Chutiporn Anutariya + weitere

Verlag

Springer

Seitenzahl

410

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

645 g

Sprache

Englisch

ISBN

978-3-031-77018-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.11.2024

Abbildungen

XVIII, 410 p. 72 illus., 24 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

410

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

645 g

Sprache

Englisch

ISBN

978-3-031-77018-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Theoretical Aspects of Computing – ICTAC 2024
  • Produktbild: Theoretical Aspects of Computing – ICTAC 2024

  • Automata, Languages, and Learning.-
    Well Behaved (Co)algebraic Semantics of Regular Expressions in Dafny.- Jump Complexity of Deterministic Finite Automata with Translucent Letters.- Learning Closed Signal Flow Graphs.- Dual Adjunction Between $Omega$ Automata and Wilke Algebra Quotients.- On Concurrent Program Algebra and Demonic Automata.- Bisimulations and Logics for Higher Dimensional Automata.-
    Algorithms and Complexity.-
    Maximizing Weighted Dominance in the Plane.- Generalized Parikh Matrices For Tracking Subsequence Occurrences.- Card Based Protocols with Single Card Encoding.-
    Graphs and Games.-
    Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control.- Disconnection Rules are Complete for Chemical Reactions.- Verification with Common Knowledge of Rationality for Graph Games.-
    Process Calculi.-
    Reversibility in Process Calculi with Nondeterminism and Probabilities.- A Theory of Proc Omata and a Proof Technique for Parameterized Process Architectures.- Formal Foundations for Efficient Simulation of MOM Systems The Refinement Calculus for Object Oriented Event Graphs.-
    Verification and Reasoning.-
    Verifying Type Safety for Isabelle/Solidity.- History Based Reasoning about Behavioral Subtyping.- Switched Systems in Coq for Modeling Periodic Controllers.-  A quantum inspired mechanical method for proving of Ramsey’s theorem by symbolic computation over the finite field GF(2).- Runtime Enforcement with Event Reordering.