Reachability Problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11¿13, 2019, Proceedings - Taschenbuch
2019, ISBN: 3030308057
[EAN: 9783030308056], New book, [PU: Springer International Publishing], ARTIFICIALINTELLIGENCE; AUTOMATATHEORY; FORMALLOGIC; GRAPHTHEORY; PETRINETS; SOFTWAREENGINEERING; SOFTWAREEVALUATI… Mehr…
AbeBooks.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (of 5)] NEW BOOK. Versandkosten: EUR 35.40 Details... |
Reachability Problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11¿13, 2019, Proceedings - Taschenbuch
2019, ISBN: 3030308057
[EAN: 9783030308056], Neubuch, [SC: 0.0], [PU: Springer International Publishing], ARTIFICIALINTELLIGENCE; AUTOMATATHEORY; FORMALLOGIC; GRAPHTHEORY; PETRINETS; SOFTWAREENGINEERING; SOFTWA… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2019, ISBN: 9783030308056
Taschenbuch
Editor: Filiot, Emmanuel, Editor: Jungers, Raphaël, Editor: Potapov, Igor, Springer, Paperback, Auflage: 1st ed. 2019, 256 Seiten, Publiziert: 2019-09-06T00:00:01Z, Produktgruppe: Book, 0… Mehr…
amazon.com Versandkosten:Real shipping costs can differ from the ones shown here. (EUR 3.71) Details... |
Reachability Problems - Taschenbuch
2019, ISBN: 9783030308056
13th International Conference, RP 2019, Brussels, Belgium, September 11?13, 2019, Proceedings, Buch, Softcover, 1st ed. 2019, [PU: Springer International Publishing], Springer Internation… Mehr…
lehmanns.de Versandkosten:Versand in 15-20 Tagen. (EUR 0.00) Details... |
2019, ISBN: 3030308057
[EAN: 9783030308056], New book, [PU: Springer], This item is printed on demand, Books
AbeBooks.com booksXpress, Freehold, NJ, U.S.A. [71410708] [Rating: 4 (of 5)] NEW BOOK. Versandkosten:Free shipping. (EUR 0.00) Details... |
Reachability Problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11¿13, 2019, Proceedings - Taschenbuch
2019, ISBN: 3030308057
[EAN: 9783030308056], New book, [PU: Springer International Publishing], ARTIFICIALINTELLIGENCE; AUTOMATATHEORY; FORMALLOGIC; GRAPHTHEORY; PETRINETS; SOFTWAREENGINEERING; SOFTWAREEVALUATI… Mehr…
Emmanuel Filiot:
Reachability Problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11¿13, 2019, Proceedings - Taschenbuch2019, ISBN: 3030308057
[EAN: 9783030308056], Neubuch, [SC: 0.0], [PU: Springer International Publishing], ARTIFICIALINTELLIGENCE; AUTOMATATHEORY; FORMALLOGIC; GRAPHTHEORY; PETRINETS; SOFTWAREENGINEERING; SOFTWA… Mehr…
2019
ISBN: 9783030308056
Taschenbuch
Editor: Filiot, Emmanuel, Editor: Jungers, Raphaël, Editor: Potapov, Igor, Springer, Paperback, Auflage: 1st ed. 2019, 256 Seiten, Publiziert: 2019-09-06T00:00:01Z, Produktgruppe: Book, 0… Mehr…
Reachability Problems - Taschenbuch
2019, ISBN: 9783030308056
13th International Conference, RP 2019, Brussels, Belgium, September 11?13, 2019, Proceedings, Buch, Softcover, 1st ed. 2019, [PU: Springer International Publishing], Springer Internation… Mehr…
2019, ISBN: 3030308057
[EAN: 9783030308056], New book, [PU: Springer], This item is printed on demand, Books
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Reachability Problems: 13th International Conference, RP 2019, Brussels, Belgium, September 11?13, 2019, Proceedings (Lecture Notes in Computer Science, 11674)
EAN (ISBN-13): 9783030308056
ISBN (ISBN-10): 3030308057
Taschenbuch
Erscheinungsjahr: 2019
Herausgeber: Springer
Buch in der Datenbank seit 2019-10-22T09:25:02+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-31T10:29:58+02:00 (Vienna)
ISBN/EAN: 9783030308056
ISBN - alternative Schreibweisen:
3-030-30805-7, 978-3-030-30805-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: junger, jung emma, potapov
Titel des Buches: lecture notes computer science, september
Daten vom Verlag:
Autor/in: Emmanuel Filiot; Raphaël Jungers; Igor Potapov
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Verlag: Springer; Springer International Publishing
233 Seiten
Erscheinungsjahr: 2019-09-06
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XX, 233 p. 275 illus., 14 illus. in color.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; artificial intelligence; automata theory; formal logic; graph theory; petri nets; software engineering; software evaluation; theorem proving; verification; Computer Science Logic and Foundations of Programming; Software Engineering; Artificial Intelligence; System Performance and Evaluation; The Computing Profession; Mathematics of Computing; Software Engineering; Künstliche Intelligenz; Systemanalyse und -design; Informationstechnik (IT), allgemeine Themen; Mathematik für Informatiker; EA
The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as 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.
Bidding Games on Markov Decision Processes.- Primitivity and synchronizing automata: a functional analytic approach.- Reaching Out Towards Fully Verified Autonomous Systems.- On the m-eternal Domination Number of Cactus Graphs.- On Relevant Equilibria in Reachability Games.- Partial Solvers for Generalized Parity Games.- Reachability in Augmented Interval Markov Chains.- On Solving Word Equations Using SAT.- Parameterised Verification of Publish/Subscribe Networks with Exception Handling.- Cellular automata for the self-stabilisation of colourings and tilings.- On the termination problem for counter machines with incrementing errors.- Reachability Problems on Partially Lossy Queue Automata.- On the computation of the minimal coverability set of Petri nets.- Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds.- Coverability is undecidable in one-dimensional pushdown vector addition systems with resets.- Synthesisof structurally restricted b-bounded Petri nets: complexity results.- Reachability of Five Gossip Protocols.
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783031452857 Reachability Problems (International Conference on Reachability Problems (creator), Olivier Bournez (editor), Enrico Formenti (editor), Igor Potapov (editor))
- 9783031452857 Reachability Problems (International Conference on Reachability Problems (creator), Olivier Bournez (editor), Enrico Formenti (editor), Igor Potapov (editor))
- 9783030617387 Reachability Problems: 14th International Conference, RP 2020, Paris, France, October 19?21, 2020, Proceedings: 12448 (Lecture Notes in Computer Science, 12448) (Sylvain Schmitz; Igor Potapov)
< zum Archiv...