 |
|
|
Item Details
| Title:
|
REACHABILITY PROBLEMS
9TH INTERNATIONAL WORKSHOP, RP 2015, WARSAW, POLAND, SEPTEMBER 21-23, 2015, PROCEEDINGS |
| Volume: |
2015 |
| By: |
Mikolai Bojanczyk (Editor), Igor Potapov (Editor), Slawomir Lasota (Editor) |
| Format: |
Paperback |
| List price:
|
£34.99 |
| Our price: |
£29.74 |
| Discount: |
|
| You save:
|
£5.25 |
|
|
|
|
|
| ISBN 10: |
3319245368 |
| ISBN 13: |
9783319245362 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
SPRINGER INTERNATIONAL PUBLISHING AG |
| Pub. date: |
30 August, 2015 |
| Edition: |
2015 ed. |
| Series: |
Lecture Notes in Computer Science 9328 |
| Pages: |
179 |
| Synopsis: |
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. |
| Illustrations: |
33 black & white illustrations, biography |
| Publication: |
Switzerland |
| Imprint: |
Springer International Publishing AG |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|