Atjaunināt sīkdatņu piekrišanu

E-grāmata: Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

Edited by , Edited by , Edited by
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 41,62 €*
  • * š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.
Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, ProceedingsPalielināt
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 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions. The papers cover a range of topics in the field of reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri-nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps and new computational paradigms.

Reasoning About Cost-Utility Constraints in Probabilistic Models
1(6)
Christel Baier
Integer-Complete Synthesis for Bounded Parametric Timed Automata
7(13)
Etienne Andre
Didier Lime
Olivier H. Roux
Polynomial Interrupt Timed Automata
20(13)
Beatrice Berard
Serge Haddad
Claudine Picaronny
Mohab Safey El Din
Mathieu Sassolas
Irregular Behaviours for Probabilistic Automata
33(4)
Nathanael Fijalkow
Michal Skrzypczak
Reachability in Succinct One-Counter Games
37(13)
Paul Hunter
On Reachability-Related Games on Vector Addition Systems with States
50(13)
Petr Jancar
A Topological Method for Finding Invariant Sets of Continuous Systems
63(13)
Laurent Fribourg
Eric Goubault
Sameh Mohamed
Marian Mrozek
Sylvie Putot
The Ideal View on Rackoff's Coverability Technique
76(13)
Ranko Lazic
Sylvain Schmitz
Synthesis Problems for One-Counter Automata
89(12)
Antonia Lechner
On Boundedness Problems for Pushdown Vector Addition Systems
101(13)
Jerome Leroux
Gregoire Sutre
Patrick Totzke
Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs is Polynomial
114(14)
Alexander Malkis
Over-Approximating Terms Reachable by Context-Sensitive Rewriting
128(12)
Nirina Andrianarivelo
Pierre Rety
Reducing Bounded Realizability Analysis to Reachability Checking
140(13)
Masaya Shimakawa
Shigeki Hagihara
Naoki Yonezaki
Rearranging Two Dimensional Arrays by Prefix Reversals
153(13)
Akihiro Yamamura
The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets
166(13)
Georg Zetzsche
Author Index 179
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/97833192453792e.html
Keywords: