neleidžiama
neleidžiama
Skaitmeninių teisių valdymas (DRM)
Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).
Reikalinga programinė įranga
Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)
Norint skaityti šią el. knygą asmeniniame arba Mac kompiuteryje, Jums reikalinga Adobe Digital Editions (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas Adobe Reader, kurią tikriausiai jau turite savo kompiuteryje.)
Negalite skaityti šios el. knygos naudodami Amazon Kindle.
Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight.- MoXI: An Intermediate Language for Symbolic Model Checking. Model Checking: Synchronisation in Language-level Symmetry Reduction for Probabilistic Model Checking.- A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method. Anniversary: Two Decades of Industrializing Formal Verification: The Reactis Story.- Automated Reasoning in Quantum Circuit Compilation. Automated Reasoning: Random Access on Narrow Decision Diagrams in External Memory.- Solving Constrained Horn Clauses as C Programs with CHC2C. Verification Tools: Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study.- Tolerange: Quantifying Fault Masking in Stochastic Systems.- Software Verification Witnesses 2.0.- Fault Localization on Verification Witnesses. Software Verification: Augmenting Interpolation-Based Model Checking with Auxiliary Invariants.- Test-Case Generation with Automata-based Software Model Checking.
Daugiau apie elektronines knygas