Muutke küpsiste eelistusi

E-raamat: Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - EPUB+DRM
  • Hind: 4,08 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, ProceedingsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 


This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.
The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science. 
Universal Graphs and Good for Small Games Automata: New Tools for
Infinite Duration Games.- Resource-Tracking Concurrent Games.- Change
Actions: Models of Generalised Differentiation.- Coalgebra Learning via
Duality.- Tight Worst-Case Bounds for Polynomial Loop Programs.- A Complete
Normal-Form Bisimilarity for State.- Identifiers in Registers - Describing
Network Algorithms with Logic.- The Impatient May Use Limited Optimism to
Minimize Regret.- Causality in Linear Logic: Full Completeness and
Injectivity (Unit-Free Multiplicative-Additive Fragment).- Rewriting Abstract
Structures: Materialization Explained Categorically.- Two-Way Parikh Automata
with a Visibly Pushdown Stack.- Kleene Algebra with Hypotheses.- Trees in
Partial Higher Dimensional Automata.- The Bernays-Schoenfinkel-Ramsey Class
of Separation Logic on Arbitrary Domains.- Continuous Reachability for
Unordered Data Petri Nets is in PTime.- Optimal Satisfiability Checking for
Arithmetic mu-Calculi.- Constructing Inductive-Inductive Types in Cubical
Type Theory.- Causal Inference by String Diagram Surgery.- Higher-Order
Distributions for Differential Linear Logic.- Languages Ordered by the
Subword Order.- Strong Adequacy and Untyped Full-Abstraction for
Probabilistic Coherence Spaces.- A Sound and Complete Logic for Algebraic
Effects.- Equational Axiomatization of Algebras with Structure.- Towards a
Structural Proof Theory of Probabilistic -Calculi.- Partial and Conditional
Expectations in Markov Decision Processes with Integer Weights.- Equational
Theories and Monads from Polynomial Cayley Representations.- A
Dialectica-Like Interpretation of a Linear MSO on Infinite Words.- Deciding
Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time.-
Justness: A Completeness Criterion for Capturing Liveness Properties.- Path
category for Free - Open Morphisms from Coalgebras with Non-Deterministic
Branching.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97830301712786e.html
Märksõnad: