‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

Linksbuch Neu neu Rechtsbuch

Kucera, Antonin (Herausgeber); Potapov, Igor (Herausgeber)

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 6227

Springer-Verlag GmbH, Springer Berlin, August 2010


197 S. - Sprache: Englisch - 239x156x13 mm

ISBN: 3642153488 EAN: 9783642153488

This volume contains the papers presented at the 4th International Workshop on Reachability Problems, RP 2010 held during August 28-29, 2010 in the F- ulty of Informatics, Masaryk University, Brno, Czech Republic and co-located with Joint MFCS and CSL 2010 (35th InternationalSymposiums on Mathem- ical Foundations of Computer Science and 19th EACSL Annual Conferences on Computer Science Logic). RP 2010 was the fourth in the series of workshops following three successful meetings at Ecole Polytechnique, France in 2009 at University of Liverpool, UK in 2008 and at Turku University, Finland in 2007. TheReachabilityProblemsworkshopsseriesaimsatgatheringtogethersch- ars from diverse disciplines and backgrounds interested in reachability problems that appearin algebraicstructures,computationalmodels, hybridsystems, logic and veri?cation, etc. Reachability is a fundamental problem in the context of many models and abstractions which describe various computational processes. Analysisofthecomputationaltracesandpredictabilityquestionsforsuchmodels can be formalized as a set of di?erent reachability problems. In general, reac- bility can be formulated as follows: Given a computational system with a set of allowed transformations (functions), decide whether a certain state of a system is reachable from a given initial state by a set of allowed transformations. The same questions can be asked not only about reachability of exact states of the system but also about a set of states expressed in terms of some property as a parameterized reachability problem. Another set of predictability questions can be seen in terms of reachability of eligible traces of computations,unavoidability ofsomedynamicsandapossibilitytoavoidundesirabledynamicsusingalimited control.


Preis: 64,19 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 64,19 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

Unique visibility, state-of-the-art survey, fast-track conference proceedings

Inhaltsverzeichnis

Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata.- Symbolic and Compositional Reachability for Timed Automata.- Temporal Logics over Linear Time Domains Are in PSPACE.- Lossy Counter Machines Decidability Cheat Sheet.- Behavioral Cartography of Timed Automata.- On the Joint Spectral Radius for Bounded Matrix Languages.- Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P.- Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata.- Rewriting Systems for Reachability in Vector Addition Systems with Pairs.- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions.- Depth Boundedness in Multiset Rewriting Systems with Name Binding.- Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA.- Efficient Graph Reachability Query Answering Using Tree Decomposition.


ISBN 3-642-15348-8

ISBN 978-3-642-15348-8

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzho von Li, Kangshun (Herausgeber); Li, Jin (Herausgeber); Liu, Yong (Herausgeber); Castiglione, Aniello (He
89,99 EUR

Applications and Techniques in Information Security 6th International Conference, ATIS 2015, Beijing von Niu, Wenjia (Herausgeber); Li, Gang (Herausgeber); Liu, Jiqiang (Herausgeber); Tan, Jianlong (Heraus
74,99 EUR

Semantic Web, Ontologies and Databases VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24 von Christophides, Vassilis (Herausgeber); Collard, Martine (Herausgeber); Gutierrez, Claudio (Herausgeb
69,99 EUR

Building Sustainable Information Systems Proceedings of the 2012 International Conference on Informa von Linger, Henry (Herausgeber); Fisher, Julie (Herausgeber); Barnden, Andrew (Herausgeber); Barry, Chri
219,99 EUR

Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Gen von Kim, Haeng-kon (Herausgeber); Khurram Khan, Muhammad (Herausgeber); Kiumi, Akingbehin (Herausgeber);
99,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.