Atjaunināt sīkdatņu piekrišanu

E-grāmata: Theoretical Aspects of Computing - ICTAC 2024: 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

Edited by , Edited by
  • Formāts: EPUB+DRM
  • Sērija : Lecture Notes in Computer Science 15373
  • Izdošanas datums: 21-Nov-2024
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783031770197
Citas grāmatas par šo tēmu:
  • Formāts - EPUB+DRM
  • Cena: 71,37 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Theoretical Aspects of Computing - ICTAC 2024: 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, ProceedingsPalielināt
  • Formāts: EPUB+DRM
  • Sērija : Lecture Notes in Computer Science 15373
  • Izdošanas datums: 21-Nov-2024
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783031770197
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 2529, 2024. 





The 21 full papers presented here were carefully reviewed and selected from 46 submissions. They were categorized into the following topical sections: Invited Papers; Automata, Languages, and Learning; Algorithms and Complexity; Graphs and Games; Process Calculi; Verification and Reasoning.
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 Ramseys theorem by symbolic
computation over the finite field GF(2).- Runtime Enforcement with Event
Reordering.
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97830317701976e.html