- 5 Ergebnisse
Kleinster Preis: € 48,30, größter Preis: € 72,26, Mittelwert: € 57,95
1
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic
Bestellen
bei ebay.nl
€ 48,30
Versand: € 17,121
Bestellen
Details beim Anbieter
gesponserter Link

Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic - gebrauchtes Buch

2010, ISBN: 9783642153488

payment | shipping rates | returns Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings (Lecture Notes in Computer Science, 62… Mehr…

99.7, Zahlungsarten: Bar, Paypal, APPLE_PAY, Kreditkarte, Visa, Mastercard, DINERS_CLUB. Versandkosten:Versand berechnet nach Käuferstandort, [SHT: Expedited shipping], TX 750** Carrollton, [TO: Verenigde Staten, Denemarken, Guatemala, Nieuw-Zeeland, Fiji, Papoea-Nieuw-Guinea, Salomonseilanden, Vaticaanstad, Sierra Leone, Nauru, Wallis en Futuna, Anguilla, El Salvador, Gambia, Dominicaanse Republiek, Maleisië, Kameroen, Guyana, Taiwan, Azerbeidzjan, Polen, Macau, Georgië, Suriname, Tonga, Kenia, Argentinië, San Marino, Guinee-Bissau, Armenië, Oezbekistan, Eritrea, Senegal, Togo, Saint Kitts en Nevis, Marokko, Ierland, Burundi, Saint Vincent en de Grenadines, Nederland, Slowakije, Slovenië, Equatoriaal-Guinee, Thailand, Mauritanië, Belize, Filipijnen, Aruba, Democratische Republiek Congo, Zweden, Colombia, IJsland, Spanje, Macedonië, Estland, België, Liechtenstein, Benin, Algerije, Bermuda, Montserrat, Zambia, Zuid-Korea, Antigua en Barbuda, Vanuatu, Ecuador, Albanië, Swaziland, Italië, Ethiopië, Monaco, Niger, Tanzania, Pakistan, Burkina Faso, Panama, Singapore, Kirgizië, Z. (EUR 17.12) hpb-red
zuklappen (X)
2
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic
Bestellen
bei ebay.nl
€ 62,94
Versand: € 9,901
Bestellen
Details beim Anbieter
gesponserter Link
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic - gebrauchtes Buch

2010, ISBN: 9783642153488

.product-description { background: #f9f9f9; padding: 16px; border-radius: 10px; border: 1px solid #095040; margin-bottom: 20px; box-shadow:… Mehr…

Versandkosten:Versand zum Fixpreis, [SHT: Standaardverzendservice], 14*** Trebbin, [TO: Europese Unie, Verenigd Koninkrijk] (EUR 9.90) buchpark
zuklappen (X)
3
Reachability Problems : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings - Antonin Kucera
Bestellen
bei AbeBooks.de
€ 58,80
Versand: € 2,901
Bestellen
Details beim Anbieter
gesponserter Link
Antonin Kucera:
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…

NEW BOOK. Versandkosten: EUR 2.90 AHA-Books, Einbeck, Germany [86569176] [Rating: 4 (von 5)]
zuklappen (X)
4
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings (Lecture Notes in Computer Science, 6227)
Bestellen
bei amazon.com
$ 54,99
(ca. € 51,18)
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings (Lecture Notes in Computer Science, 6227) - Taschenbuch

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…

Versandkosten:Usually ships within 2 to 3 days. Lieferung von Amazon. (EUR 0.00) Amazon.com
zuklappen (X)
5
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings: 6227
Bestellen
bei Amazon.nl
€ 57,86
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings: 6227 - Taschenbuch

2010, ISBN: 9783642153488

redacteur: Kucera, Antonin, redacteur: Potapov, Igor, Springer, Paperback, Auflage: 2010, 209 Seiten, Publiziert: 2010-08-18T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 31073454, 0.7 … Mehr…

Gebraucht, sehr guter Zustand. Versandkosten:Nog slechts 1 op voorraad. De verzendkosten kunnen afwijken van de werkelijke kosten. (EUR 0.00) BOOKS. Amsterdam
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings: 6227
Autor:
Titel:
ISBN-Nummer:

9783642153488


This book 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 Joint MFCS and CSL 2010 (35th International Symposiums on Mathematical Foundations of Computer Science and 19th EACSL Annual Conferences on Computer Science Logic). The revised 9 full papers and the 4 invited talks of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures (semigroups, groups and rings), frontiers between decidable and undecidable reachability problems, predictability in iterative maps and new computational paradigms.

Detailangaben zum Buch - Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings: 6227


EAN (ISBN-13): 9783642153488
ISBN (ISBN-10): 3642153488
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer
197 Seiten
Gewicht: 0,202 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-02-14T20:18:07+01:00 (Vienna)
Buch zuletzt gefunden am 2026-07-16T10:18:50+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, (ORCID: 0000000266028028; 0000000271927853)
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; 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 (Igor Potapov; Pierre-Alain Reynier)

< zum Archiv...