Reachability Problems Image close
Reachability Problems
Reachability Problems
Show Hide Adult Content
Reachability Problems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Algorithms & data structures

Reachability Problems

11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$136.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 8-18 July using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$182.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 20 Jul 2024
Advances in Brain Inspired Cognitive Systems
$179.99
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 26 Jun 2024
Automata, Languages and Programming
$189.99
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
DIANA. An Intermediate Language for Ada
$80.99
DIANA. An Intermediate Language for Ada
Paperback / softback
Available - Usually ships in 3-4 weeks
CSL'88 Save $45
$150.99
$196.95
CSL'88
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Intelligence with and for Learning Sciences by Carmine  Gravino
$135.99
Artificial Intelligence with and for Learning Sciences
by Carmine  Gravino ~ Paperback / softback
Pre-order - out 23 Jun 2024
Practical Aspects of Declarative Languages
$204.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Privacy in Statistical Databases
$135.99
Privacy in Statistical Databases
Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Artificial Intelligent Systems
$307.99
Hybrid Artificial Intelligent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Complexity and Approximation
$170.99
Complexity and Approximation
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$146.99
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Smart Multimedia Save $31
$135.99
$167.95
Smart Multimedia
Paperback / softback
Available - Usually ships in 3-4 weeks
Service-Oriented Computing Save $49
$135.99
$185.95
Service-Oriented Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Geometric Science of Information
$238.99
Geometric Science of Information
Paperback / softback
Available - Usually ships in 3-4 weeks
Supercomputing Frontiers
$123.99
Supercomputing Frontiers
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Computer Interaction – INTERACT 2019
$401.99
Human-Computer Interaction – INTERACT 2019
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The 12 full papers presented together with 1 invited paper were carefully reviewed and selected from 17 submissions. The aim of the conference is to bring together scholars from diverse fields with a shared interest in reachability problems, and to promote the exploration of new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques. Topics of interest include (but are not limited to): reachability for innite 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.
Release date Australia
August 25th, 2017
Contributors
  • Edited by Igor Potapov
  • Edited by Matthew Hague
Pages
193
Edition
1st ed. 2017
Audience
  • Professional & Vocational
Illustrations
34 Illustrations, black and white; XV, 193 p. 34 illus.
ISBN-13
9783319670881
Product ID
26873820

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence