Reachability Problems : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings - Taschenbuch
2010, ISBN: 3642153488
[EAN: 9783642153488], Neubuch, [PU: Berlin Springer Berlin Heidelberg Springer Aug 2010], ACTION, ALGEBRAIC STRUCTURES, AUTOMATA, COMPLEXITY, FINITE STATE MACHINES, INFINITE SY, SYSTEMS, … Mehr…
AbeBooks.de AHA-Books, Einbeck, Germany [86569176] [Rating: 4 (von 5)] NEW BOOK. Versandkosten: EUR 2.90 Details... |
2010, ISBN: 9783642153488
Editor: Kucera, Antonin, Editor: Potapov, Igor, Springer, Paperback, Auflage: 2010, 209 Seiten, Publiziert: 2010-08-18T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 31073454, 0.33 kg, B… Mehr…
amazon.com Amazon.com Versandkosten:Usually ships within 2 to 3 days. Lieferung von Amazon. (EUR 0.00) Details... |
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings - Taschenbuch
2010, ISBN: 9783642153488
Paperback / softback. New. Constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic, August 28-29, 2010 and was co-located with J… Mehr…
Biblio.co.uk |
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings - gebrauchtes Buch
2010, ISBN: 9783642153488
[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8638749/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayPa… Mehr…
booklooker.de |
2010, ISBN: 9783642153488
Taschenbuch
4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Reachability Problems : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings - Taschenbuch
2010, ISBN: 3642153488
[EAN: 9783642153488], Neubuch, [PU: Berlin Springer Berlin Heidelberg Springer Aug 2010], ACTION, ALGEBRAIC STRUCTURES, AUTOMATA, COMPLEXITY, FINITE STATE MACHINES, INFINITE SY, SYSTEMS, … Mehr…
2010, ISBN: 9783642153488
Editor: Kucera, Antonin, Editor: Potapov, Igor, Springer, Paperback, Auflage: 2010, 209 Seiten, Publiziert: 2010-08-18T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 31073454, 0.33 kg, B… Mehr…
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings - Taschenbuch
2010
ISBN: 9783642153488
Paperback / softback. New. Constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic, August 28-29, 2010 and was co-located with J… Mehr…
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings - gebrauchtes Buch
2010, ISBN: 9783642153488
[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8638749/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayPa… Mehr…
2010, ISBN: 9783642153488
Taschenbuch
4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Reachability Problems
EAN (ISBN-13): 9783642153488
ISBN (ISBN-10): 3642153488
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
197 Seiten
Gewicht: 0,202 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-02-14T20:18:07+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-09-11T18:03:11+02:00 (Vienna)
ISBN/EAN: 9783642153488
ISBN - alternative Schreibweisen:
3-642-15348-8, 978-3-642-15348-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: potapov, antonin, kucera
Titel des Buches: brno, czech, lecture notes computer science, general problems
Daten vom Verlag:
Autor/in: Antonin Kucera; Igor Potapov
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Reachability Problems - 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
Verlag: Springer; Springer Berlin
199 Seiten
Erscheinungsjahr: 2010-08-18
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 199 p. 42 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Action; algebraic structures; automata; complexity; finite state machines; infinite state sy; infinite state systems; reachability problems; temporal logics; verification; Programming Techniques; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Compiler und Übersetzer; Theoretische Informatik; EA
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.Unique visibility, state-of-the-art survey, fast-track conference proceedings
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030002497 Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings: 11123 (Lecture Notes in Computer Science, 11123) (Igor Potapov)
< zum Archiv...